Какое логическое выражение соответствует утверждению, что Юрий – хороший

Question

Информатика: Какое логическое выражение соответствует утверждению, что Юрий – хороший шахматист, однако он проиграл последнюю партию Ивану

Ягода · Accepted Answer

Обратимся к условию задачи. Дано, что Юрий – хороший шахматист, но он проиграл последнюю партию Ивану. Нам нужно сформулировать логическое выражение, которое соответствует этому утверждению.

Объединим информацию из условия в одно выражение. Для этого введем две пропозициональные переменные:

Х: "Юрий – хороший шахматист"
Y: "Юрий проиграл последнюю партию Ивану"

Теперь, по условию, нам нужно выразить, что Юрий хороший шахматист, но проиграл последнюю партию Ивану. Это означает, что утверждение должно быть истинно только в том случае, когда Х истинно, а Y ложно.

Обозначим конъюнкцию (логическое "и") символом ∧, отрицание (логическое "не") - символом ¬. Тогда логическое выражение, соответствующее утверждению, будет выглядеть следующим образом:

Х ∧ ¬Y

Таким образом, логическое выражение, соответствующее утверждению "Юрий – хороший шахматист, однако он проиграл последнюю партию Ивану", будет выражаться как Х ∧ ¬Y.

Какое логическое выражение соответствует утверждению, что Юрий – хороший шахматист, однако он проиграл последнюю партию

Ягода

О проекте

Предметы

Задать вопрос

Привет!