Логика

1. Мышление

1.1. Понятия

1.2. Высказывания

1.2.1. Простые

1.2.2. Составные

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

2. Логическая переменная

2.1. Истина

2.2. Ложь

3. Операции

3.1. Базовые

3.1.1. Коньюнкция

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

3.1.3. Отрицание

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

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

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

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

4.1. Коньюнкция

4.1.1. A B F

4.1.2. 1 1 1

4.1.3. 1 0 0

4.1.4. 0 1 0

4.1.5. 0 0 0

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

4.2.1. A B F

4.2.2. 1 1 1

4.2.3. 1 0 1

4.2.4. 0 1 1

4.2.5. 0 0 0

4.3. Отрицание

4.3.1. A не А

4.3.2. 1 0

4.3.3. 0 1

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

4.4.1. A B F

4.4.2. 1 1 1

4.4.3. 1 0 0

4.4.4. 0 1 0

4.4.5. 0 0 1

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

4.5.1. A B F

4.5.2. 1 1 1

4.5.3. 1 0 0

4.5.4. 0 1 0

4.5.5. 0 0 1