Question

In: Computer Science

Consider the following predicates: HUMAN(x) – x is a human being AFRICANAMERICAN(x) – x is an...

  1. Consider the following predicates:

HUMAN(x) – x is a human being

AFRICANAMERICAN(x) – x is an African-American

STUDENT(x) – x is a UMW student

LIKES(p,h) – person p likes hobby h

COURSE(c) - c is a UMW course

REQUIRED(c,s) – c is a required course for student s

NFLTEAM(x) – x is an NFL team

SUPERBOWL(a, n, y) – teams a and n played in the Superbowl in year y

SUPERBOWLWIN(a, y) – team a won the Superbowl in year y

WEARING(p,i) – person p is wearing item i

HIDING(p, f) – person p is concealing fact f from the population at large

DAYFEELSLIKE(d, t) – on day d, I feel like doing activity t

PRESIDENT(x) – x is, or was, President of the United States

Write expressions in predicate logic for each of the following sentences using only the predicates listed above.

  1. “There is a course at UMW that every student must take.”
  2. “Not every NFL team has made it to the Superbowl.”
  3. “Some people like skateboarding and knitting.”
  4. “If you wear sunglasses, you’re hiding something.”
  5. “Some days, I feel like singing – and on those days, I never feel like crying.”
  6. “Barack Obama is the only African-American president in U.S. history.”
  7. “There has never been an NFL team that has won the Superbowl 4 years in a row

Solutions

Expert Solution

Please don't post so many questions at once. We have been instructed to solve only one question or 4 sub questions. If you are satisfied with answer, please? upvote and if you have any questions comment down


Related Solutions

Define the following predicates: Real( x)   =   “x is a real number”. Pos(x) =   “x is...
Define the following predicates: Real( x)   =   “x is a real number”. Pos(x) =   “x is a positive real number.” Neg(x) =   “x is a negative real number.” Int(x) =   “x is an integer.” Rewrite the following statements without using quantifiers. Determine which statements are true or false and justify your answer as best you can. a) Pos(0) b) ∀x, Real(x) ∧ Neg(x) → Pos(−x) c) ∀x, Int(x) → Real(x) d) ∃x such that Real(x) ∧∼ Int(x)
Use quantifiers, predicates, and relations (i.e., predicates with more than one variable) to symbolize the statements....
Use quantifiers, predicates, and relations (i.e., predicates with more than one variable) to symbolize the statements. Let the domain of discourse be all students in this class. Let R ( x, y ) = x reads y, P ( x, y ) = x plays y, V ( x, y ) = x visited y, L ( x, y ) = x learned foreign language y, T ( x, y ) = x has taken y, C ( x, y...
Unify (if possible) the following pairs of predicates and give the resulting substitutions, assume b is...
Unify (if possible) the following pairs of predicates and give the resulting substitutions, assume b is a constant. a. P(x, f(x), z) ¬ P(g(y),f(g(b)),y) b. P(x, f(x)) ¬ P(f(y), y) c. P(x, f(z)) ¬ P(f(y), y)
Define predicates and prove the following using the appropriate rules of inference: All action movies are...
Define predicates and prove the following using the appropriate rules of inference: All action movies are popular. There is an action movie filmed in Iowa. Therefore, some popular movie was filmed in Iowa.
def is_one_player_game(game_type)-> bool: """The parameter represents the type of game being played: human, human-human, or human-computer....
def is_one_player_game(game_type)-> bool: """The parameter represents the type of game being played: human, human-human, or human-computer. The function should return True if and only if this is a one-player game.    """
Recall every aspect of human development that are pertinent to you as a human being. Go...
Recall every aspect of human development that are pertinent to you as a human being. Go all out to gather information about yourself i.e. your family of origin – where did they come from etc. Talk about your birth, your childhood life, school life, adolescence, adulthood and current life situation. By doing so, you will not only analyze the details about yourself but also of others that are significant in your life such as your parents, siblings, grandparents, peers, spouse...
Can you please write this in python thank you. Consider 'x' being a number chosen by...
Can you please write this in python thank you. Consider 'x' being a number chosen by a user. Using python conditional statements, write a code that: prints "x is a multiple of 3 and 5" if x is dividable by both numbers 3 and 5 prints "x is a multiple of 7 or 11" if x is dividable be either numbers 7 or 11.
Compare and contrast hypothetical lipid composition in cells of the following organisms: •Antarctic fish •Human being...
Compare and contrast hypothetical lipid composition in cells of the following organisms: •Antarctic fish •Human being •Thermophilicbacterium in 100C hot springs •Tropical plant •Consider cholesterol content, degree of fatty acid saturation, and length of acyl chains
Consider the following. f(x) = x(x2 - 10x + 30) g(x) = x2
Consider the following. f(x) = x(x2 - 10x + 30) g(x) = x2 (a) Use a graphing utility to graph the region bounded by the graphs of the functions.(b) ) Find the area of the region analytically (c) Use the integration capabilities of the graphing utility to verify your results. 
Consider the following rational function: f(x) = 18 (x-1)/(x^2 - 9) Which of the following are...
Consider the following rational function: f(x) = 18 (x-1)/(x^2 - 9) Which of the following are true? A. The function touches but does not cross the horizontal axis at: x= 1. B. When x is very large and positive, the value of the f(x) approaches to zero. C. The function cuddles up to the vertical lines which pass through x = - 3 and x =3. D. The function cuts the horizontal axis at x = 3 and x =...
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT