Рубрики

ВОРОТА | GATE-CS-2015 (набор 2) | Вопрос 13

Рассмотрим следующие два утверждения.

S1: If a candidate is known to be corrupt, then he will not be elected.
S2: If a candidate is kind, he will be elected.

Какое из следующих утверждений следует из S1 и S2 согласно логическим правилам логического вывода?
(A) Если известно, что человек испорчен, он добрый
(B) Если человек не известен как испорченный, он не добр
(C) Если человек добрый, он не известен как коррумпированный
(D) Если человек не добр, он не известен как испорченный

Ответ: (с)
Объяснение:

S1: If a candidate is known to be corrupt, then 
    he will not be elected.
S2: If a candidate is kind, he will be elected.

If p → q, then ¬q → ¬p
So from S1, elected → not corrupt
and S2 is,   kind → elected

Therefore, kind → not corrupt

Тест на этот вопрос

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

ВОРОТА | GATE-CS-2015 (набор 2) | Вопрос 13

0.00 (0%) 0 votes