Изменения

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

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

465 байт добавлено, 09:56, 14 января 2012
Расширим грамматику из предыдущего раздела:: Новая тема
У Штукенберга иначе, цитирую:
Правило вывода (элементы R) - это некоторые упорядоченные n-ки выражений, где первЫЕ n-1 выражений называются посылками, а последнее --- заключение правила.
 
== Расширим грамматику из предыдущего раздела: ==
 
: В первой и второй строке вместо конъюнкции должна быть дизъюнкция.
<выражение> ::= <конъюнкция>
<конъюнкция> ::= <дизъюнкция> <дизъюнкция> <конъюнкция>
: Я прав? --[[Участник:Rybak|Андрей Рыбак]] 09:56, 14 января 2012 (MSK)
1299
правок

Навигация