Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Логические символы

⇐ Предыдущая57585960616263646566Следующая ⇒


  Название       Изображение   Обыденный язык Формула (схема)
как пишется как читается
Конъюнкция (связки: и, а, но)   & Λ х.   p и q   p Λ q   Конъюнкция (p конъюнкция q)
  Дизъюнкция (связки: или, либо)   V + (нестрогая) V. +.   p или q (нестрогая) p либо q (строгая)   p V q   Дизъюнкция p q (р дизъюнкция q)
  Импликация (связка: если…, то)   →   Если p, то q   p → q   Импликация p q (р импликация q)
  Эквиваленция (связка: тогда и только тогда, когда)   ≡   p тогда и только тогда, когда q   p ≡ q   Эквиваленция p q (р эквиваленция q)
Отрицание (связка: не, нет)   ~ −   не р   р Отрицание р (р с отрицанием)
Понятия A, B, C, D…  
Субъект простого суждения S   Схема простого суждения: S есть (не есть) P
Предикат простого суждения P
Простые суждения в составе сложных a, b, c, d….., p, q, r….
Кванторы общности кванторное слово «все» символ V
существования кванторное слово «некоторые» символ Ξ
Логический вывод «выводимо» символ ╞
Значение истинности «истинно» символ 1
Значение ложности «ложно» символ 0
Ограничения и порядок действий скобки (), [ ], { }
           
⇐ Предыдущая57585960616263646566Следующая ⇒


Дата публикования: 2014-11-04; Прочитано: 360 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!

studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.008 с)...