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?

logic
Updated January 12, 2019 03:20 AM






Showing Page 1 of 0