fadylogji

valsi

fadylogji

type

lujvo

creator

lalxu

time entered

Sat Aug 4 16:09:11 2018  

English

Definition #71024 - Preferred

 

definition

x₁ is classical logic, for deducing/concluding/inferring x₂ (du'u)

notes

Any logic that has the laws of: excluded middle, double negative elimination, noncontradiction, principle of explosion (false implies anything), monotonicity and idempotency of entailment, commutativity of conjunction and DeMorgan's laws.

gloss words

• classical logic
• standard logic

created by

lalxu

vote information

1

time

Sat Aug 4 16:09:11 2018

Examples

---