Изменения

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

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

Нет изменений в размере, 09:58, 14 января 2012
м
Нет описания правки
: В первой и второй строке вместо конъюнкции должна быть импликация.
:<выражение> ::= <<s>конъюнкция</s>импликация> :<<s>конъюнкция</s>импликация> ::= <дизъюнкция> | <дизъюнкция> -> <<s>конъюнкция</s>импликация>
: Я прав? --[[Участник:Rybak|Андрей Рыбак]] 09:56, 14 января 2012 (MSK)
1302
правки

Навигация