3,8K

Questo Articolo è estratto dal Grande Manuale di logica

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.

PAGINA PRECEDENTE

PROSSIMA PAGINA

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