Каждую клаузу в нижеприведенных вариантах необходимо доказать следующими методами: аксиоматическим, натурального исчисления, резолюций и Вонга. (А & В) v(С&D),-А => С

С -> А => ((А & В) vС) ~ (А & (ВvС))

D->F, А -> (Е ->D), (С -> В) -> А => Е -> (СvF)

ответ: 2000-1=1999 это до 10000 всехделящихся на 5. А четырехзначных 1999-199 =1800 - это окончательная цифра. Объяснение: в каждой сотне таких 20(легко проверить) ) ) Таких сотен 100.Ну последнее к сожалению не 4 значное. далее вычитаем трехзначные, двузначные и однозначные, их 199, подсчитываем аналогично. А нужно не слушать а самим размышлять. Кстати, есть и более простой и изящный метод подсчета. так как в каждой тысяче таких чисел 200, а количество тысяч четырехзначных 9 то ответ 1800(нужно только учесть правильно 1000 и 10000).

13. 1)12×5=60км/ч скорость катера.
2)12×5=60 км лодка до встречи.
3)60×5=300 км катер до встречи.
4)60+300=360 км расстояние между пристанями.

14. 1)4×15=60км первый пароход до того как второй начал движение.
2)15+17=32 км/ч проходят оба парохожа вместе.
3) 380-60=320 км оба парохода после отправления второго.
4)320÷32= 10 часов. Через 10 часов после отплытия второго.

15. 1)10×3=30 км проехал первый до начала отправки второго.
2)10+12=22 км/ч проесжают оба вместе.
3)140-30=110км проехали оба туриста с того времени как второй выехал.
4)110÷22=5часов двигался второй турист.
5)3+5=8 часов. Через 8 часов после отправки первого туриста.

16. 1)33+25=58км/ч проходят вместе катер и теплоход.
2)58×3=174км расстояние между пристанями.

17. 1)3×2=6км/ч скорость мальчика.
2)3+6=9км проходят мальчик и девочка вместе за час.
3)9×4=36км расстояние между деревнями.

18. 1)2+3=5часов ехал первый поезд до встречи.
2)53×5=265км проехал первый поезд до встречи.
3)385-265=120км проехал второй поезд до встречи.
4)120÷3=40км/ч скорость второго поезда.