Introduction to writing proof (predicate)
Favorites|Homepage
Subscriptions | sitemap
HOME > Mathematics > Introduction to writing proof (predicate)

Introduction to writing proof (predicate)

[From: ] [author: ] [Date: 11-05-20] [Hit: ]
......
Symbolize the following sentence, using the indicated letters.

If Beth can't pass the final, no one can.
(b = Beth; f = the final; Pxy = x can pass y; Px = x is a person)

-
~Pbf --> for all x (Px --> ~Pxf)

-
b + f = Pxy
Px = Pxy + f

beth + final = cant pass
A person = cant pass + the final
1
keywords: writing,proof,to,predicate,Introduction,Introduction to writing proof (predicate)
New
Hot
© 2008-2010 http://www.science-mathematics.com . Program by zplan cms. Theme by wukong .