ФИТР БНТУ – Портал Студентов

ЗАКОНЫ  ФОРМАЛЬНОЙ ЛОГИКИ

Законы формальной логики гарантируют истинность вывода при условии истинности исходных утверждений.

1. Закон противоречия: суждение и противоречащее ему суждение не могут быть одновременно истинными или ложными. 
2. Закон исключённого третьего. В ходе рассуждения о предмете следует доходить до утверждения или отрицания чего-либо. В этом случае одно из отрицающих друг друга высказываний истинно, другое ложно, а 3 исключается.

Закон тождества: В правильном рассуждении каждая мысль должна быть тождественной самой себе. А=А.

3. Закон достаточного основания: За истинные следует принимать только те утверждения, относительно которых могут быть приведены достаточные основания (опыт или другое высказывание, истинность которого доказана).

Достаточность . А является достаточным условием для В, если истинность А гарантирует истинность В. При этом В для А есть необходимое условие, т.к. без В А не бывает.