# Need some help with matlab syntax for logical equivalence/inference

I've got a maths question that I need to translate into matlab syntax to run through and I'm slightly stuck so hopefully someone here can help since I can't seem to find my answer online.

The equation is as follows: (¬p ∧ q) ∧ (r → p) ∧ (¬r → s) ∧ (s → t) ⇒ t

So far, in matlab I have:

(~p(1) & p(2)) & (p(3) <= p(1)) & (~p(3) <= p(4)) & (p(4) <= p(5))


But I'm not sure how to input the ⇒ t

Can anyone help me with the syntax for the arrow?

Thank you!

<=

• By the way, do you realize why it's "<="? It's because $0,1$ are used to represent $false,true$. – user21820 May 18 '16 at 5:23