Сегодня хотелось бы рассказать про 4 закона логики. Первые 3 законов вывел Аристотель. А четвёртый (закон достаточного основания) вывел Лейбниц , значительно позже. 1-й закон (закон тождества) А=А Данный закон можно интерпретировать следующим образом. Если мы говорим о яблоке, то вы не можете начать причислять свойства персика яблоку, иначе продуктивного разговора не получится. Яблоко всегда яблоко. 2-й закон (закон непротиворечия) А и не-А = 0 Не может быть одновременно верно А и не-А Пример: утверждение "пес белый и не белый" не верно. 3-й закон (закон исключенного третьего) А или не-А =1 А или не-А — верное утверждение Пример : в утверждении "пес белый или не белый" есть один правильный ответ 4-й закон (закон достаточного основания) А -> В Читается как А влечет В, или А является причиной , а В следствием Этот закон говорит о том , что любое положение/суждение можно считать истинным, если оно является необходимым следствием из ранее доказанных суждений