1,597 views
0 votes
0 votes
premises are -

A

A → ( B ∨ C )

B → ¬A

conclusion -

C

 

is valid or not ?

1 Answer

Best answer
2 votes
2 votes

solution Approach:

the premise can be written as

A^[A->(BᐻC)]^[B->~A] => C

so to say its not valid prove That the left hand side can be Assigned a True value and Right hand side as False then the Premises are not valid.

So C=False

A=True

So B can be True or False  in both the cases the right hand side can't be True So the premise is Valid 

selected by

Related questions

3 votes
3 votes
2 answers
1
0 votes
0 votes
2 answers
2
Shivam_j asked Oct 3, 2022
1,147 views
1 votes
1 votes
2 answers
3