Мантиқ

Қоидаҳои мустақими асосӣ инҳоянд:
- Қоидаи дохил намудани конъюнксия (ДК):
А, В
А В
Формулаи мазкур ин тавр хонда мешавад: қоида имконият медиҳад,
ки аз формулаҳои А ва В формулаи АВ, бароварда шавад.
2. Қоидаҳои хориҷ намудани конъюнксия (ХК):
A B ва A B
A B
- Қоидаи дохил намудани дизъюнксия (ДД):
А ва В
A V B A V B
- Қоидаҳои хориҷ намудани дизъюнксия (ХД):
A V B, ℸA ва A V B, ┐B
B A
Қоидаҳои ХД якҷоя бо қоидаҳои ғайриасосии зерин:
A v B, A A v B, B A v B, A A v B, ┐B
┐B ┐A B A
дар қиёсҳои мунфасили қатъӣ ба таври васеъ истифода мешаванд.
Бояд таъкид намуд, ки схемаҳои зерин:
A V B, A A V B, B
┐B ┐A
дар мантиқи гуфтор қоидаҳои натиҷагирӣ шуда наметавонанд.

Барномасозӣ
Олами Афсонаҳо
Ахбор
Саломатӣ
Дунё