Estratto del documento
Connettivi logici e quantificatori
Connettivo and
∧ ∧(∧) (∧) (∧) ∧
Connettivo or
[] [](∨)(∨) ∨ ⋮ ⋮∨∨ (∨)
Connettivo not
¬ [¬](⊥) ⋮⊥ ⊥ ()
Connettivo implica
→[] (→)⋮ (→)→
Quantificatore esistenziale
[]() (∃) ∃. ⋮1∃. () (∃) {})⟨ ∉ �( − ∧ ∉ ()⟩�� � � (∃)2∃.
Quantificatore universale
⋮ ∀. (∀)(∀) �� �⟨ ∉ �()�⟩∀.
Anteprima
Vedrai una selezione di 1 pagina su 2
Dettagli
SSD
Scienze matematiche e informatiche
INF/01 Informatica
I contenuti di questa pagina costituiscono rielaborazioni personali del
Publisher Jiraky90 di informazioni
apprese con la frequenza delle lezioni
di Logica 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à degli Studi di Verona o del prof Masini Andrea.
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo
Appunto