0 votes 0 votes Mathematical Logic propositional-logic discrete-mathematics + – Na462 asked Dec 19, 2018 Na462 400 views answer comment Share Follow See all 4 Comments See all 4 4 Comments reply Na462 commented Dec 19, 2018 reply Follow Share Please solve it using only resolution Principle 0 votes 0 votes Abhisek Tiwari 4 commented Dec 19, 2018 reply Follow Share from first 4 pl we can conclude R but 5th -R amg Premises 0 votes 0 votes Na462 commented Dec 19, 2018 reply Follow Share I am not getting what are u writing brother See my approach: Using 1st and 3rd I will get only R. Using 2nd and 4th I am getting R again now It's remaining :- R R R' After solving I get only R. So is it contingency then ? 0 votes 0 votes Abhisek Tiwari 4 commented Dec 19, 2018 reply Follow Share exactly, i m getting the same R R' but both can't true at same time.So even all premises are true so no resolution. 0 votes 0 votes Please log in or register to add a comment.