DERIVAZIONE (DEDUZIONE)  →

Quando abbiamo due proposizioni vere possiamo derivarne una conclusione.

Possiamo schematizzare il connettivo logico di derivazione con una freccia →

Ad esempio se abbiamo le due seguenti proposizioni:

Quando piove mi bagno

Oggi piove

possiamo trarre come conclusione che oggi mi bagno

Se è vero che quando piove mi bagno ed oggi piove, allora deduco che mi bagno.

Possiamo schematizzare questa deduzione in modo formale scrivendo:

[ (a⇒b) ∧ a ] → b

Tale scrittura riassume in modo formale il modus ponens delle condizioni sufficienti.

AND [ET] a ˄ b	OR [VEL] a ˅ b
NOT ¬	XOR
IMPLICAZIONE ⇒	DERIVAZIONE →
DOPPIA IMPLICAZIONE ⇔	Logica Proposizionale
Negazioni di Connettivi Logici	Negazioni di Quantificatori
Negazioni Multiple

© il testo è di esclusiva proprietà dell’autore ed è sottoposto a COPYRIGHT – non è consentito alcun utilizzo diverso dallo studio gratuito degli utenti del sito

I CONTENUTI DI LOGICA PROVENGONO DAL GRANDE MANUALE DI LOGICA

Le pagine dedicate alla Logica sono state tratte dal Grande Manuale di Logica e messe a disposizione per favorire lo studio gratuito degli utilizzatori del sito.

SCOPRI IL GRANDE MANUALE DI LOGICA →