Каталог статей

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 14:17:58 GMT

95

X ↔ Y.
Y ↔ ˥Z.
----------
X ↔ ˥Z.

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 14:16:53 GMT

94

X ↔ ˥Y.
˥Y ↔ Z.
----------
X ↔ Z.

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 14:15:51 GMT

93

˥X ↔ Y.
Y ↔ Z.
----------
˥X ↔ Z.

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 14:14:50 GMT

92

X ↔ Y.
Y ↔ Z.
----------
X ↔ Z.

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 14:13:50 GMT

91

X ˄ Y.
Y ˄ ˥Z.
----------
X ˄ ˥Z.

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 14:12:44 GMT

90

X ˄ ˥Y.
˥Y ˄ Z.
----------
X ˄ Z.

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 14:11:30 GMT

89

˥X ˄ Y.
Y ˄ Z.
----------
˥X ˄ Z.

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 14:10:22 GMT

88

X ˄ Y.
Y ˄ Z.
----------
X ˄ Z.

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 14:09:26 GMT

87

X → Y.
Y → ˥Z.
----------
X → ˥Z.

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 14:08:05 GMT

86

X → ˥Y.
˥Y → Z.
----------
X → Z.

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 14:06:55 GMT

85

˥X → Y.
Y → Z.
----------
˥X → Z.

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 14:05:51 GMT

84

X → Y.
Y → Z.
----------
X → Z.

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 14:03:22 GMT

83

5. Реакции с молекулами материальной дизъюнкции

(А Ꚛ В) + (С Ꚛ D) → (А Ꚛ C) + (B Ꚛ D).

(А Ꚛ В) + (С Ꚛ D) → (А Ꚛ B) ˄ (C Ꚛ D). Соединение.
(А Ꚛ B) ˄ (C Ꚛ D) → (А Ꚛ C) + (B Ꚛ D). Разложение.
-------------------------------------------------------- ------------------
(А Ꚛ В) + (С Ꚛ D) → (А Ꚛ C) + (B Ꚛ D). Обмен.

А Ꚛ В.
С Ꚛ D.
-----------------------
(А Ꚛ C) → (B Ꚛ D).

Если истинно (А Ꚛ В), и истинно (С Ꚛ D), то истинно (А Ꚛ С) → (В Ꚛ D).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 14:02:10 GMT

82

4. Реакции с молекулами эквиваленции

(А ↔ В) + (С ↔ D) → (А ↔ C) + (B ↔ D).

(А ↔ В) + (С ↔ D) → (А ↔ B) ˄ (C ↔ D). Соединение.
(А ↔ B) ˄ (C ↔ D) → (А ↔ C) + (B ↔ D). Разложение.
----------------------------------------------------------- ------------------
(А ↔ В) + (С ↔ D) → (А ↔ C) + (B ↔ D). Обмен.

А ↔ В.
С ↔ D.
--------------------------
(А ↔ C) ↔ (B ↔ D).

Если истинно (А ↔ В), и истинно (С ↔ D), то истинно (А ↔ С) ↔ (В ↔ D).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 14:01:03 GMT

81

3. Реакции с молекулами импликации

(А → В) + (С → D) → (А → C) + (B → D).

(А → В) + (С → D) → (А → B) ˄ (C → D). Соединение.
(А → B) ˄ (C → D) → (А → C) + (B → D). Разложение.
----------------------------------------------------------- ------------------
(А → В) + (С → D) → (А → C) + (B → D). Обмен.

А → В.
С → D.
-----------------------
(А → C) ˅ (B → D).

Если истинно (А → В), и истинно (С → D), то истинно (А → С) ˅ (В → D).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 13:59:18 GMT

80

2. Реакции с молекулами дизъюнкции

(А ˅ В) + (С ˅ D) → (А ˅ C) + (B ˅ D).

(А ˅ В) + (С ˅ D) → (А ˅ B) ˄ (C ˅ D). Соединение.
(А ˅ B) ˄ (C ˅ D) → (А ˅ C) + (B ˅ D). Разложение.
---------------------------------------------------- ------------------
(А ˅ В) + (С ˅ D) → (А ˅ C) + (B ˅ D). Обмен.

А ˅ В.
С ˅ D.
-----------------------
(А ˅ C) ˅ (B ˅ D).

Если истинно (А ˅ В), и истинно (С ˅ D), то истинно (А ˅ С) ˅ (В ˅ D).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 13:57:04 GMT

79

Реакции обмена в бинарных высказываниях.

1. Реакции с молекулами конъюнкции

