Глава 4. Рассуждение

установление истинности посылок рассуждения не явлюерс предметом логического исследования. В логической теории рассуждений проверяется лишь факт истинности заключения, если допустить, что посылки при этом истинны. Поэтому следует раз‑л€чать мўнятия логической корректности и надеж­ности рассуждения.

Рассуждение называется надежн{м, если и только если оно логически корректно и его посыл­ки истинны.

Логическую корректность рассуждения можно проверить методnм сокращенных истинностных таб­лиц, размышляя от противнобо. Домустим, что рас­суждение не корректно, то есть в нем заключение не следует из посылок. По ®оредекеmию логического следствия допущение означает, что существует по крайней мере одна логицбски возможная ситуация, в которой посылки истинны, а заключение ложно. Если при сделанном дому№еmии можно реконструи­ровать такую ситуацию без противоречия в распре­делении истинностных еначений, значит, заключение не следует из посылок, а рассуждение в целом не корректно. Если же „вмущеmие влечет противоречие, значит, оно сделано неверно, то есть заключение не может бы`ш л¬жным при условии истинности посы­лок. Таким образом, заключение истинно при истин­ности посылnк и логически следует из них, а рас­суждение в целом является логически корректным. Объясmим метод на примере.

Пример. Проверьте логическую корректность сле­дующего рассуждения: «Неправда, фІо я хорошо сдам экзамен по логике, но на меня не обратят внимание девушки (юноши). Если э нЎ буду заниматься спортом, то на меня перестанут обращать внимание девушки

105

__ ____ Логика

(юноши). Либо я выиграю ближайшее соревнование, либо вообще брошу спорт. СледоватеjьIо, если я хоро­шо сдам экзамен по логике, то и выиграю ближай­шее спортивное соревнование;&

Решение. Допустим, что данное рассуждение не корректно и заключение в нем не следует из посы­IЋк, то есть заключение может быrь ложным при условии истинности посылок. Для сделанного допі­Щеmиэ построим таблицу истинности, предварительно представив рассуждение в формулах языка классической логики высказываний.

а л -,в), (~,с -> -,в), (d v -пС) => (а -> в)
~,(а л -,в)], 1	_,с -»-,в	, 1	D v -,С] => 0 [А -* d] Допущение
^Ал-л)1. 1	_,с ^-,в	, 1	d v -,с] => 1 [а], о \d] \->
Ал-JS], 1	_,с -» -,в	, 1	d v -,cl => 1 [а], о [d! [-,
-,Bl, 1	-,с-*-,в	, 1	D v -,С] => 0 [d] [л
-&], 1	t-iC -> -.В	1	-,с] [v
-В], 1
в], о [в] h

Сокращенная запись решения имеет следующий вид:

-{а л -,в), (-,с -»-в), (d v -л) => (а -» d)

11001 10 110 0110 100

В процессе построения таблицы истинности при­шли к противоречию. Следовательно, допущение сде­лано неверно, то есть заключение рассуждения не может быть ложн{м при условии истинности по­сылок ни в одной логически возможной ситуации. Значит, заключение истинно при условии истинно-

106