97
правок
Изменения
→Язык исчисления высказываний
Языком исчисления высказываний мы назовем язык <tex>L</tex>, порождаемый следующей грамматикой со стартовым нетерминалом <nowiki><выражение></nowiki>:
* <nowiki><выражение></nowiki> ::= <nowiki><импликация></nowiki>
* <nowiki><импликация></nowiki> ::= <nowiki><дизъюнкция></nowiki> <tex> | </tex> <nowiki><дизъюнкция></nowiki> <tex>\rightarrow</tex> <nowiki><импликация></nowiki> * <nowiki><дизъюнкция></nowiki> ::= <nowiki><конъюнкция></nowiki> <tex> | </tex> <nowiki><дизъюнкция></nowiki> <tex>\vee</tex> <nowiki><конъюнкция></nowiki>}* <nowiki><конъюнкция></nowiki> ::= <nowiki><терм></nowiki> <tex> | </tex> <nowiki><конъюнкция></nowiki> <tex>\&</tex> <nowiki><терм></nowiki>* <nowiki><терм></nowiki> ::= <nowiki><пропозициональная переменная></nowiki> <tex> | </tex> (<nowiki><выражение></nowiki>) <tex>| </tex> <tex>\neg</tex> <nowiki><терм></nowiki>}
}}
