LLexicon Workbenchv2.1
NounverifiedMWEverified
home/glossary/Logical Proof

Logical Proof

nounid 84322·updated May 18, 2026
verified
GlossaryL1 — whatDictionaryL2 — how usedThesaurusL3 — relationsUniversaleverything

proof of a logical theorem

MWE

Classifications

per-axis with provenance

Entity Type

Unknown—authoritativeglossary_import_default_pending_classifier

Sensitivity

unclassified

Information Class

unclassified

Variants

5 surface forms
plural
Logical ProofsLogical Prooves
possessive
Logical Proof's
pluralpossessive
Logical Proofs'Logical Prooves'

Framework definitions

1 sense across 1 framework
Wordset Dictionary1 senseview framework →
§1
proof of a logical theorem

Outgoing relationships

term as subject — 0 triples
No outgoing triples
This term is not the subject of any RDF-style relationship yet.

Incoming relationships

term as object — 0 triples
No incoming triples
No other term currently asserts a relationship to this one.
snapshot nexus-lexicon@liveschema v0.3.3-draftfetched Jul 15, 2026, 05:47 PM