Ja priekšlikumi p un q ir līdzvērtīgi, tie abi ir patiesi vai abi ir nepatiesi, tas ir, tiem abiem ir vienāda patiesības vērtība. Tautoloģija ir apgalvojums, kas vienmēr ir patiess. Pretruna ir apgalvojums, kas vienmēr ir nepatiess.
Ko nozīmē P -> Q?
p → q (p nozīmē q) (ja p, tad q) ir apgalvojums, kas ir nepatiess, ja p ir patiess un q ir nepatiess un patiess pretējā gadījumā.
Kas ir loģiski ekvivalents P → Q?
P→Q ir loģiski līdzvērtīgs ¬P∨Q. … Piemērs: “Ja skaitlis ir skaitļa 4 reizināts, tad tas ir pāra” ir līdzvērtīgs “skaitlis nav skaitļa 4 reizinātājs vai (citādi) tas ir pāra skaitlis”.
Kas ir P tikai tad, ja Q?
Tikai tad, ja ievieš nepieciešamu nosacījumu: P tikai tad, ja Q nozīmē, ka Q patiesība ir nepieciešama vai nepieciešama, lai P būtu patiess. Tas ir, P tikai tad, ja Q izslēdz tikai vienu iespēju: ka P ir patiess un Q ir nepatiess.
Kad nosacījums p → q ir nepatiess?
Ļaujiet p un q ir divi apgalvojumi, tad "ja p, tad q" ir salikts priekšraksts, kas apzīmēts ar p→ q un tiek dēvēts par nosacījumu vai implikāciju. Implikācija p→ q ir nepatiesa tikai tad, ja p ir patiesa un q ir nepatiesa; pretējā gadījumā tā vienmēr ir taisnība.