Символы. а Ùb (а и b) – конъюнкция

а Ùb (а и b) – конъюнкция.

a b (а или b) – нестрогая дизъюнкция.

a ύ b; (или а, или b) – строгая дизъюнкция.

( x); «для всех х» – квантор общности.

( х), «существует х, такое что» – квантор существования.

a, b, c,...,p, q... – переменные для высказываний.

↔ – тождество, эквивалентность («если и только если», «тогда и только тогда»)

B,C – отрицание («не»)

ڤ – необходимость

◊ – возможность

M – средний термин умозаключения, общее для исходных суждений понятие

Основная литература

1. Гетманова А.Д. Учебник логики. Со сборником задач. – М., 2011.
2. Ивин А.А. Логика. Учебное пособие для бакалавров. – М., 2011.
3. Ивлев Ю.В. Логика: Учебник. – М., 2008.
4. Мареев С.Н. Логика. – Р/нД., 2008.

5. Светлов В.А. Логика. Учебное пособие – М., 2011.

Дополнительная литература

1. Ивин А.А. Элементарная логика. – М., 1994.
2. Логический словарь ДЕФОРТ. – М., 1994.

3. Минто В. Дедуктивная и индуктивная логика. – СПБ., 1995.

4. Никифоров А.Л. Общедоступная и увлекательная книга по логике. – М., 1995.