Discrete Math An argument is valid if and only if The argume

(Discrete Math)

An argument is valid if and only if The argument with premises p and p Rightarrow q and conclusion q is called If premises q and p rightarrow q are given and someone concludes p is called A corollary is Use the rules of inference to prove p s, given the following premises. Write your solution as a numbered sequence of statements. Identify each statement as either a premise, or a conclusion that follows according to a rule of inference from previous statements. In that case, state the rule of inference and refer by number to the previous statements that the rule of inference used. s q r q Rightarrow p

Solution

1. a)the truth of its premises entails the truth of its conclusion and each step, sub-argument, or logical operation in the argument is valid

b)modus ponens

c)consequent

d)a statement that follows readily from a previous statement.