Решения способом алгебр. Логики.

1)условное изучение 2)вводится система обозначения для лог. вписв. 3) констатируется логическ. формула описывая лог. св-во между лог высказыванием и условн обозн. 4) определение значение истиности этой лог.операц. 5) из полученного значен истины формулируется опр. значения истиности введеных лог выскз. на основании этого делается заключение о решен.

Есть решение табл способом и рассуждением .

логич. парадокс – 2 противоположных несовместимых утверждения для(А (она перевернута и зачеркнута)) из которых имеются кажущиеся убедительными аргументы.\

А  А – И

А	АА
И	И
Л	И

АИ =А

А	АИ
И	И
Л	Л

АЛ =А

А	АЛ
И	Л
Л	И

Теорема Ферма

Для любого натурального числа n>2 уравнение a^n+b^n=c^n не имеет натуральных решений a, b и c.

Наоборот, невозможно разложить куб на два куба, биквадрат на два биквадрата и вообще никакую степень, большую квадрата, на две степени с тем же показателем. Я нашел этому поистине чудесное доказательство, но поля книги слишком узки для него.

Протагор и Эватл

Эватл обучался праву у Протагора. По заключенному между ними договору, он должен был заплатить Протагору за обучение лишь в том случае, если выиграет свой первый судебный процесс. И наоборот, если он проиграет этот процесс, то не должен будет платить ничего. Закончив обучение, Эватл не стал участвовать в судебных процессах. Устав ждать, Протагор подал в суд на своего ученика. Свое требование он обосновал так:

- Каким бы не было решение суда, Эватл должен будет заплатить мне. Он либо выиграет этот свой первый процесс, либо проиграет. Если выиграет, то заплатит в силу нашего договора. Если проиграет, то заплатит согласно решению суда.

На что Эватл ответил:

- Действительно, я либо выиграю этот процесс, либо проиграю его. Если выиграю, суд освободит меня от обязанности платить. Если же решение суда будет не в мою пользу, то значит я проиграл свой первый процесс и не заплачу в силу нашего договора.