Средствами таблично построенной логики высказываний установите, является ли правильным следующее рассуждение. Если документ не имеет подписи или печати, то он не действителен. Документ имеет подпись и печать. Документ действителен.

Добавлена: 16.04.2026
Обновлена: 16.04.2026
Предмет: Логика
Автор: Кэмп

#Основы формальной логики
#Символическая логика

Условие:

Средствами таблично построенной логики высказываний установите, является ли правильным следующее рассуждение.

Если документ не имеет подписи или печати, то он не действителен. Документ имеет подпись и печать. Документ действителен.

Решение:

Для проверки правильности рассуждения с помощью таблично построенной логики высказываний, давайте обозначим следующие высказывания:

$P$ : "Документ имеет подпись."
$Q$ : "Документ имеет печать."
$R$ : "Документ действителен."

Теперь мы можем записать данные утверждения в логической форме:

Если документ не имеет подписи или печати, то он не действителен:
$\neg P \lor \neg Q \rightarrow \neg R$
Документ имеет подпись и печать:
$P \land Q$
Документ действителен:
$R$