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

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

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-02-26; просмотров: 635; Нарушение авторских прав

Мы поможем в написании ваших работ!