Обсуждение:Исчисление высказываний — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «Базовыми понятиями логики высказываний являются пропозициональная переменная — перемен...»)
 
 
(не показано 6 промежуточных версий 4 участников)
Строка 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)

Текущая версия на 20:46, 27 января 2012

Базовыми понятиями логики высказываний являются пропозициональная переменная — переменная, значением которой может быть логическое высказывание - Wikipedia from.

Добавлено. --Phil 21:03, 12 января 2012 (MSK)

Правило вывода (элемент R) - упорядоченная n-ка выражений, где первое n-1 выражение --- посылка, а последнее --- заключение правила.

У Штукенберга иначе, цитирую:

Правило вывода (элементы R) - это некоторые упорядоченные n-ки выражений, где первЫЕ n-1 выражений называются посылками, а последнее --- заключение правила.

Расширим грамматику из предыдущего раздела:

В первой и второй строке вместо конъюнкции должна быть импликация.
<выражение> ::= <конъюнкцияимпликация>
<конъюнкцияимпликация> ::= <дизъюнкция> | <дизъюнкция> -> <конъюнкцияимпликация>
Я прав? --Андрей Рыбак 09:56, 14 января 2012 (MSK)
Видимо, да. Сейчас поправлю. --Мейнстер Д. 10:09, 14 января 2012 (MSK)