Images ЧЕРЕЗ ДЕЛА

< Previous image
Image - 9
Next image >
Через дела. (¬дел(x,а) ∧ дел(x,15)) → (¬дел(x,18) ∨ ¬дел(x,15)). Дел(x, a)  (дел(x, 14)  дел(x, 21)). (Дел(x, a – 21) /\ дел(x, 40 – a)) → дел(x, 90). ((Дел(x, a) ∧ дел(x, 37)) → дел(x, 3737)) ∧ (a < 1000).
(¬дел(x,а) ∧ дел(x,15)) → (¬дел(x,18) ∨ ¬дел(x,15)). Дел(x, a)  (дел(x, 14)  дел(x, 21)). (Дел(x, a – 21) /\ дел(x, 40 – a)) → дел(x, 90). ((Дел(x, a) ∧ дел(x, 37)) → дел(x, 3737)) ∧ (a < 1000).

See also