First-degree entailment (FDE)
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.
Further reading
- Wikipedia, page 76765067, revision 1368301704, Glossary of logic, section F. adopted
About this page
| Tag | KXTP4P3GHT |
|---|---|
| URI | m2://KXTP4P3GHT |
| Kind | concept |
| Writing | W1 stated |
| Changed | 4 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge defines in: at least one definition (0 of 1)
- edge instance_of in: at least two examples (0 of 2)
- edge not_instance_of in: at least one non-example (0 of 1)
- edge specializes both: the more general notions and the special cases (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.