What's that Language?

123456
Across
  1. 3. dominationlaws
  2. 5. disjunction
  3. 6. negation
Down
  1. 1. tautology
  2. 2. modusponens
  3. 4. associativelaws