Insiemi, proposizioni e predicati: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 12:
Come si può bene intuire, il simbolo <math>\wedge</math> sta al posto della congiunzione "e", mentre il simbolo <math>\Rightarrow</math> sostituisce la congiunzione "quindi". In altri termini, l'ultima formula potrebbe essere riscritta con "'''Se''' ogni uomo è un animale '''e se''' Socrate è un uomo '''allora''' Socrate è un animale". Come vedete, le congiunzioni sono cambiate un pochino, ma il significato è sempre lo stesso.
Non è possibile, tuttavia, scrivere cose come "Tizio <math>\wedge</math> Caio vanno al cinema", perché questi simboli, chiamati connettivi logici, servono esclusivamente per collegare tra loro proposizioni. Le proposizioni sono frasi che possono stare in piedi da sole, delle quali (normalmente) si può dire se sono vere o false. «Oggi» non è una proposizione, dal momento che non è ne vera ne falsa; «Oggi è martedì» è una proposizione, anche se il suo essere vera o falsa dipende da che giorno è. Anche «Ieri
{| {{Prettytable|align=center}}
| |||