Predicate Logic

Question 1

What is predicate logic?

Answer 1

Logic that builds heavily upon the ideas of proposition logic to provide more

Question 2

What do predicate logic consists of?

Answer 2

Predicates + Logical connective + Quantifies

Question 3

What is a predicate?

Answer 3

A statement containing variables that describes a property of a thing or a relationship between things

Question 4

Which is the subject and predicate in the sentence: Aquaman is a movie

Answer 4

Subject: Aquaman
Predicate: is a movie

Question 5

Which is the subject/object and predicate in the sentence: Smith hates Cats

Answer 5

Subject/Object: Smith, Cats
Predicate: hates

Question 6

What is the structure of a predication?

Answer 6

It starts with a predicate followed by a set of arguments

Question 7

Give the predication if the proposition is: Aquaman is a movie

Answer 7

Movie(Aquaman) or M(a)

Question 8

Give the predication if the proposition is: Smith hates Cats

Answer 8

Hates(Smith, Cats) or H(s,c)

Question 9

What are arguments in predicate logic?

Answer 9

The letters or variables in the bracket

Question 10

What are individual variables in predicate logic?

Answer 10

Single letters such as x, y and z in an argument with any value

Question 11

What is a statement in predicate logic?

Answer 11

The predicate and argument together

Question 12

What are individual constants in predicate logic?

Answer 12

Single letters representing specific entities (subject/object) in a predication

Question 13

Individual variables vs Individual constants

Answer 13

Individual variables doesn’t have a constant reference to a specific entity. They can take any value

Question 14

When does a predication become a proporsition?

Answer 14

When the variables are assigned to specific values, resulting true or false

Question 15

What are logical connectives?

Answer 15

Connectives that combine predicates together

Question 16

Examples of logical connectives

Answer 16

if, and, then, not, or, either or, if and only if…

Question 17

Examples of quantifiers

Answer 17

some, no one, any, all, at least

Question 18

What are the 2 types of quantifiers?

Answer 18

Existential and Universal

Question 19

Existential quantifiers

Answer 19

∃ meaning at least one member

Question 20

Universal quantifiers

Answer 20

∀ meaning all members

Question 21

How would you write “There is at least one employee who is a programmer”

Answer 21

∃ e ∈ Emp: Programmer(e)

Question 22

What’s the literal translation for “∃ e ∈ Emp: Programmer(e)”

Answer 22

at least one
employee
is an element/member of
set of employees
such that
employee is a programmer

Question 23

Other ways to write “∃ e ∈ Emp: Programmer(e)”

Answer 23

There exists an employee, “e”, such that “e” is a programmer OR Some employees are a programmer

Question 24

How would you write “Every student is at
least 18 years old”

Answer 24

∀ s ∈ Stud: Age(S)>=18

Question 25

What’s the literal translation for “∀ s ∈ Stud: Age(s)>=18”

Answer 25

Every
student
is an element/member of
the set of students
such that
student is >= 18