Jesus that was clear as mud. I've had wine. I should come back with clarity.
But logic is logic, and we treated our symbolic logic as solid as maths assuming we agreed on the premises. Our axioms were standard math. A=A. etc. this is from a beginning level, and wiki... I mean, basic...
http://en.wikipedia.org/wiki/First-order_logic
But logic is logic, and we treated our symbolic logic as solid as maths assuming we agreed on the premises. Our axioms were standard math. A=A. etc. this is from a beginning level, and wiki... I mean, basic...
http://en.wikipedia.org/wiki/First-order_logic







.