209k views
4 votes
Can you please help me translate the argument into symbolic form?

Can you please help me translate the argument into symbolic form?-example-1
User Liysd
by
6.7k points

1 Answer

4 votes

Let p be: John goes to the beach

Let q be: He will go surfing.

Then in symbolic form, the argument becomes:


\begin{gathered} p\Rightarrow q \\ p \\ ----------- \\ \therefore q \end{gathered}

p ⇒ q

p

---------------------

∴ q

An argument is valid if the conjuction of the premises implies the conclusion.

p | q | p ⇒ q | (p ⇒ q) ∧ p | [(p ⇒ q) ∧ p] ⇒ q

---------------------------------------------------------------------\

F | F | T | F | T

F | T | T | F | T

T | F | F | F | T

T | T | T | T | T

The table above shows that the argument is a tautology.

Hence, the argument is valid

User Aretha
by
6.8k points
Welcome to QAmmunity.org, where you can ask questions and receive answers from other members of our community.