Formal Logic 1.4

The flashcards below were created by user eaavendano on FreezingBlue Flashcards.

  1. Valid Argument
    The conclusion must follow logically from the hypotheses.
  2. Predicate Logic
    A formal logic system in which a proof sequence leads from hypotheses to conclusion.
Author
ID
121754
Card Set
Formal Logic 1.4
Description
Predicate Logic
Updated
Show Answers