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.