Kaomojis

A→B∴C

#formal logic #inference #modus ponens #syllogism #logical consequence #proof theory #symbolic logic

🅰️→🅱️∴✅

#formal logic #inference #implication #validity #argument structure #modus ponens

🧠P→Q∴✅

#deduction #reasoning #proof #inference #conclusion #syllogism #logical consequence #formal proof #modus ponens