Nëse propozimet p dhe q janë ekuivalente, ato të dyja janë të vërteta ose të dyja të gabuara, domethënë, të dyja kanë të njëjtën vlerë të vërtetës. Një tautologji është një deklaratë që është gjithmonë e vërtetë. Një kontradiktë është një deklaratë që është gjithmonë e rreme.
Çfarë do të thotë P -> Q?
p → q (p nënkupton q) (nëse p atëherë q) është propozimi që është i gabuar kur p është i vërtetë dhe q është i gabuar dhe i vërtetë ndryshe.
Çfarë është logjikisht ekuivalente me P → Q?
P→Q është logjikisht ekuivalente me ¬P∨Q. … Shembull: "Nëse një numër është shumëfish i 4, atëherë ai është çift" është ekuivalent me, "një numër nuk është shumëfish i 4-ës ose (përndryshe) është çift. "
Çfarë është P vetëm nëse Q?
Vetëm nëse prezanton një kusht të domosdoshëm: P vetëm nëse Q do të thotë se e vërteta e Q është e nevojshme, ose kërkohet, në mënyrë që P të jetë e vërtetë. Kjo do të thotë, P vetëm nëse Q përjashton vetëm një mundësi: që P është e vërtetë dhe Q është e gabuar.
Kur p e kushtëzuar → q është e gabuar?
Le të jenë p dhe q dy pohime, atëherë "nëse p atëherë q" është një pohim i përbërë, i shënuar me p→ q dhe referuar si një pohim i kushtëzuar ose nënkuptim. Implikimi p→ q është i gabuar vetëm kur p është i vërtetë, dhe q është i gabuar; përndryshe, është gjithmonë e vërtetë.
