Propositional Calculus - Atomic Sentences and Truth Tables
Having a little trouble with propositional calculus.
Basically, Im told this information:
J ^ ( J => M ) ^ ( M => H) => M ^ H
J: I have a job
M: I have money
H: I am happy
And my task is to translate into english.
This is my attempt, however I have been told that its incorrect :( so need a little assistance.
I also have to do a truth table on this, but i'm nearly done with that.
I have a Job. If I have a job then I have money. If I have money then I am happy. Therefore I have money and I am happy.
Thanks in advance for all the help.