Редактирование: Обсуждение:Исчисление высказываний

Перейти к: навигация, поиск

Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия Ваш текст
Строка 1: Строка 1:
 
Базовыми понятиями логики высказываний являются пропозициональная переменная — переменная, значением которой может быть логическое высказывание - Wikipedia from.
 
Базовыми понятиями логики высказываний являются пропозициональная переменная — переменная, значением которой может быть логическое высказывание - Wikipedia from.
 
Добавлено. --[[Участник:Phil|Phil]] 21:03, 12 января 2012 (MSK)
 
 
Правило вывода (элемент R) - упорядоченная n-ка выражений, где первое n-1 выражение --- посылка, а последнее --- заключение правила.
 
У Штукенберга иначе, цитирую:
 
Правило вывода (элементы R) - это некоторые упорядоченные n-ки выражений, где первЫЕ n-1 выражений называются посылками, а последнее --- заключение правила.
 
 
== Расширим грамматику из предыдущего раздела: ==
 
 
: В первой и второй строке вместо конъюнкции должна быть импликация.
 
:<выражение> ::= <<s>конъюнкция</s>импликация>
 
:<<s>конъюнкция</s>импликация> ::= <дизъюнкция> | <дизъюнкция> -> <<s>конъюнкция</s>импликация>
 
: Я прав? --[[Участник:Rybak|Андрей Рыбак]] 09:56, 14 января 2012 (MSK)
 
:: Видимо, да. Сейчас поправлю. --[[Участник:Sementry|Мейнстер Д.]] 10:09, 14 января 2012 (MSK)
 

Пожалуйста, учтите, что любой ваш вклад в проект «Викиконспекты» может быть отредактирован или удалён другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. Викиконспекты:Авторские права). НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Чтобы изменить эту страницу, пожалуйста, ответьте на приведённый ниже вопрос (подробнее):

Отменить | Справка по редактированию (в новом окне)