4) Закон достаточного основания

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

Эти законы называются также законами формальной логики. Первые три закона были сформулированы Аристотелем (384-322 гг. до н.э., Древняя Греция), а четвертый – Готфридом Лейбницем (1646-1716 гг., Германия).