Kui väited p ja q on samaväärsed, nad on mõlemad tõesed või mõlemad valed, see tähendab, et mõlemal on sama tõeväärtus. Tautoloogia on väide, mis on alati tõsi. Vastuolu on väide, mis on alati vale.
Mida tähendab P -> Q?
p → q (p tähendab q) (kui p, siis q) on väide, mis on väär, kui p on tõene ja q on väär ja muul juhul tõene.
Mis on loogiliselt samaväärne P → Q?
P→Q on loogiliselt samaväärne ¬P∨Q. … Näide: "Kui arv on arvu 4 kordne, siis on see paaris" on samaväärne: "arv ei ole 4 kordne või (muidu) on see paaris. "
Mis on P ainult siis, kui Q?
Ainult siis, kui sisestab vajaliku tingimuse: P ainult siis, kui Q tähendab, et Q tõesus on vajalik või nõutav, et P oleks tõene. See tähendab, et P ainult siis, kui Q välistab vaid ühe võimaluse: et P on tõene ja Q on väär.
Kui tingimuslik p → q on väär?
Olgu p ja q kaks väidet, siis "kui p, siis q" on liitlause, mida tähistatakse p→ q ja mida nimetatakse tingimuslauseks või implikatsiooniks. Implikatsioon p→ q on väär ainult siis, kui p on tõene ja q on väär; muidu on see alati tõsi.