enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] un insieme di assiomi e da regole di derivazione) che, oltre ai simb. dei connettivi logici (negazione, congiunzione, alternativa, implicazione, equivalenza) ammette solo espressioni enunciative; nel calcolo degli e., cioè, si studia il periodo senza ...
Leggi Tutto
connettivo
connettivo [agg. e s.m. Der. di connettere (→ connesso) "elemento di congiunzione, di collegamento"] [FAF] C. logico: nella logica matematica, tipo di funzione di verità, cioè termine che [...] non è in sé né vero né falso, ma corrisponde a un'operazione (negazione, congiunzione, disgiunzione, implicazione, ecc.) che alla verità o falsità di una o più proposizioni associa la verità o falsità di un'altra proposizione, costruita a partire ...
Leggi Tutto
se e solo se
sé e sólo sé [ALG] [FAF] Uno dei connettivi logici, e precis. equivalenza logica o bicondizionale logico, di simb. ↔; agisce su due enunciati A e B trasformandoli nell'unico enunciato (doppia [...] implicazione) A ↔ B che risulta vero se A e B sono entrambi veri o entrambi falsi, e falso in ogni altro caso. ...
Leggi Tutto
implicazione
implicazióne s. f. [dal lat. implicatio -onis]. – 1. non com. L’implicare, l’essere implicato; lo stato di più cose implicate insieme. 2. a. Conseguenza logica, necessaria di un fatto: i. sociali, economiche, finanziarie di una...
implicare
v. tr. [dal lat. implicare, comp. di in-1 e plicare «piegare»] (io ìmplico, tu ìmplichi, ecc.; poet. io implìco, ecc.). – 1. letter. Inviluppare o avvolgere intrigando, imbrogliando: un gran vento ... dibatté e implicò lo stendardo...