Če sta predloga p in q enakovredni, sta oba resnična ali oba napačna, to pomeni, da imata oba enako vrednost resnice. Tavtologija je izjava, ki je vedno resnična. Protislovje je izjava, ki je vedno napačna.
Kaj pomeni P -> Q?
p → q (p implicira q) (če je p potem q) je predlog, ki je napačen, če je p resničen, q pa napačen in resničen drugače.
Kaj je logično enakovredno P → Q?
P→Q je logično enako ¬P∨Q. … Primer: »Če je število večkratnik 4, potem je sodo« je enakovredno »število ni večkratnik 4 ali (sicer) je sodo.«
Kaj je P samo, če Q?
Samo če uvaja nujen pogoj: P samo, če Q pomeni, da je resnica Q nujna ali potrebna, da bi bilo P resnično. Se pravi, P samo, če Q izključi samo eno možnost: da je P resničen in Q napačen.
Ko je pogoj p → q napačen?
Naj sta p in q dve izjavi, potem je "če je p, potem q" sestavljen stavek, označen s p→ q in označen kot pogojni stavek ali implikacija. Implikacija p→ q je napačna samo, če je p res, q pa napačen; sicer je vedno res.
