mi permetto di dare qualche dettaglio in più alla corretta risposta di
@melia.
Nella seguente tabella di verità vediamo quando l'operatore logico "implicazione" è vero oppure falso in corrispondenza dei valori logici di A e B
A | B | A "implica" B |
---|
Falso | Falso | Vero |
Falso | Vero | Vero |
Vero | Falso | Falso |
Vero | Vero | Vero |
| | |
La spiegazione della tabella si può verificare subito con un diagramma di Venn
(clic per ingrandire)
nel diagramma ho indicato una generica situazione in cui $A rarr B$, ovvero:
la verità di $A$ è condizione sufficiente (ma non necessaria) per la verità di $B$ mentre la verità di $B$ è condizione necessaria (ma non sufficiente) per la verità di $A$.
Come puoi agevolemente verificare, i costituenti dell'universo diagrammato sono soltanto 3:
A | B | Costituente |
---|
Falso | Falso | Fuori da B |
Falso | Vero | Fuori da A ma dentro B |
Vero | Vero | Dentro A |
| | |
Quindi l'unica combinazione Falsa (impossibile) è quando A e vero e B è falso@fausto1947: per favore, le
formule....
Non mi riferisco in particolare a questo messaggio ma agli altri postati e, soprattutto, agli eventuali futuri.
Già che ci siamo ti invito a leggere bene il punto 3.7 del
Regolamentograzie