Logo it.boatexistence.com

Nella logica proposizionale se p-q?

Sommario:

Nella logica proposizionale se p-q?
Nella logica proposizionale se p-q?

Video: Nella logica proposizionale se p-q?

Video: Nella logica proposizionale se p-q?
Video: Operatori Logici e Tavole di Verità 2024, Maggio
Anonim

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.

Consigliato: