Propositional logic deals with statements (i.e., propositions, which can be true or false) and relations between propositions, including the construction of arguments based on them.
| Framework | MITRE D3FEND |
| Ontology URI | d3f:PropositionalLogic |
| Local Identifier | PropositionalLogic |
| Publication Status | Exists in ontology only |