(А ˄ В) + (С ˄ D) ↔ (А ˄ C) + (B ˄ D).

(А ˄ В) + (С ˄ D) → (А ˄ B) ˄ (C ˄ D). Реакция соединения.
(А ˄ B) ˄ (C ˄ D) → (А ˄ C) + (B ˄ D). Реакция разложения.
----------------------------------------------------- ------------------------------
(А ˄ В) + (С ˄ D) ↔ (А ˄ C) + (B ˄ D). Реакция обмена.

А ˄ В.
С ˄ D.
-----------------------
(А ˄ C) ˄ (B ˄ D).

Если истинно (А ˄ В), и истинно (С ˄ D), то истинно (А ˄ С) ˄ (В ˄ D).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 13:54:37 GMT

78

[(X Ꚛ Y) Ꚛ Z] = [(Z Ꚛ Y) Ꚛ X].

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 13:53:25 GMT

77

Свойства материальной дизъюнкции.

[(А Ꚛ В) ˅ С] → [(А Ꚛ С) ˅ (В Ꚛ С)].

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 13:52:10 GMT

76

[(X ↔ Y) ↔ Z] → [(Z ↔ Y) ↔ X].
[(X ↔ Z) ↔ Y] → [(Z ↔ Y) ↔ X].
[(X ↔ Y) ↔ Z] → [(X ↔ Z) ↔ Y].

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 13:50:56 GMT

75

[А ↔ (В ˅ С)] → [(A ↔ B) ˅ (A ↔ C)].

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 13:49:41 GMT

74

[(А ˅ В) ↔ С] → [(А ↔ С) ˅ (В ↔ С)].

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 13:48:22 GMT

73

Свойства эквиваленции.

[(А ↔ С) ˅ В] → [(А ↔ В) ˅ С].

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 13:46:53 GMT

72

[А → (В ˅ С)] → [(A → B) ˅ (A → C)].

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 13:45:34 GMT

71

[(А ˅ В) → С] → [(А → С) ˅ (В → С)].

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 13:44:16 GMT

70

Свойства импликации.

[(А → В) ˅ С] ↔ [(А → С) ˅ В].

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 13:42:38 GMT

69

Дистрибутивность дизъюнкции

[A ˅ (B ˄ C)] = [(A ˅ B) ˄ (A ˅ C)].

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 13:38:25 GMT

68

Дистрибутивность конъюнкции.

[A ˄ (B ˅ C)] = [(A ˄ B) ˅ (A ˄ C)].

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 13:35:36 GMT

67

Ассоциативность дизъюнкции.

[(А ˅ В) ˅ С] ↔ [(А ˅ С) ˅ В].
[(А ˅ С) ˅ В] ↔ [(С ˅ В) ˅ А].

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 13:32:57 GMT

66

[(Z ˄ Y) ˅ X] → [(X ˄ Y) ˅ Z].
[(X ˄ Z) ˅ Y] → [(Z ˄ Y) ˅ X].

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 11:54:43 GMT

65

Трёхатомные молекулы высказываний, внутренние перегруппировки атомов.

В трёхатомных молекулах высказываний могут происходить внутренние перегруппировки атомов.

Ассоциативность конъюнкции

[(А ˄ В) ˄ С] ↔ [(А ˄ С) ˄ В] ↔ [(В ˄ С) ˄ А].

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 11:39:44 GMT

64

Общая таблица истинности бинарных высказываний

X Y ˥X ˥Y X ˄ Y X ˅ Y X → Y X ↔ Y X Ꚛ Y X Y ˥X ˥Y ˥X ˄ Y ˥X ˅ Y ˥X → Y ˥X ↔ Y ˥X Ꚛ Y
1 1 0 0 1 1 1 1 0 1 1 0 0 0 1 1 0 1
0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 0
1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0
0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1

X Y ˥X ˥Y X ˄ ˥Y X ˅ ˥Y X → ˥Y X ↔ ˥Y X Ꚛ ˥Y X Y ˥X ˥Y ˥X ˄ ˥Y ˥X ˅ ˥Y ˥X → ˥Y ˥X ↔ ˥Y ˥X Ꚛ ˥Y
1 1 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 0
0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1
1 0 0 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1
0 0 1 1 0 1 1 0 1 0 0 1 1 1 1 1 1 0

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 11:36:24 GMT

63

X Ꚛ ˥Y.
˥X ˅ Y.
------------------------
(X Ꚛ ˥Y) → (X ˅ ˥Y).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 11:35:02 GMT

