Differences
This shows you the differences between two versions of the page.
Next revision Both sides next revision | |||
sav08:first-order_logic [2008/03/13 12:02] vkuncak created |
sav08:first-order_logic [2008/03/13 12:03] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== First-Order Logic ====== | ====== First-Order Logic ====== | ||
+ | |||
+ | Recall [[Propositional Logic Formally]]. | ||