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

Вы находитесь на сайте "Архив статей из ЭЕЭ и статей на еврейские темы из Википедии"

(Различия между версиями)

Structor (Обсуждение | вклад)
(категоризация шаблонов, Replaced: Категория:Математические шаблоны → {{PAGENAME}}, с помощью [[Project:AutoWikiBrowser)
Следующая правка →

Версия 20:35, 1 ноября 2009

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

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

Вы находитесь на сайте "Архив статей из ЭЕЭ и статей на еврейские темы из Википедии"

Версия 20:35, 1 ноября 2009

Просмотры

Личные инструменты

Поиск по словам

Навигация

Участие

Развитие проекта

Инструменты