Dubbio su tabella di verità

[Newton_1372]

Com è possibile che se A è F e B è V allora A implica B è vera?

A implica B dovrebbe significare che A e B hanno lo stesso valore di verità, o sbaglio?

[Paolo902]

In breve, ex falso quodlibet (sequitur). Se 8 è dispari, allora 5 è primo: vero.

Maggiori dettagli qui.

[gundamrx91-votailprof]

Considera che l'implicazione, o condizionale, può essere espresso nella forma "non si da il caso che P e non Q", ossia $not(P ^^ not Q)$, che equivale a $P => Q$. Se ti costruisci la relativa tavola di verità (quella di $not(P^^not Q$)) trovi che l'implicazione è falsa solo se l'antecedente $P$ è vero e il conseguente $Q$ è falso, mentre è vera in tutti gli altri casi.