7.5.1. Valid Argument Form for Premises

Try these first

1. 1.

   List three basic logical operators.

   Hint

   Think about operations in logic.

2. 2.

   What is a tautology?

   Hint

   Recall the definition discussed during the explanation.

3. 3.

   Which of the following operators is NOT used in a functionally complete set?

   • Disjunction
   • Negation
   • Equivalence

   Hint

   Recall operators that form the basis of logical operations.

4. 4.

   True or False: A tautology is a statement that can be false under some conditions.

   • True
   • False

   Hint

   Think about the definition of a tautology.

5. 5.

   Formulate a complex proposition with at least four variables and determine if it can be rewritten using only conjunctions and negations.

   Hint

   Refer to your memories of converting implications.

6. 6.

   Given the premises {A, B → C, ¬C}, validate if this leads to A → C or not.

   Hint

   Think of the implications carefully.