Skip to main content

1)Consider the following strings in Cstring (for variable symbols x,y,a unary predicate symbol P and

By March 4, 2022No Comments

1)Consider the following strings in Cstring (for variable symbols x,y,a unary predicate symbol P anda binary predicate symbol Q):-Py→→VxPxQxy;→-Py→VxPxQxyFor each of the above strings,determine,with justification,whether or not it is a formula in C.

题目答案请扫描下方二维码查看。

deleted-XciBPmZ3

Author deleted-XciBPmZ3

More posts by deleted-XciBPmZ3

Leave a Reply