Formal Logic 1.4

Valid Argument

The conclusion must follow logically from the hypotheses.
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

Description

Predicate Logic

Updated

2011-12-08T04:27:56Z