Ako su propozicije p i q ekvivalentne, oba su tačna ili oba netačna, to jest, oba imaju istu vrijednost istinitosti. Tautologija je izjava koja je uvijek istinita. Kontradikcija je izjava koja je uvijek lažna.
Šta znači P -> Q?
p → q (p implicira q) (ako je p onda q) je propozicija koja je netačna kada je p istinit, a q je netačan i istinit u suprotnom.
Šta je logički ekvivalentno P → Q?
P→Q je logički ekvivalentno ¬P∨Q. … Primjer: “Ako je broj višestruki od 4, onda je paran” je ekvivalentan “broju nije višestruki od 4 ili (inače) je paran.”
Šta je P samo ako Q?
Samo ako uvodi neophodan uslov: P samo ako Q znači da je istinitost Q neophodna, ili potrebna, da bi P bilo istinito. To jest, P samo ako Q isključuje samo jednu mogućnost: da je P istinito, a Q lažno.
Kada je uslov p → q netačan?
Neka su p i q dva iskaza, onda je "ako je p onda q" složena izjava, označena sa p→ q i označena kao uslovna izjava ili implikacija. Implikacija p→ q je netačna samo kada je p tačno, a q je netačan; inače, uvijek je istina.