Principle of bivalence

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf Philosophical principle
Logical principle
gptkbp:appliesTo Classical logic
gptkbp:contrastsWith Intuitionistic logic
Many-valued logic
https://www.w3.org/2000/01/rdf-schema#label Principle of bivalence
gptkbp:notAcceptedIn fuzzy logic
Paraconsistent logic
gptkbp:originatedIn gptkb:Ancient_Greek_philosophy
gptkbp:relatedTo gptkb:Law_of_excluded_middle
Proposition
Truth value
gptkbp:state Every declarative proposition is either true or false
gptkbp:usedIn gptkb:logic
gptkb:Philosophy_of_language
gptkbp:bfsParent gptkb:Classical_Logic
gptkbp:bfsLayer 5