Answer
P→Q,P⊨Q
Work Step by Step
Let us assume,
P="Socrate is a men"
q="All men are mortal"
Then we can write the given argument by using the Rule of Modus Ponens
p→q (premise 1)
p (premise 2 of 1)
_____
q (Modus Ponen )
Using universal instantiation and Modus Ponen proved that Socrate is a moral .
Universal Instantiation (UI): This rule allows you to instantiate a universally quantified statement (an "All" statement) by replacing the variable with a specific instance.
