Define the following predicates: • A(x) : x is on the board of directors." E(x) : x earns more than $100, 000. • W(x) : x works more than 60 hours per week. The domain is the set of all employees of a certain company. Match each English statement with its equivalent logical expression. ? 1. Everyone who works more than 60 hours per week earns more than $100,000. A. Ex(E(x) ^ ¬W(x)) B. Vx(W(x) → E(x)) C. Ex(¬A(x) → E(x)) D. Vx(W(x) ^ E(x)) E. 3x(¬A(x) ^ E(x)) F. 3x(A(x) A ¬E(x)^ W(x)) G. 3x(A(x) V ¬E(x) V W(x)) H. Vx(A(x) → E(x)) I. Vx(A(x) A E(x)) 2. Someone on the board of directors does not earn more that $100,000 and works more than 60 hours per week. ? v 3. Every member of the board of directors earns more than $100,000. 2. v 4. There is someone who is not on the board of directors and earns more than $100,000. 5. There is someone who earns more than $100,000, but does not work more than 60 hours per week.

Database System Concepts
7th Edition
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Chapter1: Introduction
Section: Chapter Questions
Problem 1PE
icon
Related questions
Question
Define the following predicates:
• A(x) : x is on the board of directors."
• E(x) : x earns more than $100, 000.
• W(x) : x works more than 60 hours per week.
The domain is the set of all employees of a certain company. Match each English statement with its equivalent logical expression.
? v 1. Everyone who works more than 60 hours per week earns more than $100,000.
A. 3x(E(x) ^ ¬W(x))
B. Vx(W(x) → E(x))
C. Ex(¬A(x) → E(x))
D. Vx(W(x) ^ E(x))
E. 3x(¬A(x) ^ E(x))
F. 3x(A(x) ^ ¬E(x)^ W(x))
G. Ex(A(x) V ¬E(x) V W(x))
H. Vx(A(x) → E(x))
I. Vx(A(x) ^ E(x))
2 v 2. Someone on the board of directors does not earn more that $100.000 and works more than 60 hours per week.
? v 3. Every member of the board of directors earns more than $100,000.
2. v 4. There is someone who is not on the board of directors and earns more than $100,000.
? v 5. There is someone who earns more than $100,000, but does not work more than 60 hours per week.
Transcribed Image Text:Define the following predicates: • A(x) : x is on the board of directors." • E(x) : x earns more than $100, 000. • W(x) : x works more than 60 hours per week. The domain is the set of all employees of a certain company. Match each English statement with its equivalent logical expression. ? v 1. Everyone who works more than 60 hours per week earns more than $100,000. A. 3x(E(x) ^ ¬W(x)) B. Vx(W(x) → E(x)) C. Ex(¬A(x) → E(x)) D. Vx(W(x) ^ E(x)) E. 3x(¬A(x) ^ E(x)) F. 3x(A(x) ^ ¬E(x)^ W(x)) G. Ex(A(x) V ¬E(x) V W(x)) H. Vx(A(x) → E(x)) I. Vx(A(x) ^ E(x)) 2 v 2. Someone on the board of directors does not earn more that $100.000 and works more than 60 hours per week. ? v 3. Every member of the board of directors earns more than $100,000. 2. v 4. There is someone who is not on the board of directors and earns more than $100,000. ? v 5. There is someone who earns more than $100,000, but does not work more than 60 hours per week.
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps with 1 images

Blurred answer
Knowledge Booster
Predicate
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
Database System Concepts
Database System Concepts
Computer Science
ISBN:
9780078022159
Author:
Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:
McGraw-Hill Education
Starting Out with Python (4th Edition)
Starting Out with Python (4th Edition)
Computer Science
ISBN:
9780134444321
Author:
Tony Gaddis
Publisher:
PEARSON
Digital Fundamentals (11th Edition)
Digital Fundamentals (11th Edition)
Computer Science
ISBN:
9780132737968
Author:
Thomas L. Floyd
Publisher:
PEARSON
C How to Program (8th Edition)
C How to Program (8th Edition)
Computer Science
ISBN:
9780133976892
Author:
Paul J. Deitel, Harvey Deitel
Publisher:
PEARSON
Database Systems: Design, Implementation, & Manag…
Database Systems: Design, Implementation, & Manag…
Computer Science
ISBN:
9781337627900
Author:
Carlos Coronel, Steven Morris
Publisher:
Cengage Learning
Programmable Logic Controllers
Programmable Logic Controllers
Computer Science
ISBN:
9780073373843
Author:
Frank D. Petruzella
Publisher:
McGraw-Hill Education