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