Аристотельская силлогистика и доказательство от противного

[Tupoistudent]

1)Доказать , что аристотельская силлогистика - это первая аксиоматическая система.
2) помогите разобраться с формулой и примером.
$p1,p2,p3...Pn-1,Pn$ |=q e!($p1$=>($p2$>($p3$=>...($Pn-1$=>($Pn$=>q))))); где p - это посылки
Есть некторые посылки,например
a&b;a=>(c=>d);b=>(c=> не d)|= не c
Используя формулу получается q |= ((a&b)=>((a=>(c=>d))=>((b=>(c=> не d))=> не c)))
Я верно формулу написал?

[Pphantom]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);
- отсутствуют собственные содержательные попытки решения задач;
- второй вопрос стоило бы конкретизировать.

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.