Составители:
Рубрика:
Программа спецкурса «ВВЕДЕНИЕ В СИМВОЛИЧЕСКУЮ ЛОГИКУ»
105
5. Эквивалент (эквивалентность). Определение, сим
волы. Таблица истинности для эквивалентности. Выраже
ние в естественном языке. Роль в построении научных оп
ределений.
РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА
Гетманова А. Д. Логика – М., 1986.
Жоль К. К. Логика в лицах и символах. – М., 1993.
Светлов В. А. Практическая логика. – СПб., 1995.
Уемов А. И. Задачи и упражнения по логике. – М., 1961.
Формальная логика.– Л., 1977.
Тема 5
Понятие общезначимой логической формулы.
Равносильные формулы
В данной теме рассматриваются общезначимые или
тождественно истинные формулы логики высказываний.
Они являются логическими законами, которыми посто
янно руководствуются как теоретики, так и практики.
Опыт развития логики и использование ее инструмента
рия в практических целях свидетельствуют о чрезвычай
ной важности общезначимых формул для логики как до
казательной науки, чьи доказательные конструкции
применяются в самых различных сферах человеческой
деятельности.
Вводятся понятия выполнимых (логически истинных и
логически нейтральных) и невыполнимых (логически
сложных) формул. Рассматривается способ с помощь кото
рого, относительно любой формулы, можно решить – к ка
кому виду формул она относится. Этот способ называется
разрешающей процедурой и включает в себя построение
таблиц истинности и преобразование исследуемой форму
лы в одну из так называемых нормальных форм. В данной
Страницы
- « первая
- ‹ предыдущая
- …
- 102
- 103
- 104
- 105
- 106
- …
- следующая ›
- последняя »
