Le
principali nozioni sui connettivi principali della logica classica, trattate in
questa lezione:
-
la concezione estensionale dei connettivi: un connettivo è definito dicendo
qual è il valore di una proposizione C ottenuta da due proposizioni A,B
mediante quel connettivo (in dipendenza dal valore delle proposizioni A,B)
-
la concezione vero-funzionale dei connettivi: il valore di una
proposizione C ottenuta da due proposizioni A,B dipende esclusivamente dal
valore di A e dal valore di B;
-
i quattro modi (i quattro casi) in cui possono essere due proposizioni
classiche, e in generale due bit;
-
la tabella della congiunzione classica (vera quando entrambi i
membri sono veri, falsa negli altri 3 casi)
-
la tabella della disgiunzione classica (la disgiunzione nel senso di vel,
falsa quando entrambi i membri sono falsi, vera negli altri 3 casi)
-
la tabella della alternativa classica (la disgiunzione nel senso di aut, falsa
quando i due membri hanno lo stesso valore, vera quando hanno valore diverso)
-
la tabella della implicazione classica (falsa quando il primo membro –
l’antecedente - è vero e il secondo membro – il conseguente - è
falso, vera negli altri 3 casi).
Buonasera Professore,
RispondiEliminaLe volevo chiedere se gentilmente mi poteva fare un esempio di equivalenza classica con la sua rispettiva negazione.
La ringrazio e le auguro Buona Serata.
Il professore termina la lezione se e soltanto se ha concluso la spiegazione del tema della lezione.
EliminaNegazione:
Il professore termina la lezione aut ("o" nel senso di "una delle due ma non entrambe") il professore conclude la spiegazione del tema della lezione, ma non entrambe.
La ringrazio molto.
RispondiEliminaBuona Serata