2. Write expressions for the following in Predicate Logic and then determine if the inference is valid. If it is, you must indicate the rules used. If it is invalid you must indicate why. Use only the following predicates: Math(r): "r has taken a math course, York(r): "r is enrolled in York". Everyone enrolled in York has taken a math course. John has never taken a Math course. So John is not enrolled in York.

2. Write expressions for the following in Predicate Logic and then determine if the inference is valid. If it is, you must indicate the rules used. If it is invalid you must indicate why. Use only the following predicates: Math(r): "r has taken a math course, York(r): "r is enrolled in York". Everyone enrolled in York has taken a math course. John has never taken a Math course. So John is not enrolled in York.

Elementary Geometry For College Students, 7e

7th Edition

ISBN:9781337614085

Author:Alexander, Daniel C.; Koeberlein, Geralyn M.

Publisher:Alexander, Daniel C.; Koeberlein, Geralyn M.

ChapterP: Preliminary Concepts

SectionP.CT: Test

Problem 16CT: Let P represent any statement. Classify as true or false. a P and P b P or P

See similar textbooks