SOLUTION: p->negation q , q disjunction r , negation s , negation r is a valid inference

Question 1086495: p->negation q , q disjunction r , negation s , negation r is a valid inference

Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

1.  p->~q
2.  qvr
3.  ~s        /~r

It is not valid because: 

p->~q / qvr / ~s // ~r
F->FT   TvT   FT    FT   <--a case where the premises are 
                            all true and the conclusion false 

Edwin

RELATED QUESTIONS
Use the 17 rules of inference to prove the arguments valid: I did not have the right... (answered by solver91311)

Construct a Truth Table for ~(𝑷𝜦~𝑸) : The Negation of the Conjunction of P and... (answered by Edwin McCravy)

Determine if the two statements are logically equivalent, negations, or neither. (p... (answered by jim_thompson5910)

I need to solve using Transportation, Material Implication, Material Equivalence,... (answered by jim_thompson5910)

I need to construct a proof using all of the rules: (ex. commutation, association,... (answered by jim_thompson5910)

I cannot solve this: I can use: Transportation, Material Implication, Material... (answered by jim_thompson5910)

URGENT: P. R->~Q. P->Q therefore ~R I need to write out a proof for the following... (answered by Edwin McCravy)

I can use: Transportation, Material Implication, Material Equivalence, Exportation,... (answered by jim_thompson5910)

I cannot solve this: I can use: Transportation, Material Implication, Material... (answered by jim_thompson5910)