Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

IX. СПИСОК СИМВОЛОВ





Доверь свою работу кандидату наук!
1500+ квалифицированных специалистов готовы вам помочь

Сборники задач и упражнений

1. Бойко А.П. Практикум по логике. -М., A3,1997.

2. Гусева Е. А., Леонов В. Е., Смирнова А. П. Логика и теория аргументации : Практикум. СПб.: СПбГИЭУ, 2006. 37 с.

3.Ивин А.А. Практическая логика: задачи и упражнения. - М,

Просвещение, 1996.

4.Ивлев Ю.В. Логика. Сборник упражнений. - М., Университет, 1998.

5. Ивлев Ю.В. Логика. Сборник упражнений. М..:,Дело,2002

6. Кириллов В. И., Орлов Г. А., Фокина Н. И. Упражнения по логике. 6-е изд., перераб. и доп. М.: Проспект, 2007. 184 с.

7. Кобзарь В. И. Логика в вопросах и ответах. М.: Проспект, 2009. 160с.

8. Упражнения по логике. Учебное пособие / под. Ред. В.И. Кириллова, Г.А. Орлова, Н.И.Фокиной – 6-е изд., М.., Проспект, 2009 – 84 с.

а ^ Ь; а • Ь', а & b; «а и б» — конъюнкция.

а v 6, «а или Ь» — нестрогая дизъюнкция.
а v Ь; «или а, или б» — строгая дизъюнкция.
а —> Ь; а Ь; «а имплицирует Ь» («если а, то б») — импликация.
а = Ь; а <-> Ь; аЬ, а ~ Ь; «а эквивалентно Ь» («а, если и только если Ь»)
эквиваленция.

а, а; ~ а', «не-а» — отрицание а.

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

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

а, Ь, с,..., p, q... — переменные для высказываний.

Логика классов

А, В, С... — переменные для классов (классы А, В, С ...).

А — дополнение А.

А U В; А + В — «сумма (объединение) А и В».

А ∩ В; А • В — «произведение (пересечение) А и В».

А— В — «разность А и В».

А С В; А < В — «А включается в В».

аА — «элемент а принадлежит классу А».

АВ — «А тождественно В».

М — модальный оператор.
А необходимо А.
А случайной А.
А — возможно А.

~ А — невозможно А.
1р —
необходимо р.

—— равно по определению.

├ — знак вывода.

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




Дата добавления: 2014-11-29; Просмотров: 666; Нарушение авторских прав?;


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



ПОИСК ПО САЙТУ:


Читайте также:
studopedia.su - Студопедия (2013 - 2022) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.018 сек.