la proposizione “se è al ristorante Aldo non mangia carne” è falsa. allora cos è vero ?
la proposizione “se è al ristorante Aldo non mangia carne” è falsa. allora cos è vero ?
Aldo mangia carne se è al ristorante.
(r => c') ' significa (r' V c')' = (r & c)
"Aldo mangia carne ed é al ristorante".
Se "A implica B" è falsa allora è vera la sua negata "non(A implica B) = A & non B".
Con
* A = Aldo è al ristorante
* B = Aldo non mangia carne
si ha
* Aldo è al ristorante e mangia carne
(r -> ¬c) = 0
r -> c = 1
Se è al ristorante Aldo mangia carne