---
tag: KXTP4P3GHT
kind: concept
name: First-degree entailment (FDE)
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section F
    note: adopted
    mention: wikipedia://en/76765067#26V4
    sections: [Summary]
inventory: [12BTK3EH85]
---

## Summary

A logical system that allows for the existence of both true and false atomic propositions but does not require every proposition to be either true or false, rejecting the law of the excluded middle for certain propositions.