62

˥X Ꚛ Y.
˥X ˅ Y.
------------------------
(˥X Ꚛ Y) → (˥X ˅ Y).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 11:33:52 GMT

61

X Ꚛ Y.
X ˅ Y.
------------------------
(X Ꚛ Y) → (X ˅ Y).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 11:32:37 GMT

60

X ˄ Y.
X Ꚛ ˥Y.
------------------------
(X ˄ Y) → (X Ꚛ ˥Y).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 11:30:41 GMT

59

Схемы умозаключений для материальной дизъюнкции

X ˄ Y.
˥X Ꚛ Y.
------------------------
(X ˄ Y) → (˥X Ꚛ Y).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 11:28:26 GMT

58

Истинностные значения материальной дизъюнкции

X ˥X Y ˥Y X Ꚛ Y ˥X Ꚛ Y X Ꚛ ˥Y ˥X Ꚛ ˥Y

1 0 1 0 0 1 1 0
0 1 1 0 1 0 0 1
1 0 0 1 1 0 0 1
0 1 0 1 0 1 1 0

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 11:26:35 GMT

57

Молекулы материальной дизъюнкции.

Cинтез молекул материальной дизъюнкции:

X.
Y.
-------------
˥(X Ꚛ Y).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 11:22:16 GMT

56

Сокращённые схемы умозаключений для молекул эквиваленции

X ↔ Y.
X.
-----------
Y.

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 11:18:19 GMT

55

˥X ↔ ˥Y.
X ˅ ˥Y.
--------------------------
(˥X ↔ ˥Y) → (X ˅ ˥Y).

Если истинны ˥X ↔ ˥Y и X ˅ ˥Y, то истинно (˥X ↔ ˥Y) → (X ˅ ˥Y).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 11:16:57 GMT

54

X ↔ ˥Y.
˥X ˅ ˥Y.
--------------------------
(X ↔ ˥Y) → (˥X ˅ ˥Y).

Если истинны X ↔ ˥Y и ˥X ˅ ˥Y, то истинно (X ↔ ˥Y) → (˥X ˅ ˥Y).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 11:15:28 GMT

53

˥X ↔ Y.
X ˅ Y.
--------------------------
(˥X ↔ Y) → (X ˅ Y).

Если истинны ˥X ↔ Y и X ˅ Y, то истинно (X ↔ Y) → (X ˅ Y).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 11:13:03 GMT

52

Схемы умозаключений.

Эквиваленция.
Дизъюнкция.
---------------------------------
Общая импликация.

X ↔ Y.
˥X ˅ Y.
--------------------------
(X ↔ Y) → (˥X ˅ Y).

Если истинны X ↔ Y и ˥X ˅ Y, то истинно (X ↔ Y) → (˥X ˅ Y).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 08:10:48 GMT

51

˥X ˄ ˥Y.
˥X ↔ ˥Y.
-------------------------
(˥X ˄ ˥Y) → (˥X ↔ ˥Y).

Если истинны ˥X ˄ ˥Y и ˥X ↔ ˥Y, то истинно (˥X ˄ ˥Y) → (˥X ↔ ˥Y).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 08:09:33 GMT

50

X ˄ ˥Y.
˥X ↔ Y.
-------------------------
(X ˄ ˥Y) → (˥X ↔ Y).

Если истинны ˥X ˄ Y и ˥X ↔ Y, то истинно (˥X ˄ Y) → (˥X ↔ Y).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 08:08:28 GMT

49

˥X ˄ Y.
˥X ↔ Y.
--------------------------
(˥X ˄ Y) → (˥X ↔ Y).

Если истинны ˥X ˄ Y и ˥X ↔ Y, то истинно (˥X ˄ Y) → (˥X ↔ Y).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 08:07:03 GMT

48

X ˄ Y.
˥X ↔ ˥Y.
-------------------------
(X ˄ Y) → (˥X ↔ ˥Y).

Если истинны X ˄ Y и ˥X ↔ ˥Y, то истинно (X ˄ Y) → (˥X ↔ ˥Y).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 08:05:47 GMT

47

Схемы умозаключений

Конъюнкция.
Эквиваленция.
---------------------------------
Общая импликация.

X ˄ Y.
X ↔ Y.
-------------------------
(X ˄ Y) → (X ↔ Y).

Если истинны X ˄ Y и X ↔ Y, то истинно (X ˄ Y) → (X ↔ Y).

ХИМИЯ В ЛОГИКЕ

Tue, 16 May 2023 08:05:25 GMT