ЛОГИКА

1. Логические переменные

1.1. Ложь

1.2. Отрицание

2. Таблицы истинности

2.1. Конъюнкция

2.1.1. A B F

2.1.2. 1 1 1

2.1.3. 1 0 0

2.1.4. 0 1 0

2.1.5. 0 0 0

2.2. Дизъюнкция

2.2.1. A B F

2.2.2. 1 1 1

2.2.3. 1 0 1

2.2.4. 0 1 1

2.2.5. 0 0 0

2.3. Отрицание

2.3.1. A -A

2.3.2. 1 0

2.3.3. 0 1

2.4. Эквивалентность

2.4.1. A B F

2.4.2. 1 1 1

2.4.3. 1 0 0

2.4.4. 0 1 0

2.4.5. 0 0 0

3. Мышление

3.1. Понятие

3.2. Высказывание

3.2.1. Простые

3.2.2. Составные

3.3. Умозаключение

4. Операции

4.1. Базовые

4.1.1. Конъюнкция

4.1.2. Дизъюнкция

4.1.3. Отрицание

4.2. Дополнительные

4.2.1. Импликация

4.2.2. Эквивалентность