Шаблон:Логика

Версия от 13:43, 26 ноября 2010; Mliris (Обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

п·о·р Логика
Наука
Формальная	Логические операции с понятиями Изменение содержания понятия: отрицание • ограничение • обобщение • деление Изменение объёма понятия: сложение • умножение • вычитание Типы: Многозначная логика • Бинарная логика
Математическая (теоретическая, символическая)	Логические связки (операции) над высказываниями Высказывание - построение над множеством {B, $\lnot$ , $\land$ , $\lor$ , 0, 1} В - непустое множество, над элементами которого определены три операции: конъюнкция ( $\land$ или &,бинарная) • дизъюнкция ( $\lor$ ,бинарная) • отрицание ( $\neg$ ,унарная) 2 константы: 0 • 1
См. также	импликация ( $\to$ )
Философия

Категория: Навигационные шаблоны:Математика

* Часть материалов Ежевики основана на материалах из Википедии, эти материалы публикуется на условиях свободной лицензии GNU Free Documentation License http://www.gnu.org/copyleft/fdl.html, CC-BY-SA http://creativecommons.org/licenses/by-sa/3.0/deed.ru, в соответствии с лицензией Википедии. Те материалы, которые являются переводами английской или ивритской Википедии, можно рапространять на условиях свободной лицензии GFDL, с обязательной активной гиперссылкой на страницу Ежевики, содержащую этот перевод.
* Все другие материалы Ежевики нельзя распространять без ее разрешения. Если вам нужно такое разрешение, или вы хотите выяснить статус конкретных материалов, - обратитесь, пожалуйста с запросом на мэйл ejwiki.info@gmail.com.
Политика конфиденциальности
Описание EJ-archive
Отказ от ответственности