se¿ allora
se… allora locuzione del linguaggio naturale che corrisponde, nel linguaggio logico degli enunciati, al connettivo detto → implicazione o implicazione logica, indicato con il simbolo ⇒. Dati [...] due enunciati A e B, l’enunciato «se A allora B», tradotto simbolicamente in A ⇒ B (che può anche leggersi «A implica B»), indica una implicazione in cui A e B sono rispettivamente detti antecedente e ...
Leggi Tutto
Sheffer
Sheffer Henry Maurice (Ucraina 1882 - Boston 1964) logico matematico statunitense di origine ucraina. Emigrato negli Stati Uniti da bambino con la sua famiglia, fu professore di filosofia a Harvard [...] essere descritta compiutamente per mezzo di un solo operatore binario, il connettivo nand, o del suo duale nor. Ai due connettivi nand e nor, in grado ciascuno di simulare i connettivi classici, è stato dato in seguito il nome di funtori di Sheffer ...
Leggi Tutto
bicondizionale
bicondizionale [agg. e s.m. o f. Comp. di bi- e condizionale "che comporta due condizioni"] [FAF] Nella logica, la locuz. "se e soltanto se" (→ anche connettivo: C. logico). ...
Leggi Tutto
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
connettivo
agg. e s. m. [der. di connettere]. – 1. agg. a. Che connette o serve a connettere. In partic., in istologia, tessuto c. (o, come sost., il connettivo), vasto gruppo di tessuti (c. propriamente detto, c. adiposo, c. cordoide o vescicolare,...