Это простое правило устанавливает, что два принятых за истинные высказывания можно соединить знаком конъюнкции, и полученное сложное высказывание также разрешается принять. Например:
Подул ветер.
Пошел дождь.
----------------------------------------
Подул ветер, и пошел дождь.
Правило удаления конъюнкции (УК):
A Ù B ---------- | A Ù B ----------- |
A | B |
Правило УК устанавливает, что из конъюнкции принятых высказываний можно вывести любое высказывание, являющееся ее членом.
Примеры выводов по правилу УК:
Каждый студент сдает экзамены и зачеты.
-----------------------------------------------------------
Каждый студент сдает экзамены.
Каждый студент сдает экзамены и зачеты.
------------------------------------------------------------
Каждый студент сдает зачеты.
Нетрудно видеть, что правила ВК и УК согласуются с определением конъюнкции, данном на стр. (?)
Правило введения слабой дизъюнкции (ВД):