1. Высказывания. Конъюнкция высказываний. Таблица истинности конъюнкции.

Высказывание – это повествовательное предложение, о котором можно сказать, что оно или истинно или ложно.

К онъюнкция (логическое умножение(*)!!!)

Конъюнкцией двух высказываний (А и В) называется такое высказывание, которое истинно только тогда, когда истинны оба высказывания (А и В).

A	B	A B
0	0	0
0	1	0
1	0	0
1	1	1

_{(Только 2-е единицы)}

2. Высказывания. Дизъюнкция высказываний. Таблица истинности дизъюнкции.

Высказывание – это повествовательное предложение, о котором можно сказать, что оно или истинно или ложно.

Дизъюнкция (логическое сложение(+)!!!)

[ ]

Дизъюнкцией двух высказываний (А и В) называется такое высказывание, которое истинно только тогда, когда истина хотя бы одно из высказывания (А и В).

A	B	A B
0	0	0
0	1	1
1	0	1
1	1	1

_{(Хотя бы одна единица)}

3. Высказывания. Строгая дизъюнкция высказываний. Таблица истинности строгой дизъюнкции.

Высказывание – это повествовательное предложение, о котором можно сказать, что оно или истинно или ложно.

Строгая дизъюнкция (исключающие, или сумма по |2|)

[ ]

Строгой дизъюнкцией двух высказываний (А и В) называется такое высказывание, которое истинно только тогда, когда истина только одно из высказывания (А и В).

A	B	A B
0	0	0
0	1	1
1	0	1
1	1	0

^{(только одна единица)}

4. Высказывания. Импликация высказываний. Таблица истинности импликации.

Высказывание – это повествовательное предложение, о котором можно сказать, что оно или истинно или ложно.

Импликация (логическое исследование)

[→, , imp]

Импликацией двух высказываний (А и В) называется такое высказывание, которое ложь только тогда, когда истина первое высказывание (А) а второе ложное (В).

А	В	А→В	В→А
0	0	1	1
0	1	1	0
1	0	0	1
1	1	1	1

_{(из 1 следует 2)}