Похожие темы

Логика и математическая логика

Вопросы

mcdermott.fatima

Новичок

В этой стране, если где-то прошел дождь, то в этом месте в магазине раздают бесплатные пирожки. Пирожки бывают только двух видов: с картошкой и с вареньем. Если Маша промокла под дождем, то ей дадут пирожок с картошкой. А если Маша не промокла, то с ва... В этой стране, если где-то прошел дождь, то в этом месте в магазине раздают бесплатные пирожки. Пиро... Математика Колледж Логика и математическая логика

47

Посмотреть ответы
stepan.gub

Новичок

момогите с решением задач 5. Выяснить, будут ли следующие формулы равносильны: a) ¬X ∨ Y ↔ ¬X, b) ¬X ∨ (Y → Z) и ¬(X → Y) → Z, c) X → (Y ∧ X & Y) → Z, d) ¬(Y → Z) и ¬Y, e) Доказать равносильность формул: a) ¬(X ∧ Y) & ¬(X → Z) и X → Z, b) ¬(X ↔ Y) и (X & Y) и ¬(X & Y), c) ¬(¬X → Y) & ¬(¬Y) и ¬Y, d) (X ∧ ¬(X & Y) ∨ (Y & Z)) и (¬X ∨ Z), e) [¬(X & Y) ∨ Z] и [¬(X → Y) ∨ (¬X & Z) ∨ (Y & Z)], j) ¬(¬X & ¬Y) и Z ↔ ¬(X & ¬Y) в (¬X & Z) ∨ (Y & Z), k) [¬(¬X & ¬Y) & Z] ↔ ¬(X ↔ Y) и (X & ¬Y) ∨ (¬X & Z) ∨ [Y & ¬(X ∨ Z)]. 7. Доказать, что формула G является логическим следствием формул F1, ..., Fn: a) F1 = ¬X ∨ Y ∨ Z, F2 = Z → ¬W, F3 = ¬W, G = X → Y; b) F1 = X ∨ Y ∨ Z, F2 = Z → Y1, F3 = Y → Y1, F4 = Z, G = X ∨ Z; g) F1 = Z → Z1, F2 = Z1 → Y, F3 = X → Y ∨ Z, G = X → Y. 8. Доказать, что формула G не является логическим следствием формул F1, F2, ..., Fn: a) F1 = ¬X ∨ Y ∨ Z, F2 = Z → X → W; b) F1 = Z → Y ∨ Z, G = X ∨ Z1; c) F1 = Y1 ∨ Y2, F2 = Y → X1, F3 = Y → Y1, F4 = ¬Y1. 9. Логичны ли рассуждения из задачи 2.1, 2.2, 2.3? момогите с решением задач Математика Колледж Логика и математическая логика

135

Посмотреть ответы