Методом резолюций доказать теорему |- (A->B)->((A->(B->C))->(A->C))

Знания

Алгебра

1 ответ:

ДенисХ4 года назад

0 0

Лови , по медоту резолюции

Читайте также

Знайти суму десяти перших членів геометричної прогресії 54;36;..

Мексиканец

B1 = 54
b2 = 36
q = b2/b1 = 36/54 = 2/3

Так как IqI < 1, то используем формулу суммы бесконечно убывающей геометрической прогрессии

S10 = b1/( 1 - q) = 54/ ( 1 - 2/3) = 162

0 0

4 года назад

Найдите сумму многочленов. 1) x^2 + 5 и x^2 - 4 2) y - 2x и 4x + 6 3) 2ab - 1 и ab + 10 4) 1.8a^2 - y^3 и 22a^2 + 2y^3

Андрей Махалов [38]

1)х^2+5×х^2-4
6х^2-4
2(3х^2-2)
2)y - 2x×4x + 6
y-8x^1×x^1+6
y-8x^1+1+6
y-8x^2+6
3)2ab - 1×ab + 10
ab+10
4)1.8a^2 - y^3×22a^2 + 2y^3
1,8a^2-22a^2y^3+2y^3

0 0

3 года назад

Стоимость проезда в электричке составляет 203 руб . Школьникам предоставляет скидка 50 % .сколько будет стоить проезд для 5 взро

Валериия [30]

101.5 руб стоимость проезда 1- го школьника. Тогда общая стоимость будет 5*203+21*101.5=3146.5 руб.

0 0

1 год назад

Прочитать ещё 2 ответа

10 16/17:8 5/11+1 2/3 плиииз умоляю

Masha-qween

186/17 : 93/11 +5/3= 186/17* 11/93 +5/3= 22/17+5/3= 66/51 +85/51= 151/51= 2 49/51

0 0