Mathematical logic

12345678910111213
Across
  1. 2. true conjunction true
  2. 3. R={(1;2) (2;1)}
  3. 6. such a set has no elements
  4. 7. x→y
  5. 10. the subsets in a partitions
  6. 11. İf aRa for every a€A
  7. 12. x^y
  8. 13. R={(1;2) (3;2)}
Down
  1. 1. aRb and bRc then aRc
  2. 4. a compound proposition that is always false
  3. 5. x<->y
  4. 8. is the set containing those elements in both A and B
  5. 9. negation true