1. Довести наступні логічні висновки: 1) використовуючи аксіоми та теореми ЧВ, правило виведення MP
2) використовуючи метод резолюцій
14. C→D,C∨D⊢D
16. C∧¬D,C→D ⊢D
5. Для наступних формул знайти еквівалентну їм випереджену формулу:
14. ¬(∀x∃yP(x,y)∨∀x∃yQ(x,y))
16 (¬∀xP(x)∧∃xQ(x))∨∀x(∀yR(x,y)→P(y))
Математична логіка
r² = (p-a)³/p, где: р = 3/2*а - полупериметр, а - сторона основания.
Преобразуем
r² = 1/8*а³ : 3/2*а = а²/12 - оставим в таком виде
Объем пирамиды по формуле:
Vпир = 1/3 * S*h -
Объем цилиндра по формуле
Vцил = π*r² *h
Отсюда
h = V : (πr²) = V: (π*a²/12) = (12*V)/(πa²) - высота пирамиды
Остается вычислить Sосн равностороннего треугольника по формуле
Sосн = √3/4*а²
Подставим в формулу объема пирамиды и получим (?)
Vпир = (1/3)*(√3/4*а²)*(12V/(πа²))= √3*V= √3 ~ 1.73 - ОТВЕТ