Изменения

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

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

141 байт добавлено, 10:09, 14 января 2012
Расширим грамматику из предыдущего раздела:
:<<s>конъюнкция</s>импликация> ::= <дизъюнкция> | <дизъюнкция> -> <<s>конъюнкция</s>импликация>
: Я прав? --[[Участник:Rybak|Андрей Рыбак]] 09:56, 14 января 2012 (MSK)
:: Видимо, да. Сейчас поправлю. --[[Участник:Sementry|Мейнстер Д.]] 10:09, 14 января 2012 (MSK)
689
правок

Навигация