first order logic related issues & queries in MathXchanger

Proving A $\implies$ B or A $\implies$ C

logic proof-theory
Updated January 16, 2019 02:20 AM

Validity of an argument in modal logic

logic modal-logic
Updated January 13, 2019 21:20 PM

is \iff the same as \equiv? When to use which?

Updated January 12, 2019 03:20 AM

Showing Page 1 of 0