Каталог статей
| Главная » Статьи » Алгебра высказываний |
| В категории материалов: 430 Показано материалов: 151-200 |
Страницы: « 1 2 3 4 5 6 ... 8 9 » |
Сортировать по: Дате · Названию · Комментариям · Просмотрам
|
46 А Ꚛ В. А ˅ В. ---------------- А Ꚛ В → А ˅ В. |
|
45 А ↔ В. А ˅ В. --------------------- (А ↔ В) → (А˅В). |
|
44 А ˅ В. А → В. ------------------------ (А ˅ В) ↔ (А → В). |
|
43 А ˄ В. А ˅ В. ----------------- А ˄ В → А ˅ В. |
|
42 А ˄ В. А ˅ В. ----------------- (А ˄ В) → (А ˅ В). |
|
41 А ˄ В. А ˅ В. ----------------------- (А ˄ В) → (А ˅ В). |
|
40 А ˄ В. А ↔ В. ----------------------- (А ˄ В) → (А ↔ В). |
|
39 А ˄ В. А → В. ----------------------- (А ˄В ) → (А → В). |
|
38 А ˄ В. А ˅ В. ---------------------- (А ˄ В) → (А ˅ В). |
|
37
В → А. А → (А → В). --------------------- В → (А → В). |
|
36 (А ˄ В) → (А ↔ В). (А ↔ В) ↔ ˥(А Ꚛ В). ---------------------------- (А ˄ В) → ˥(А Ꚛ В). |
|
35 (А ˄ В) → ˥(А Ꚛ В). ˥(А Ꚛ В) ↔ (А ↔ В). -------------------------- (А ˄ В) → (А ↔ В). |
|
34
(А ˄ В) → А. A → (А ↔ В). --------------------------- (А ˄ В) → (А ↔ В). |
|
33
(А ˄ В) → В. В → (А → В). ------------------------ (А ˄ В) → (А → В). |
|
32
(А ˄ В) → А. A → (A ˅ B). -------------------------- (А ˄ В) → (А ˅ В).
|
|
31 А → В. А → С. ------------------ А → (В ˄ С). |
|
30 А → С. В → С. ------------------- (А ˄ В) → С. |
|
29 А → А. А → В. --------------- A → (A ˅ B). |
|
28 A → B. А → C. А. ----------- B ˄ C. |
|
27 A ˅ B. B ˅ C. ---------- A ˅ C. |
|
26 А → В. А. ------------- А ˅ В. |
|
25 A Ꚛ B. B Ꚛ C. ---------- ˥(A Ꚛ C). |
|
24 A ↔ B. B ↔ C. --------- A ↔ C. |
|
23 A ↔ B. B ↔ C. --------- A ↔ C. |
|
22 A → B. B → C. --------- A → C. |
|
21 A ˅ B. B ˅ C. С. ----------- A ˅ C. |
|
20 A ˄ B. B ˄ C. --------- A ˄ C. |
|
19 A ˄ B. B ˄ C. -------- A ˄ C. |
|
18 A → B. B → C. ---------- А → C. |
|
17 A → B. B → C. ---------- А → C. |
|
16 A ˄ B. B ˄ C. --------- A ˄ C. |
|
15 A ˄ B. B → C. ---------- А → C. |
|
14 A → B. B ˄ C. ---------- А → C. |
|
13 A ˅ B. B ˅ C. ---------- A ˅ C. |
|
12 А ˅ В. С. ------------------------ (А ˄ С) ˅ (В ˄ С). |
|
11 А ↔ В. А ˅ В. ----------------------------- (А ↔ В) → (А ˅ В). |
|
10 M → X. M → Y. ------------- Y → X. |
|
9 M → X. X → Y. ------------- M → Y. |
|
8 M → X. Y → X. ------------- M → Y. |
|
7 M → X. Y → M. ------------- Y → X. |
|
6 Формулы вида M → X. M. ------------ X. |
|
5 ˥(А Ꚛ В). А. ---------- В.
|
|
4 А ↔ В. А. ---------- В.
|
|
3 А ˅ В. А. ------
|
|
2 А → В. А. ---------- В.
|
|
Формулы вида P. (=1). Q. (=1). --------------- R. (=1).
А ˄ В. А. --------- В.
|
|
234 Оценить истинность рассуждения Если я пойду завтра на первое занятие, то должен буду встать рано. Если я пойду вечером на танцы, то лягу спать поздно. Если я лягу поздно, а встану рано, то буду вынужден обойтись пятью часами сна. Значит, я должен или пропустить завтра первое занятие, или не ходить на танцы. |
|
233 Оценить истинность рассуждения Если N серьезный политик, он не будет делать таких заявлений. Если у него есть программа, то он должен ее изложить. N сделал такое заявление и не изложил свою программу. Значит, он не серьезный политик, и у него нет программы. |
|
232 Оценить истинность рассуждения Если рабочие объединены, они добиваются улучшения условий своего труда. Если рабочие не осознали своих классовых интересов, они не объединены. Значит, если рабочие не осознали своих классовых интересов, они не добиваются улучшения условий своего труда. |
|
231 Оценить истинность рассуждения Если исход скачек будет предрешен сговором, или в игорных домах будут орудовать шулеры, то доходы от туризма упадут, и город пострадает. Если доходы от туризма упадут, полиция будет недовольна. Полиция никогда не бывает довольна. Следовательно, исход скачек будет предрешен сговором. |
