• La logica proposizionale
  • riguarda le proposizioni/enunciati
  • si occupa dei connettivi linguistici vero-funzionali

Connettivo

• tramite i connettivi si costruiscono enunciati composti con enunciati più semplici (componenti)
• un connetivo vero funzionale:
  • il valore di verità di un enunciato composto ( con connetivi vero funzionali )è funzione solo dei valori di verità degli componenti
  • è definibile tramite una tavola di verità