Question 1

One can correctly move from ~(x)Gx to ~Gb by UI.

Accepted Answer

A) True 
 B)False

Question 2

From ($x)Fxa → Ga we can validly infer ($y)(($x)Fxy → Gy).

Accepted Answer

A) True 
 B)False

Question 3

Symbols list
You may use the list below to copy-and-paste symbols into your answer as needed. →;↔;•;~;⋁;\;≠;$
Symbolize this statement using the scheme of abbreviation provided: Either nothing matters or everything
matters. (Mx: x matters)

Accepted Answer

(x)~Mx ⋁ (

Question 4

Only the implicational rules of inference from statement logic apply to predicate logic.

Accepted Answer

A) True 
 B)False

Question 5

Symbols list
You may use the list below to copy-and-paste symbols into your answer as needed. →;↔;•;~;⋁;\;≠;$
Symbolize this statement using the scheme of abbreviation provided: Nobody is taller than the Empire
State Building. (Px: x is a person; Txy: x is taller than y; e: Empire State Building)

Accepted Answer

The answer of Symbols list
You may use the list below...

Question 6

Which of the following may be validly inferred from (x)Rx?

Accepted Answer

A)  ~(x)~Rx 
B)  ~($x)~Rx 
C)  ~($x)Rx 
D)  ($x)~Rx 
A)  ~(x)~Rx 
B)  ~($x)~Rx 
C)  ~($x)Rx 
D)  ($x)~Rx

Question 7

Fa • Ga is an instance of ($x)(Fx • Gx).

Accepted Answer

A) True 
 B)False

Question 8

Symbols list
You may use the list below to copy-and-paste symbols into your answer as needed. 
→;↔;•;~;⋁;\;≠;$
Symbolize this statement using the scheme of abbreviation provided: Anyone who studies philosophy
writes well. (Px: x is a person; Sx: x studies philosophy; Wx: x writes well)

Accepted Answer

The answer of Symbols list
You may use the list below...

Question 9

Symbols list
You may use the list below to copy-and-paste symbols into your answer as needed. →;↔;•;~;⋁;\;≠;$
Symbolize this statement using the scheme of abbreviation provided: Every living thing is our relation.
(Lx: x is a living thing; Rx: x is our relation)

Accepted Answer

The answer of Symbols list
You may use the list below...

Question 10

All of the following are well-formed formulas of predicate logic except

Accepted Answer

A)  A. 
B)  Ab. 
C)  A~b. 
D)  ~Ab 
A)  A. 
B)  Ab. 
C)  A~b. 
D)  ~Ab

Question 11

Existential Instantiation and Universal Instantiation are both rules of equivalence.

Accepted Answer

A) True 
 B)False

Question 12

From ($x)(y)Fxy we can validly infer ($x)Fxa, assuming that "a" is not found earlier in the proof.

Accepted Answer

A) True 
 B)False

Question 13

The identity rule says that each thing is identical with itself.

Accepted Answer

A) True 
 B)False

Question 14

Which of the following cannot be validly inferred from Ba ⋁ Bb?

Accepted Answer

A)  ($x)Bx ⋁ Bb B. ($x)(Bx ⋁ Bb) 
C)  ~~(Ba ⋁ Bb) 
D)  ($y)(Ba ⋁ By) 
A)  ($x)Bx ⋁ Bb B. ($x)(Bx ⋁ Bb) 
C)  ~~(Ba ⋁ Bb) 
D)  ($y)(Ba ⋁ By)

Question 15

Symbols list
You may use the list below to copy-and-paste symbols into your answer as needed.
→;↔;•;~;⋁;\;≠;$
Symbolize the following, using the scheme of abbreviation provided: The (i.e., the one and only) golden
unicorn has a silver horn. (Gx: x is a golden unicorn; Sx: x has a silver horn)

Accepted Answer

($x)[(Gx •

Question 16

In applying EI, we instantiate to an individual constant.

Accepted Answer

A) True 
 B)False

Question 17

The implicational rule of inference that permits us to derive a specific instance from a universal statement is

Accepted Answer

A)  Existential Generalization. 
B)  Existential Instantiation. 
C)  Universal Generalization. 
D)  Universal Instantiation. 
A)  Existential Generalization. 
B)  Existential Instantiation. 
C)  Universal Generalization. 
D)  Universal Instantiation.

Question 18

The correct symbolization of "Steve is not Aquaman" is s ¹ a (s: Steve; a: Aquaman).

Accepted Answer

A) True 
 B)False

Question 19

One can correctly move from ($x)Cx to Cb by EI.

