LARA

Exercises 04

Review of First-Order Logic Semantics

predicate_logic_informally - especially review of all valid formulas

Correctness of rules for moving quantifiers. Analogy with distributivity of $\land$ wrt. $\lor$ and vice versa.

substitutions_for_first-order_logic

Correctness of one-point rules from the semantics, using substitution lemma.

Correctness for:

$\begin{equation*} sp(P,r) = ran(\Delta_P \circ r) \end{equation*}$

- Login

Trace: • exercises_04

sav09/exercises_04.txt · Last modified: 2015/04/21 17:34 (external edit)