algorithm, validity, predicate logic (pdf format)

The document presents an algorithm for evaluating the validity of arguments in singly-quantified monadic predicate logic, using symbolic logic and truth tables. It demonstrates the process through an example argument regarding rational and irrational beings, outlining steps to follow in determining validity. The discussion includes constructing premises, deleting certain truth table rows based on quantified premises and conclusions, and applying rules to assess the argument's validity.