- #1
yankes2k
- 11
- 0
Hey everyone,
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
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