The assignment is asking me to prove that Q meets condition O4. for order-adequacy. I feel like this should be fairly simple but I've been staring at it for a while now and can't seem to crack it. Help?
Please check out the linked image:
http://i759.photobucket.com/albums/xx236/M_Strauss/logic_zps2ac0b105.jpg
(I apologize if this was the wrong sub-forum to post in, I didn't know where symbolic logic would go)
Please check out the linked image:
http://i759.photobucket.com/albums/xx236/M_Strauss/logic_zps2ac0b105.jpg
(I apologize if this was the wrong sub-forum to post in, I didn't know where symbolic logic would go)