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