Fikrlar (mulohazalar) va ular ustida amallar Reja

Ekvalensiya amali A va B sodda fikrlardan quyidagi fikrni

tuzish mumkin: «A bo’ladi, faqat va faqat B bo’lsa». Bu fikr A va B fikrlarning ekvalensiyasi deyiladi va A kabi belgilanadi. Ekvalensiyasining ma’nosi shundan iboratki, agar A fikrdan B fikr kelib chiqsa, B fikrdan esa A fikr kelib chiqsa u holda A va B fikrlar ekvivalent (teng kuchli) bo’ladi.
Agar A va B fikrlarning ikkalasi ham chin yoki ikkalasi ham yolg’on bo’lsa A ekvalnesiya chin, qolgan hollarda (ya’ni ularning biri chin ikkinchisi yolg’on) yolg’on bo’ladi deb hisoblanadi. Shunday qilib ekvalensiyaning chinlik jadvali qo’ydagicha bo’ladi.

A	B	A B
Ch	Ch	Ch
Ch	Yo	Yo
Yo	Ch	Yo
Yo	Yo	Yo

Misol. A («129 soni 3 ga bo’linadi»), B («129 sonning raqamlar yig’indisi 3 ga bo’linadi») fikrlar ekvalensiyasi A («129 soni 3 ga bo’linadi faqat va faqat uning raqamlar yig’indisi 3 ga bo’linadi») dan iborat bo’lib u chin fikrni ifodalaydi.

Osongina ko’rish mumkinki. AB =Ch. Bu yerda A va B lar bir vaqtda chin yoki yolg’on fikrlardan iborat. Xuddi shunga o’xshash AB BA=Ch bo’ladi. Umuman olganda A va B fikrlar ekvivalent (teng kuchli) bo’lsa, u holda A B chin bo’ladi va aksincha sodda fikrlar qanday bo’lganda ham ulardan tashkil topgan murakkab fikr chin bo’lsa, bunday fikr tavtalogiya deyiladi.
Masalan, AB BA va AB A lar tavtalogiyalardir.((A B)A) B ham tavtalogiya bo’ladi