is x+y = z a proposition or predicate or neither,
show if its true or false

is x+y = z a proposition or predicate or neither, show if its true or false
PROLOG: Write a prolog predicate that counts occurrences of 'x', 'y', or 'z' in a list. For example, count([x,[y,[a,2],[a,3]],[a,4]], 2) should return true. I only want to count occurrences of x,y,z not a. the base case is that any [a,int] list will have a count of 0. So any sublist with 'a' does not count. another example of what will return true is: count([x,[a,1],[a,5]], 1) The predicate must have the form count(X,Y) where X is the list structure passed and...
In Prolog, define the isUnion predicate so that isUnion(X,Y,Z) says that the union of X and Y is Z. Do not use the predefined list predicates. Your predicate may choose a fixed order for Z. If you query isUnion([1,2],[3],Z) it should find a binding for Z, but it need not succeed on both isUnion([1],[2],[1,2]) and isUnion([1],[2],[2,1]). Your predicate need not work well when X or Y are unbound variables.
Given that A, B, and C are true and X, Y, and Z are false, determine the truth value of the following statement: ~{~[~(A --> ~Y) & ~(Y --> C)] v ~[~(B --> ~Z) & ~(X v A)]} True False
Given that A, B, and C are true and X, Y, and Z are false, determine the truth value of the following statement: [(A v B) & ~(Y & ~C)] v ~[~(Z --> ~X) v ~B] True False
Given that A, B, and C are true and X, Y, and Z are false, determine the truth value of the following statement: (X & A) & (~B & Y) True False
Given that A, B, and C are true and X, Y, and Z are false, determine the truth value of the following statement: A v (B --> Z) True False
Fill in the blanks with 'True' or 'False' x y z (not (x and y)) or z F F F Blank 1 F F T Blank 2 F T F Blank 3 F T T Blank 4 T F F Blank 5 T F T Blank 6 T T F Blank 7 T T T Blank 8 dolphin < Dog Blank 9
6. Consider the predicates M(x), F(x), and P(x, y) in a domain of people. The predicate M(x) states of a person that he is male, the predicate F(x) states of a person that she is female, the predicate P(z, y) states that x is the parent of y. Write the following queries in the Predicate Logic. (a) Find the people who are mothers (b) Find the people who do not have an uncle.
If A, B, Cand D are TRUE and X, Y, Z andW are FALSE, what is the truth value of the following statements: T 9 "ID v (B Y)1 v [ (D v B) ( v Y) V ~[TVCF)コV [CT). CF)] LTVCE 10. (A E (W Z)) I(C v Y) (A X)1) 11. D v (Wv X)] v [(A v W) v (D X) 12. [(A X) Y] [(X A) (D W) 13. [A X) v (~C ~Z)] [(C W)...
10 [6 pts] True or False. Explain yo ur answer Vz E Z, Vy E Y,Hr X, P(,y, z (a)E X,Vy e Y,Vz E Z, P(x,y, z) (b) V E X,y E Y,Vz e Z, P(æ, y, z) Vz E Z, y E Y, Vax € X, P(æ, y, z)
10 [6 pts] True or False. Explain yo ur answer Vz E Z, Vy E Y,Hr X, P(,y, z (a)E X,Vy e Y,Vz E Z, P(x,y, z) (b) V E...