Status: Tags: Links: Predicates and Quantifiers
Quantified Predicates Logical Equivalence
Proving
- Proving 4 is logically equivalent
- Formally explain, since x and y come from the same universe and P(x,y) is true for all values of x,y swapping order wouldn’t matter
Disproving
- Find a predicate and a universe where the two statements do not have the same truth values
Backlinks
|
|
References:
Created:: 2021-10-19 13:17