Студопедия

Главная страница Случайная лекция

Порталы:

БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика






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

Читайте также:
  1. I. Список рекомендуемых источников и литературы
  2. Библиографический список
  3. Библиографический список
  4. Библиографический список
  5. Библиографический список
  6. Библиографический список
  7. Библиографический список
  8. Библиографический список
  9. Библиографический список

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

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


lektsiopedia.org - Лекциопедия - 2013 год. | Страница сгенерирована за: 0.002 сек.