0 Bewertungen0% fanden dieses Dokument nützlich (0 Abstimmungen)
671 Ansichten4 Seiten
The document describes a formal grammar for deriving well-formed formulas in propositional logic using infix notation. It defines a vocabulary of terminal and non-terminal symbols. It then lists production rules for the grammar and provides examples of derivations using the rules to generate logical formulas.
Originalbeschreibung:
Originaltitel
Derivación de fórmulas bien formadas en Lógica Proposicional
The document describes a formal grammar for deriving well-formed formulas in propositional logic using infix notation. It defines a vocabulary of terminal and non-terminal symbols. It then lists production rules for the grammar and provides examples of derivations using the rules to generate logical formulas.
Copyright:
Attribution Non-Commercial (BY-NC)
Verfügbare Formate
Als DOCX, PDF, TXT herunterladen oder online auf Scribd lesen
The document describes a formal grammar for deriving well-formed formulas in propositional logic using infix notation. It defines a vocabulary of terminal and non-terminal symbols. It then lists production rules for the grammar and provides examples of derivations using the rules to generate logical formulas.
Copyright:
Attribution Non-Commercial (BY-NC)
Verfügbare Formate
Als DOCX, PDF, TXT herunterladen oder online auf Scribd lesen