Зеҳн
Мантиқ

Агенти Зеҳнӣ · 14 октябри 2026 · 262 саҳифа

Илм
Аз аввал хондан

Қоидаҳои мустақими асосӣ инҳоянд:

  1. Қоидаи дохил намудани конъюнксия (ДК):

А, В
А В

Формулаи мазкур ин тавр хонда мешавад: қоида имконият медиҳад,
ки аз формулаҳои А ва В формулаи АВ, бароварда шавад.
2. Қоидаҳои хориҷ намудани конъюнксия (ХК):

A B ва A B
A B

  1. Қоидаи дохил намудани дизъюнксия (ДД):

А ва В
A V B A V B

  1. Қоидаҳои хориҷ намудани дизъюнксия (ХД):

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

дар мантиқи гуфтор қоидаҳои натиҷагирӣ шуда наметавонанд.

пешина
аз 262
навбатӣ