Se le proposizioni p e q sono equivalenti, sono entrambe vere o entrambe false, cioè entrambe hanno lo stesso valore di verità. Una tautologia è un'affermazione che è sempre vera. Una contraddizione è un'affermazione che è sempre falsa.
Cosa significa P -> Q?
p → q (p implica q) (se p allora q) è la proposizione falsa quando p è vera e q è falsa e vera altrimenti.
Cosa è logicamente equivalente a P → Q?
P→Q è logicamente equivalente a ¬P∨Q. … Esempio: "Se un numero è un multiplo di 4, allora è pari" equivale a "un numero non è un multiplo di 4 o (altrimenti) è pari ".
Cos'è P solo se Q?
Solo se introduce una condizione necessaria: P solo se Q significa che la verità di Q è necessaria, o richiesta, affinché P sia vera. Cioè, P solo se Q esclude una sola possibilità: che P sia vero e Q falso.
Quando il condizionale p → q è falso?
Sia p e q sono due enunciati allora "se p allora q" è un enunciato composto, denotato da p→ q e riferito come un enunciato condizionale, o implicazione. L'implicazione p→ q è falsa solo quando p è vero, e q è falso; altrimenti è sempre vero.