Home
Random
Log in
Settings
About Azupedia
Disclaimers
Azupedia
Search
(Q13423)
Language
Watch
Statements
subclass of
logical system
0 references
part of
logic
0 references
has quality
principle of excluded middle
0 references
double negative elimination
0 references
law of noncontradiction
0 references
principle of explosion
0 references
monotonicity of entailment
0 references
Idempotency of entailment
0 references
commutativity of conjunction
0 references
Sitelinks
⧼wikibase-sitelinks-mywikigroup⧽
(0 entries)
edit