Рубрики

ВОРОТА | GATE-CS-2001 | Вопрос 3

Рассмотрим две правильно сформированные формулы в логике высказываний.

Какое из следующих утверждений является правильным?

(A) F1 удовлетворительно, F2 верно
(B) F1 неудовлетворительно, F2 удовлетворительно
(C) F1 неудовлетворителен, F2 действителен
(D) F1 и F2 оба выполнимы

Ответ: (А)
Пояснение: Концепция этого решения:
а) удовлетворяет
Если есть присвоение значений истинности, которое делает это выражение истинным.
б) неудовлетворительно
Если нет такого присваивания, которое делает выражение истинным
в) Действительный
Если выражение тавтология
Здесь P => Q не что иное, как –P v Q
F1: P => -P = -P v –P = -P
F1 будет истинным, если P ложно, и F1 будет ложным, когда P истинно, поэтому F1 удовлетворительно
F2: (P => -P) v (-P => P), что равно (-P vP) v (- (- P) v P) = (-P) v (P) =
тавтология
Итак, F1 удовлетворяет, а F2 действителен
Вариант (а) правильный.

https://en.wikipedia.org/wiki/Tautology_(logic)

Это решение предоставлено Анил Сайкришна Деварасетты .
Тест на этот вопрос

Рекомендуемые посты:

ВОРОТА | GATE-CS-2001 | Вопрос 3

0.00 (0%) 0 votes