Правила естественной дедукции: конъюнкция

Мы обсуждаем понятие правил доказательства для естественной дедукции. Затем мы вводим два правила конъюнкции, а именно введение оператора И и исключение оператора И. В качестве примера мы доказываем, что оператор И ассоциативен.