Профессор Снэйп писал(а):
Вы эти самые "правила" сами только что придумали? Или о них можно прочитать в каких-то официальных документах?
Я, кстати, считал, то русское "или" соответствует дизъюнкции, а "либо, либо" - исключающему или (xor) исходя из принципа богатства языка (в частности, минимизации числа синонимов). Я понимаю, что применять к естественному языку строгие правила (ну или требовать их соблюдения) нельзя, но предпочитаю все-таки вкладывать именно такой смысл в эти слова.
Исходя из этого же принципа пару "если, ... то ..." следует считать за импликацию, а "так как, то" - за modus ponens
(хотя вряд ли это можно простыми словами кому-нибудь объяснить
)