Translate the following argument into symbolic form

$\begingroup$

Translate the following argument into symbolic form. State clearly what each of the propositions are

I walk and I cycle and I run. If I do not stay at home I cycle or I run. I do not cycle therefore I stay at home.

naming the simple propositions

p: I walk q: I cycle r: I run s: I stay at home

I have tried my hands quite a few times but its not working out . hopefully someone can help

$\endgroup$ 1

2 Answers

$\begingroup$

Hints:

Symbol for and

$\land$

Symbol for or

$\lor$

Symbol for not/negation

$\neg$

Symbol for If A then B/ A implies B /A therefore B

$A \implies B$

Symbol for therefore

$\therefore$

You may use implies in place of therefore if you wish.

$\endgroup$ 1 $\begingroup$

I hope this helps. Perhaps there's a different style you're supposed to use.

$\endgroup$ 0