beroal.livejournal.com
ВП:ПРОВ
Энциклопедия:Шаблоны Энциклопедия:Рекомендации по созданию шаблонов
{{Вандализм|diff=ссылка на вандальную правку|rule=нарушенное этой правкой правило}}
#REDIRECT [[Page_name#Page_chapter]]
[источник?]
Логика |
| Формальная |
Логические операции с понятиями
Изменение содержания понятия: отрицание ограничение обобщение деление
Изменение объёма понятия: сложение умножение вычитание
Типы: Многозначная логика Бинарная логика
Законы: Закон обратного отношения между содержанием и объёмом понятия |
Математическая
(теоретическая,
символическая) |
Логические связки (операции) над высказываниями
Высказывание - построение над множеством {B, , , , 0, 1}
В - непустое множество, над элементами которого определены три операции: конъюнкция ( или &,бинарная) дизъюнкция ( ,бинарная) отрицание ( ,унарная)
2 константы: 0 1
|
| См. также |
импликация ( ) Круги Эйлера/Диаграмма Венна Теория множеств |
Касательно анонимов: лучше заменить на OpenID, client SSL certificate или что-нибудь аналогичное. Просто аноним в это человек из ниоткуда, без данных. Ну реклама от анонимов просто задрала.
| beroal |
Этот участник предпочитает обращение на свой ник beroal |
save
preview |
Этот участник придерживается принципа минимального количества правок и ратует за кнопку предпросмотра, а также за установку гаджета предпросмотра |
| R.I.P |
Этот участник считает, что из-за жестокости законов об охране результатов интеллектуальной деятельности люди умирают на десятки лет раньше. |
 |
Этот участник в инклюзионист. Он полагает, что чем больше будет статей в Энциклопедии, тем лучше. |
 |
Этот участник использует
Linux
|
 |
Этот участник программирует на Haskell |
Энциклопедия:Юзербоксы#Существующие шаблоны участников