Multiple Choice
Which of the following is an incorrect application of Leibniz's law?
A) inferring Fa ⋁ Fb from Fa ⋁ Fa and a = b
B) inferring (x) (Fx → Fb) from (x) (Fx → Fc) and b = c
C) inferring ($x) (Fx → Fx) from ($x) (Fx → Fy) and x = y
D) inferring (x) Fx → Gb from (x) Fx → Gz and z = b
Correct Answer:
Verified
Correct Answer:
Verified
Related Questions
Q105: The occurrence of the variable "y" in
Q106: "There are at least two people in
Q107: In logicese, (x)~Fx says<br>A) everything is an
Q108: A precisely described and finite procedure for
Q109: Which of the following is a correct
Q110: One can correctly move from (x)[(~x =
Q111: Gx is a statement.
Q112: Which of the following is an instance
Q113: Symbols list<br>You may use the list below
Q115: Logical equivalence is a symmetrical relation.