Accepted Answer

A) True 
 B)False

Question 20

(x)(Fx → ($y)~Fy) may be validly inferred from (x)(Fx → ~(y)Fy).

Accepted Answer

A) True 
 B)False

One can correctly move from ~(x)Gx to ~Gb by UI.

From ($x)Fxa → Ga we can validly infer ($y)(($x)Fxy → Gy).

Symbols list You may use the list below to copy-and-paste symbols into your answer as needed. →;↔;•;~;⋁;\;≠;$ Symbolize this statement using the scheme of abbreviation provided: Either nothing matters or everything matters. (Mx: x matters)

Only the implicational rules of inference from statement logic apply to predicate logic.

Which of the following may be validly inferred from (x)Rx?

Fa • Ga is an instance of ($x)(Fx • Gx).

Symbols list You may use the list below to copy-and-paste symbols into your answer as needed. →;↔;•;~;⋁;\;≠;$ Symbolize this statement using the scheme of abbreviation provided: Anyone who studies philosophy writes well. (Px: x is a person; Sx: x studies philosophy; Wx: x writes well)

Symbols list You may use the list below to copy-and-paste symbols into your answer as needed. →;↔;•;~;⋁;\;≠;$ Symbolize this statement using the scheme of abbreviation provided: Every living thing is our relation. (Lx: x is a living thing; Rx: x is our relation)

All of the following are well-formed formulas of predicate logic except

Existential Instantiation and Universal Instantiation are both rules of equivalence.

From ($x)(y)Fxy we can validly infer ($x)Fxa, assuming that "a" is not found earlier in the proof.

The identity rule says that each thing is identical with itself.

Which of the following cannot be validly inferred from Ba ⋁ Bb?

In applying EI, we instantiate to an individual constant.

The implicational rule of inference that permits us to derive a specific instance from a universal statement is

The correct symbolization of "Steve is not Aquaman" is s ¹ a (s: Steve; a: Aquaman).

One can correctly move from ($x)Cx to Cb by EI.

(x)(Fx → ($y)~Fy) may be validly inferred from (x)(Fx → ~(y)Fy).

Basic Concepts

Identifying Arguments

Logic and Language

Informal Fallacies

Categorical Logic: Statements

Categorical Logic: Syllogisms

Statement Logic: Truth Tables

Statement Logic: Proofs

Inductive Logic

Filters

Exam 9: Predicate Logic

One can correctly move from ~(x)Gx to ~Gb by UI.

From ($x)Fxa → Ga we can validly infer ($y)(($x)Fxy → Gy).

Symbols list You may use the list below to copy-and-paste symbols into your answer as needed. →;↔;•;~;⋁;\;≠;$ Symbolize this statement using the scheme of abbreviation provided: Either nothing matters or everything matters. (Mx: x matters)

Only the implicational rules of inference from statement logic apply to predicate logic.

Which of the following may be validly inferred from (x)Rx?

Fa • Ga is an instance of ($x)(Fx • Gx).

Symbols list You may use the list below to copy-and-paste symbols into your answer as needed. →;↔;•;~;⋁;\;≠;$ Symbolize this statement using the scheme of abbreviation provided: Anyone who studies philosophy writes well. (Px: x is a person; Sx: x studies philosophy; Wx: x writes well)

Symbols list You may use the list below to copy-and-paste symbols into your answer as needed. →;↔;•;~;⋁;\;≠;$ Symbolize this statement using the scheme of abbreviation provided: Every living thing is our relation. (Lx: x is a living thing; Rx: x is our relation)

All of the following are well-formed formulas of predicate logic except

Existential Instantiation and Universal Instantiation are both rules of equivalence.

From ($x)(y)Fxy we can validly infer ($x)Fxa, assuming that "a" is not found earlier in the proof.

The identity rule says that each thing is identical with itself.

Which of the following cannot be validly inferred from Ba ⋁ Bb?

In applying EI, we instantiate to an individual constant.

The implicational rule of inference that permits us to derive a specific instance from a universal statement is

The correct symbolization of "Steve is not Aquaman" is s ¹ a (s: Steve; a: Aquaman).

One can correctly move from ($x)Cx to Cb by EI.

(x)(Fx → ($y)~Fy) may be validly inferred from (x)(Fx → ~(y)Fy).

Basic Concepts

Identifying Arguments

Logic and Language

Informal Fallacies

Categorical Logic: Statements

Categorical Logic: Syllogisms

Statement Logic: Truth Tables

Statement Logic: Proofs

Inductive Logic

Filters