Main Idea
Analyzing Relations
R is a binary relation over A that is not antisymmetric
A Useful Equivalence
  • -(p ^ q) == p -> -q
  • -(p->q) == p^-q
    • Uniqueness
    Represented by E! (the E is backwards though)
  • Example: E!x. P(x)
    • Satisfiability
    There is some assignment to its variables that makes it evaluate to true.
       Login to remove ads X
    Feedback | How-To