Логика. Ч.1. Попов Ю.П. - 97 стр.

обозначают непозволительный прием опровержения, когда мысль оппонента преувеличивается до
карикатуры.

Пропозициональная переменная - символ (обычно латинская буква), заменяющий любое высказыва-
ние; логический союз - название широко распространенных в любом языке оборотов речи, с помо-
щью которых связываются два и более повествовательных предложения (имеют символические обо-
значения); отрицание - простейший логический союз, выражаемый словами "неверно, что...", кото-
рый не связывает, а только преобразует высказывание; конъюнкция - логический союз, выражаемый
грамматическим союзом "и" а также многими другими эквивалентными ему выражениями (обозна-
чается символом - /\); дизъюнкция - логический союз, выражаемый грамматическим союзом "или" а
также другими эквивалентными ему выражениями (обозначается символом - \/); импликация - логи-
ческий союз, выражаемый словами "если..., то..." а также многими другими эквивалентными ему
оборотами (обозначается символом - =>); эквивалентность - логический союз, выражающий отноше-
ния равнозначности, обоюдной зависимости (обозначается символом - Ù).




                                             97