Приложение Основные законы логики: Закон тождества A≡A Закон непротиворечия: ¬(A˄¬A) Закон исключенного третьего: A˅¬A p⊃(q⊃p) – закон (утверждения) консеквента; (p⊃q)⊃(¬q⊃¬p) – закон контрапозиции; (¬p⊃¬q)⊃(q⊃p) – закон усиленной (обратной) контрапозиции; ((a˄b)⊃c)⊃((a˄¬c)⊃¬b) – закон сложной контрапозиции; (p⊃(q⊃r))⊃((p⊃q)⊃(p⊃r)) – закон самодистрибутивности (материальной) импликации.   Прочие законы логики: (a→b)→((b→c)→(a→c) – первый закон транзитивности (a→b)→((с→a)→(c→b) – второй закон транзитивности. a→(b→a) … Читать далее Приложение