Исчисление высказываний, общие определения. Таблицы истинности. Общезначимость — различия между версиями
Phil (обсуждение | вклад) (Новая страница: «==Язык исчисления высказываний== {{Определение |definition= Языком исчисления высказываний мы н...») |
Phil (обсуждение | вклад) (→Язык исчисления высказываний) |
||
| Строка 5: | Строка 5: | ||
Языком исчисления высказываний мы назовем язык <tex>L</tex>, порождаемый следующей грамматикой со стартовым нетерминалом <nowiki><выражение></nowiki>: | Языком исчисления высказываний мы назовем язык <tex>L</tex>, порождаемый следующей грамматикой со стартовым нетерминалом <nowiki><выражение></nowiki>: | ||
* <nowiki><выражение></nowiki> ::= <nowiki><импликация></nowiki> | * <nowiki><выражение></nowiki> ::= <nowiki><импликация></nowiki> | ||
| − | * <nowiki><импликация></nowiki> ::= <nowiki><дизъюнкция></nowiki> | <nowiki><дизъюнкция></nowiki> <tex>\rightarrow</tex> <nowiki><импликация></nowiki> | + | * <nowiki><импликация></nowiki> ::= <nowiki><дизъюнкция></nowiki> <tex>|</tex> <nowiki><дизъюнкция></nowiki> <tex>\rightarrow</tex> <nowiki><импликация></nowiki> |
| − | * <nowiki><дизъюнкция></nowiki> ::= <nowiki><конъюнкция></nowiki> | <nowiki><дизъюнкция></nowiki> <tex>\vee</tex> <nowiki><конъюнкция></nowiki>} | + | * <nowiki><дизъюнкция></nowiki> ::= <nowiki><конъюнкция></nowiki> <tex>|</tex> <nowiki><дизъюнкция></nowiki> <tex>\vee</tex> <nowiki><конъюнкция></nowiki>} |
| − | * <nowiki><конъюнкция></nowiki> ::= <nowiki><терм></nowiki> | <nowiki><конъюнкция></nowiki> <tex>\&</tex> <nowiki><терм></nowiki> | + | * <nowiki><конъюнкция></nowiki> ::= <nowiki><терм></nowiki> <tex>|</tex> <nowiki><конъюнкция></nowiki> <tex>\&</tex> <nowiki><терм></nowiki> |
| − | * <nowiki><терм></nowiki> ::= <nowiki><пропозициональная переменная></nowiki> | (<nowiki><выражение></nowiki>) | <tex>\neg</tex> <nowiki><терм></nowiki> | + | * <nowiki><терм></nowiki> ::= <nowiki><пропозициональная переменная></nowiki> <tex>|</tex> (<nowiki><выражение></nowiki>) <tex>|</tex> <tex>\neg</tex> <nowiki><терм></nowiki> |
}} | }} | ||
Версия 18:51, 12 января 2012
Язык исчисления высказываний
| Определение: |
Языком исчисления высказываний мы назовем язык , порождаемый следующей грамматикой со стартовым нетерминалом <выражение>:
|
