Consider the following statements:
Which of the following is correct with respect to above statements?
A |=B If and only if the sentence A=>B is valid
False |=True::: False => True , always true
if A|=(B and Y) then A|=Y::: (A=>(B and Y)) => (A=>Y) by constructing truth table you will find out that it is tautology, always true
Answer should be D
https://www.ics.uci.edu/~welling/teaching/271fall09/HW6_sol.pdf
Both statements are true so correct answer is (4).
64.3k questions
77.9k answers
244k comments
80.0k users