Приложение D
Формы логических аргументов

Вы можете обращаться сюда (табл. 28), когда вам нужны формы аргументов, используемых в символической логике.

Среди символов: «→» для «означает», «∴» для «затем» или «следовательно», «¬» для «не», «∧» для «и», «∨» для «или» и «↔» для «эквивалентно с» или «взаимозаменяемо с».

Таблица 28. Пожалуйста, наслаждайтесь этим списком правильных логических аргументов, на создание которого у человечества ушла не одна тысяча лет и который занимает всего пару страниц, и то в приложении