MATEMATICA - LOGICA infiormatica, Schemi e mappe concettuali di Matematica

Scarica MATEMATICA - LOGICA infiormatica e più Schemi e mappe concettuali in PDF di Matematica solo su Docsity!

LOGICA

-negazione (connettivo logico unario)

p p

V F

F V

-et ∧

p q p ∧q

V V V

V F F

F V F

F F F

-vel ∨

p q p ∨q

V V V

V F V

F V V

F F F

-or ⊻

p q p ⊻q

V V F

V F V

F V V

F F F

-implica ⇒

p q p ⇒ q

V V V

V F F

F V V

F F V

-coimplica ⇔

p q p ⇔q

V V V

V F F

F V F

F F V

 PROPOSIZIONE/ENUNCIATO: è una affermazione che può essere vera o falsa.  TAUTOLOGIA: è una proposizione sempre vera.  CONTRADDIZIONE: è una proposizione sempre falsa.  PARADOSSO: è una proposizione che, se si suppone vera risulta falsa e viceversa.