Высказывание А: совершено человеческое жертвоприношение Высказывание Б: солнце продолжает свой путь по небу Значения истинности - это в каком смысле? Обычные, высказывание истинно или ложно. Не-А или Б: истинно высказывание: человеческое жертвоприношение не совершено или солнце продолжает свой путь по небу. (Вот, кстати, еще одно отличие логики из учебников от обычной: или в матлогике не носит исключающего оттенка, т.е. является OR, а не XOR). Впрочем, особого смысла в формулировке Не-А или Б я не вижу, высказывание эквивалентно следующему: Если совершить человеческое жертвоприношение, солнце продолжит свой путь по небу (истинно). Полученное высказывание некорректно с точки зрения обывательской логики потому, что в словарная конструкция "если ..., то ..." нагружается дополнительным, по сравнению с матлогикой, смыслом - описанием _причинности_, которое полностью чуждо логике математической. С точки зрения обывателя, высказывание может быть (с немаленькой вероятностью) истолковано как описание некоего закона, по которому жертвоприношение _влечет_ беспрепятственное движение светила.
Re: Какая-такая обывательская логика???
Высказывание Б: солнце продолжает свой путь по небу
Значения истинности - это в каком смысле? Обычные, высказывание истинно или ложно.
Не-А или Б: истинно высказывание: человеческое жертвоприношение не совершено или солнце продолжает свой путь по небу. (Вот, кстати, еще одно отличие логики из учебников от обычной: или в матлогике не носит исключающего оттенка, т.е. является OR, а не XOR). Впрочем, особого смысла в формулировке Не-А или Б я не вижу, высказывание эквивалентно следующему:
Если совершить человеческое жертвоприношение, солнце продолжит свой путь по небу (истинно).
Полученное высказывание некорректно с точки зрения обывательской логики потому, что в словарная конструкция "если ..., то ..." нагружается дополнительным, по сравнению с матлогикой, смыслом - описанием _причинности_, которое полностью чуждо логике математической.
С точки зрения обывателя, высказывание может быть (с немаленькой вероятностью) истолковано как описание некоего закона, по которому жертвоприношение _влечет_ беспрепятственное движение светила.