Logic Vocabulary

123456
Across
  1. 4. “p if and only if q,” denoted p⇔q, is true when both p and q carry the same truth value and is false otherwise.
  2. 5. The opposite of the given mathematical statement
  3. 6. A sentence or expression that is either true or false
Down
  1. 1. A compound statement is formed by joining two statements with the connector OR
  2. 2. The proposition "p implies q" denoted by p → q is called implication.
  3. 3. A statement, which can be formed by adding two statements with the help of connector AND