Ikiwa mapendekezo p na q ni sawa, yote ni kweli au yote mawili ni uongo, yaani, yote yana thamani sawa ya ukweli. Tautology ni taarifa ambayo daima ni kweli. Ukinzani ni kauli ambayo siku zote ni ya uwongo.
P -> Q inamaanisha nini?
p → q (p inamaanisha q) (ikiwa p basi q) ni pendekezo ambalo si kweli wakati p ni kweli na q ni ya uwongo na kweli vinginevyo.
Ni nini kimantiki ambacho ni sawa na P → Q?
P→Q kimantiki ni sawa na ¬P∨Q. … Mfano: “Ikiwa nambari ni kizidishi cha 4, basi ni sawia” ni sawa na, “nambari si kizidishi cha 4 au (vinginevyo) ni sawia.”
P ni nini ikiwa tu Q?
Ikiwa tu itaanzisha sharti muhimu: P ikiwa tu Q ina maana kwamba ukweli wa Q ni muhimu, au unahitajika, ili P iwe kweli. Hiyo ni, P ikiwa tu Q itaondoa uwezekano mmoja tu: kwamba P ni kweli na Q ni ya uwongo.
Wakati p → q ya masharti ni uongo?
Hebu p na q ni kauli mbili basi "ikiwa p basi q" ni kauli changamano, inayoashiriwa na p→ q na inajulikana kama kauli ya masharti, au kidokezo. Kidokezo p→ q ni uongo tu wakati p ni kweli, na q ni uongo; vinginevyo, ni kweli kila wakati.