predicate logic related issues & queries in MathXchanger








Set Theory Logic Complement

logic
Updated May 25, 2019 14:20 PM



The principle of extreme

logic
Updated May 24, 2019 14:20 PM




How to find an equivalence relation?

logic relations
Updated May 24, 2019 00:20 AM





For every x and y, x/y = y/x?

predicate-logic
Updated May 22, 2019 20:20 PM



Show that $\sigma$ is Deductively closed

logic
Updated May 22, 2019 10:20 AM

Does this say that G is a theorem of F?

logic
Updated May 21, 2019 23:20 PM



Showing Page 1 of 0