Эгер p жана q сунуштары эквиваленттүү болсо, экөө тең туура же экөө тең жалган, башкача айтканда, экөө тең бирдей чындык маанисине ээ. Тавтология – бул ар дайым туура болгон билдирүү. Карама-каршылык - бул ар дайым жалган билдирүү.
P -> Q эмнени билдирет?
p → q (p q дегенди билдирет) (эгер p анда q) - p чын болгондо, q туура эмес, башка учурда туура болгондо жалган болгон сунуш.
Логикалык жактан P → Qга эмне барабар?
P→Q логикалык жактан ¬P∨Q менен барабар. … Мисал: “Эгер сан 4кө эселүү болсо, анда ал жуп” дегенге барабар, “сан 4кө эселик эмес же (башка) жуп.”
С болсо гана P деген эмне?
Эгерде зарыл шарт киргизсе гана: P эгер Q Q чындыгы P чын болушу үчүн зарыл же талап кылынарын билдирсе. Башкача айтканда, P эгер Q бир гана мүмкүнчүлүктү жокко чыгарганда гана: бул P чын жана Q жалган.
Шарттуу p → q качан туура эмес?
Р жана q эки билдирүү болсун, анда "эгер p анда q" p→ q менен белгиленип, шарттуу билдирүү же импликация деп аталат. p→ q импликациясы p чын болгондо гана жалган болот жана q жалган; антпесе, ал ар дайым чындык.
