Логический закон в логике высказываний

Например: «(A&В)Ͻ(АvB)». Следовательно,

В этом случае, данное высказывание всегда истинно. Такие высказывания называются тавтологиями. Эти тавтология являются законами логики высказывания. Если эта формула истина всегда, то независимо от содержания получается истина. Такие законы логики составляют нормативную базу истинности суждений.

В данном примере: имеем 2 простых высказывания:

«Имущество нажито в совместном браке» - А;

«Имущество делится в равных долях между супругов» - В.

Чтобы проверить данное умозаключение достаточно установить, соответствует ли оно законам логики.

В итоге получается, что не везде получаются значения «1». Следовательно, это утверждение не является законом логики, а, следовательно, это умозаключение не достоверно.

Пример 2: «Если имущество нажито в совместном браке, то при разводе оно делится в равных долях между супругами, данное имущество не делится между супругами в равных долях, следовательно, оно не нажито в совместном браке».

Т.к. получили все 1, то данное умозаключение утвердительное, т.к. соответствует законам логики.

Пример 3. «Если в этих книгах написано то, что есть в Коране, тогда они излишне и их следует уничтожить, если же в этих книгах написано то, что противоречит Корану, то они вредны и их тем более следует уничтожить. Но поскольку в этих книгах написано то, что либо соответствует Корану, либо то, что ему противоречит, следовательно, эти книги стоит уничтожить».

Пример 4. «Если тело движется, то оно движется либо там, где оно есть, либо там, где его нет. Но тело не движется там, где оно есть, поскольку занимает равное себе место и не движется там, где его нет, т.к. без тела нет движения. Следовательно, движения не существует».

Поиск по сайту: