1. Докажите следующую формулу G→(F→(G→F)) 2. Доказать следующую выводимость
G, G→H├ F→H
3. Докажите формулу при правила MP и теоремы о дедукции, не используя аксиомы.
((F→G)→F)→((F→G)→G)

Если при преобразованиях уравнения переменная исчезла, то возможны два варианта:
1) полученное равенство (без переменной) - верное, например 0 = 0, тогда решением уравнения является любое действительное число.
2) полученное равенство неверно - тогда уравнение корней не имеет.

Если было уравнение с двумя переменными, а одна исчезла - находим вторую, а первая - любое число.

Это все хорошо, если не было ограничений. Ну, например, в уравнении х в знаменателе, тогда надо учесть, что знаменатель не равен нулю.

Пошаговое объяснение:

Всего было 7 автобусов и 5 микроавтобусов , а уехало 6 машин. Рассмотрим варианты :

Автобус         Микроавтобус           Всего

  1                              5                            6

  2                             4                            6

  3                             3                            6

  4                             2                            6

  5                             1                             6

  6                             0                            6

Значит утверждение , что уехал 1 автобус и 5 микроавтобусов возможно, но не является истиной