Logo ca.boatexistence.com

En lògica proposicional si p- q?

Taula de continguts:

En lògica proposicional si p- q?
En lògica proposicional si p- q?

Vídeo: En lògica proposicional si p- q?

Vídeo: En lògica proposicional si p- q?
Vídeo: Lógica proposicional | Introducción 2024, Maig
Anonim

Si les proposicions p i q són equivalents, les dues són certes o falses, és a dir, totes dues tenen el mateix valor de veritat. Una tautologia és una afirmació que sempre és certa. Una contradicció és una afirmació que sempre és falsa.

Què vol dir P -> Q?

p → q (p implica q) (si p llavors q) és la proposició que és falsa quan p és certa i q és falsa i vertadera en cas contrari.

Què és lògicament equivalent a P → Q?

P→Q és lògicament equivalent a ¬P∨Q. … Exemple: "Si un nombre és múltiple de 4, aleshores és parell" equival a "un nombre no és múltiple de 4 o (en cas contrari) és parell ".

Què és P només si Q?

Només si introdueix una condició necessària: P només si Q significa que la veritat de Q és necessària, o necessària, perquè P sigui certa. És a dir, P només si Q descarta només una possibilitat: que P sigui certa i Q sigui falsa.

Quan el condicional p → q és fals?

Sigui p i q dos enunciats, aleshores "si p llavors q" és un enunciat compost, denotat per p→ q i referit com a enunciat condicional, o implicació. La implicació p→ q és falsa només quan p és vertadera, i q és falsa; en cas contrari, sempre és cert.

Recomanat: