Given the knowledge base below: R1: C^~P => A R2: P^~L => A R3: R^~P R4: R^~L R5: C R6: R Which of the following stateme
Posted: Mon Jul 11, 2022 9:54 am
Given the knowledge base below: R1: C^~P => A R2: P^~L => A R3: R^~P R4: R^~L R5: C R6: R Which of the following statements are false. R7: -P - by and elimination R6 and R3 R8: A - by Modus Ponens R1 and R7 R10: P=>A v ~C - by Implication elimination of R1 and R7 R9: R^~L=>A - By contraposition and Modus Ponens with R2