+ 1

Есть кто разбирается в мат логике?

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

4th Jan 2021, 2:46 PM
Yahita O
5 odpowiedzi
+ 5
if раздражается: print(„Антон переутомился“) else: print(„Антон болен“)
4th Jan 2021, 2:56 PM
JaScript
JaScript - avatar
+ 4
А - переутомился В - болен С - раздражён ∨ - логический оператор 'или' ¬ - логический оператор отрицания → - импликация _________________ 1) А ∨ B (выражение истинно если А истинно, или В истинно, или оба) 2) А→С (выражение ложно только если А истинно и С ложно.) 3) ¬С (Антон не раздражается.) 4) В (Антон болен) ___________________ Из утверждения 3 исходит, что Антон не раздражен, следовательно он не переутомлен(в противном случае утверждение 2 было бы ложно). Если он не переутомлен значит он болен.
4th Jan 2021, 3:11 PM
Isken
Isken - avatar
+ 1
Isken , я просто думала что там должна быть одна логическая цепочка, которая в результате даёт В
4th Jan 2021, 3:23 PM
Yahita O
+ 1
JaScript , спасибо за ответ, но это в код для программы
4th Jan 2021, 3:24 PM
Yahita O
+ 1
Таблица правды: A 0 1 0 1 B 0 0 1 1 C 0 1 0 - из ее увидимся что: C = A AND NOT B
4th Jan 2021, 4:58 PM
JaScript
JaScript - avatar