Home > College Algebra calculators > Mathematical Logic, truth tables, logical equivalence calculator

Solve any problem
(step by step solutions)
Input table (Matrix, Statistics)
Mode :
SolutionHelp
Solution
Find logical validity Hypothesis = p=>q;p and Conclusion = q

Solution:
Your problem `->` logical validity Hypothesis = p=>q;p and Conclusion = q


Hypothesis :
`S_1:p=>q`

`S_2:p`

Conclusion :
`S : q`


`(1)``(2)``(3)=(1)=>(2)``(4)`
`S_2`
`p`
`q``S_1`
`p=>q`
`S`
`q`
TT T `T=T=>T`critical row T `T=T`
TF F `F=T=>F` F `F=F`
FT T `T=F=>T` T `T=T`
FF T `T=F=>F` F `F=F`


The conclusion `(S)` is true in all critical rows. So the argument is logically valid.






Solution provided by AtoZmath.com
Any wrong solution, solution improvement, feedback then Submit Here
Want to know about AtoZmath.com and me
  
 

Share with your friends
 
Copyright © 2018. All rights reserved. Terms, Privacy