Помогите!Задача на логку.
Помогите!Задача на логку.Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
"Либо Иван, либо Петр знают Федора."
"Либо Иван, либо Петр знают Федора."
Гость
Ответ(ы) на вопрос:
ГостьПусть высказывание А - "Иван знает Федора", В - "Петр знает Федора" Тогда предложение "Либо Иван, либо Петр знают Федора. " на языке высказываний запишется как: А v В. Возьмем отрицание: !(А v В) = не-А ^ не-В На естественном языке: "Иван не знает Федора и Петр не знает Федора", "Ни Иван, ни Петр не знают Федора"
Гостьвообще не обязательно, что Федор должен знать и Петра и Ивана))) .
ГостьФёдор знает обоих
Не нашли ответ?
Похожие вопросы