- #1

- 11

- 0

Just need some help on some truth values of a predicate logic interpretation. Here is the info. I will be using A(capital variable) to mean universal quantifier and EEX(capital variable) to mean existential quantifier.

UD: Set of positive integers

Bx: x is an even number

Gxy: x is greater than y.

Exy: x equals y.

Mxyz: x minus y equals z

a: 1

c: 3

a) (AX)(AY)(~Exy<->Gxy)

b) (AX)(Eax v Gxa)

c) (AX)(EEXY)(Gyx & (EEXZ)Mzxy)

d) (EEXX)((Bx & Gxc) & ~(EEXY)mxcy)

One more also...symbolize the following sentences of PL using the key.

UD:Mammals

Cxy: x is chasing y.

Lx: x is a lion

Ax: x is a formidable animal

Fx: x is a ferocius

Tx: x is a tiger

Bx: x is best avoided

b: Bruce willis

d: Danny Devito

1) Danny devito and ferocious lions and tigers are all best avoided.

2)If any tiger is ferocious, all formidable animals that chase danny devito are.

3)Not all things that are chased by lions are ferocious.

I am really having trouble please advise...I will be up until 1am Easter US time...thanks guys for the help.

-TOny