Условие:
Выявите логическую форму следующего рассуждения. Табличным способом определите его правильность:
Если завтра будет холодно, я надену тёплое пальто, если рукав будет починен. Завтра будет холодно, а рукав не будет починен. Следовательно, я не надену тёплое пальто.
Решение:
Для выявления логической формы данного рассуждения, давайте сначала обозначим основные утверждения: 1. P: Завтра будет холодно. 2. Q: Я надену тёплое пальто. 3. R: Рукав будет починен. Теперь перепишем данное рассуждение с использованием этих обозначений: 1. Если завтра будет холодно и рукав будет починен, т...
| P | R | Q | P ∧ R | (P ∧ R) → Q | ≠g R | ≠g Q |
|---|---|---|---|---|---|---|
| T | T | T | T | T | F | F |
