Formal Logic 1.4

Home > Preview

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.

Card Set Information

Author:
eaavendano
ID:
121754
Filename:
Formal Logic 1.4
Updated:
2011-12-08 04:27:56
Tags:
predicate logic
Folders:

Description:
Predicate Logic
Show Answers:

What would you like to do?

Home > Flashcards > Print Preview