Дано:
логическое высказывание:

заканчивается на согласную букву ∧ в слове 7 букв → ¬(третья буква согласная)

Вопрос:
для какого из названий животных ложно высказывание?

Варианты ответа:
1) СТРАУС                           2) ЛЕОПАРД                           3) ВЕРБЛЮД                           4) КЕНГУРУ

I этап: построение таблиц истинности нужных логический операций

очевидно, что в заданное логическое условие

[заканчивается на согласную букву ∧ в слове 7 букв → ¬(третья буква согласная)]

входит три логических операции:

• →  - ИМПЛИКАЦИЯ;

• `^^` -  ЛОГИЧЕСКОЕ И;

• ¬  - ЛОГИЧЕСКОЕ ОТРИЦАНИЕ.

Давайте вспомним таблицы истинности для данных логических операций.

II этап: верификация предложенных вариантов ответа

Проанализируем название животного под 1-ым вариантом ответа, то есть, слово СТРАУС и построим процессинговую таблицу, в которой приняты следующие обозначения:

• T - true (Истина);

• F - false (Ложь).

Краткие пояснения к заполненной таблице.

• заканчивается ли слов СТРАУС на согласную букву? Да, заканчивается, так как буква 'C' является согласной (TRUE);

• в слове СТРАУС 7 букв? Нет, в слове СТРАУС 6 букв (FALSE);

• объединяем TRUE и FALSE логической операцией "Логическое И", которая возвращает FALSE;

• третья буква согласная? Да, в слове СТРАУС третья буква 'Р' является согласной. И ставится отрицание, то есть получаем FALSE;

• объединяем FALSE и FALSE операцией "Импликация", которая возвращает в этом случае TRUE.

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

Проанализируем название животного под 2-ым вариантом ответа, то есть, слово ЛЕОПАРД и построим процессинговую таблицу, в которой приняты следующие обозначения:

• T - true (Истина);

• F - false (Ложь).

Краткие пояснения к заполненной таблице.

• заканчивается ли слов ЛЕОПАРД на согласную букву? Да, заканчивается, так как буква 'Д' является согласной (TRUE);

• в слове ЛЕОПАРД 7 букв? Да, в слове ЛЕОПАРД ровно 7 букв (TRUE);

• объединяем TRUE и TRUE логической операцией "Логическое И", которая возвращает TRUE;

• третья буква согласная? Нет, в слове СТРАУС третья буква 'О' является гласной буквой. И ставится отрицание, то есть получаем TRUE;

• объединяем TRUE и TRUE операцией "Импликация", которая возвращает в этом случае TRUE.

В итоге, название ЛЕОПАРД удовлетворяет заданному логическому утверждению, но в условии задачи сказано, что необходимо определить название, неудовлетворяющее заданному условию, следовательно, слово ЛЕОПАРД не является ответом к данной задаче.

Проанализируем название животного под 3-им вариантом ответа, то есть, слово ВЕРБЛЮД и построим процессинговую таблицу, в которой приняты следующие обозначения:

• T - true (Истина);

• F - false (Ложь).

Краткие пояснения к заполненной таблице.

• заканчивается ли слов ВЕРБЛЮД на согласную букву? Да, заканчивается, так как буква 'Д' является согласной (TRUE);

• в слове ВЕРБЛЮД 7 букв? Да, в слове ВЕРБЛЮД ровно 7 букв (TRUE);

• объединяем TRUE и TRUE логической операцией "Логическое И", которая возвращает TRUE;

• третья буква согласная? Да, в слове ВЕРБЛЮД третья буква 'Р' является согласной буквой. И ставится отрицание, то есть получаем FALSE;

• объединяем TRUE и FALSE операцией "Импликация", которая возвращает в этом случае FALSE.

Как видно из построенной процессинговой таблицы, слово ВЕРБЛЮД не удовлетворяет заданному логическому условию. Оставшийся вариант (слово КЕНГУРУ) верифицировать бессмысленно, так как, только один из предложенных вариантов является подходящим.

1. проанализировали заданное логическое условие;

2. вспомнили таблицы истинности нужных логических операций (импликация и логическое сложение);

3. проверили слово ВЕРБЛЮД, и оно оказалось неподходящим под заданное логическое выражение.