Skip to main content

Navigation Icons in the header

SoftOption ®

Breadcrumb

Home
Easy Deriver [Hausman Syntax]
Predicate Logic: 15 Tutorials
Try your own derivations
Help with the semantics of free variables

Help with Existential Generalization

Logical System

Existential Generalization (EG)

2/5/08

Existential Generalization

Navigation

Show — Navigation Hide — Navigation

Browse
Search
Site map

Sentential Logic: 13 Tutorials, including 3 on Sentential Truth Trees
Predicate Logic: 15 Tutorials

Copyright SoftOption ® Ltd. (New Zealand). Email: support@SoftOption.Us