Головна

Доведення.

  1. Аргументація і логічний доказ. Склад, види.
  2. Аргументація і логічний доказ. Склад, види.
  3. Доведення.
  4. Доведення.
  5. Доведення.
  6. Доведення.
  7. Доведення.

(1)  + p ® (q ® p), A1;

(2)  + p ® (u q ® p),

(3) + (u q ® p) ® (u p ® u u q),

(4) + р ® (u р ® u u q), ПВ4 (2,3), силогізм;

(5) + р & u р ® u u q, ПВ14 (4), з'єднання посилок;

(6) + p & u p®q, ПВ6 (5), зняття подвійного заперечення.

 Висловлювання р & u р тотожне помилково, тобто суперечливо при будь-якому р. Теорема 6 стверджує, що з протиріччя слід будь-яке висловлювання. З неї легко показати справедливість правила виведення, яке стверджує, що в суперечливому обчисленні (тобто в обчисленні, де доказово деяке твердження і його заперечення) можна вивести будь-яке твердження.

теорема 7 (Закон виключеного третього). + p V u р.

 



Доведення. | Доведення.

Визначення обчислення висловлювань | Подформули. | Доведення. | Доведення. | Доведення. | Доведення. | Доведення. | Доведення. | Тотожно істинні і доказові формули | Можливість розв'язання, несуперечливість, повнота, незалежність аксіом |

© um.co.ua - учбові матеріали та реферати