если при проверке правильности рассуждения получен результат 
, где p – конъюнкция посылок, q – заключение, то, в таком случае, данное рассуждение является:
если при проверке правильности рассуждения получен результат , где p – конъюнкция посылок, q – заключение, то, в таком случае, данное рассуждение является: