Estratto del documento

Tautologie e contraddizioni

Tautologie e contraddizioni

Alcune proposizioni composte hanno una struttura che le fa risultare comunque vere oppure comunque false. Esse sono:

  • Tautologie: quelle comunque VERE
  • Contraddizioni: quelle comunque FALSE

Esempi e principi logici

P Stasera esco o stasera ¬P non esco

P ∨ ¬P - Principio del terzo escluso

P¬P P ∨ ¬P VFVFVV

Se piove e se quando piove entra acqua in casa allora entra acqua in casa

(P ∧ (P → Q)) → Q - Modus ponens

P Q P → Q P ∧ (P → Q) P ∧ (P → Q) → Q VVVVVVFFFVFVVFVFFVF

Altre proprietà

P ∧ ¬(P) - Principio di non contraddizione

(P → Q) ∧ (Q → R) → (P → R) - Sillogismo ipotetico

Anteprima
Vedrai una selezione di 1 pagina su 3
Tautologie e contraddizioni Pag. 1
1 su 3
D/illustrazione/soddisfatti o rimborsati
Acquista con carta o PayPal
Scarica i documenti tutte le volte che vuoi
Dettagli
SSD
Scienze matematiche e informatiche MAT/05 Analisi matematica
I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher f3874de6c1206fe40aa32376201566557615d103 di informazioni apprese con la frequenza delle lezioni di Matematica e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Università del Salento o del prof Scienze matematiche Prof.
Appunti correlati Invia appunti e guadagna

Domande e risposte

Hai bisogno di aiuto?
Chiedi alla community
Vai al forum