# Lecture 2: Logic 2 Flashcards

x is a prime number

is an example of

A declarative sentence but NOt a proposition because its truth value varies along with x

“X is a prime number is an instance”

Of a predicate

Predicates express…

Properties of objects (unary predicates: require 1 input) or relations between objects (binary, ternary, etc.)

Predicates are usually denoted with

Uppercase letters, followed by their input labels in brackets

What are the two ways of turning a predicate into a proposition

- Evaluating the predicate, that is, replacing each variable with a constant value
- Quantifying the predicate, that is, asserting that a predicate is true for some, or for all, objects of the universe

Assigning a predicate values turns it into …

A proposition

Example of turning a predicate into a proposition

The alphabet of predicate logic is made of

Predicate logic is an extension of…

Propositional logic, it “contains” propositional logic

Propositions can be thought of as …

The preidates with arity 0

What is the precedence of predicates?

Quantifiers take precedence over all connectives

What is the translation of

“All men are mortal. Socrates is a man. THEREFORE Socrates is mortal”

into propositional logic?

What is the translation of

“All men are mortal. Socrates is a man. THEREFORE Socrates is mortal”

into predicate logic?

What is the translation of

“All men are mortal. Socrates is a man. THEREFORE Socrates is mortal”

into predicate logic? (Using more meaningful names)