Description
First-order logic is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects, and allows the use of sentences that contain variables.
Technical Details
| Framework | MITRE D3FEND |
| Ontology URI | d3f:First-orderLogic |
| Local Identifier | First-orderLogic |
| Publication Status | Exists in ontology only |
Relationships
Parent Tactics
- Model Model