На головну

Доведення.

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

 (1) (р ® q) ® ((р ® r) ® (р ® q & r)), A5;

(2)
 & U q)),
 (U (pVq) ® u p) ® ((u (pVq) ® u q) ® (u (pVq) ® u p & u q)),

(3) p ® p V q, A6;

(4)  (P ® q) ® (u q ®u p), A9;

(5) (p ® p V q) ® (u (p V q) ® u p),

(6) u (p V q) ® u p, ПЗ (3,5);

(7) (u (p V q) ® u q) ® (u (p V q) ® u p & u q), ПЗ (2,6);

(8)  q ® p V q, A7;

(9) (q ® p V q) ® (u (p V q) ® u q),

(10) u (p V q) ® u q, П3 (8,9);

(11) u (р V q) ® u p & u q, П3 (7,10).



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

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

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