AÚ(BÚC)«(AÚB)ÚC

AÚ(BÚC)«(AÚB)ÚC

Члены конъюнкций и дизъюнкций можно по-разному группировать.

12. Закон достаточного основаниятребует, чтобы в случае каждого утверждения указывались основания, в силу которых оно принимается и считается истинным. В логике традиционной это требование обоснованности знания, именуемое законом достаточного основания, включалось (наряду с законом непротиворечия, законом исключенного третьего, законом тождества и др.) в число т. наз. «основных законов мышления» или «основных законов логики».

Рассмотрев основные законы логики, мы может определить, что представляет собой логическое следование. Из суждения A логически следует суждение B, если импликация A®B является частным случаем какого-либо закона логики.

⇐ Предыдущая 1 2 3 45