Kaomojis
🧐📝⊢✅
Copy
#formal logic
#proof
#deduction
#reasoning
#theorem proving
#conclusion
#inference rules
#turnstile
#validity
#soundness
📜{∀∃}⊢✅
Copy
#proof theory
#axiomatic system
#deduction
#inference rules
#theorems
#formal proof
#syntax
#logical consequence
#first-order axioms
#formal logic #proof #deduction #reasoning #theorem proving #conclusion #inference rules #turnstile #validity #soundness