Se è vera l'espressione allora è falsa l'espressione .
è un divisore di
se è un numero dispari, allora è un numero pari.
La congiunzione di due proposizione è soddisfatta se e solo se entrambi le proposizioni assumono lo stesso valore di verità.
se è un numero pari , allora anche è un numero pari.
Se il numero 2 compare nella fattorizzazione del numero 18, allora il numero 2 è un multiplo di 18.
Consideriamo le seguenti proposizioni:
p: i francesi sono europei
q: i gatti sono felini
r: gli uomini sono dei minerali
Scrivere nel linguaggio della logica le seguenti espressioni e stabilirne il relativo valore di verità:
s: gli uomini sono dei minerali e i francesi sono europei, oppure i gatti sono felini
t: non è vero che i francesi sono europei e contemporaneamente gli uomini sono dei minerali, e è vero che i gatti sono dei felini
u: non è vero che i gatti sono dei felini oppure è vero che i francese non sono europei o gli uomini sono minerali
Date le seguenti proposizioni elementari :
p: Oggi studio italiano.
q: Oggi studio francese.
r: Oggi vado al mare.
Scrivere, nel linguaggio naturale, le espressioni composte con le seguenti proposizioni:
Si stabilisca inoltre il valore di verità di queste proposizioni.
Data la proposizione , la proposizione contraria è sempre falsa.
allora è falsa l'espressione 
.
è un divisore di 
è un numero dispari, allora 
è un numero pari.
è un numero pari , allora anche 
è un numero pari.
, la proposizione contraria 
è sempre falsa.
