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:
eaavendano
ID:
121754
Card Set:
Formal Logic 1.4
Updated:
2011-12-08 04:27:56
Tags:
predicate logic
Folders:

Description:
Predicate Logic
Show Answers: