Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:interpolation_for_propositional_logic [2008/03/11 16:18] vkuncak |
sav08:interpolation_for_propositional_logic [2008/03/17 20:24] piskac |
||
---|---|---|---|
Line 2: | Line 2: | ||
**Definition of Interpolant:** | **Definition of Interpolant:** | ||
- | Given two propositional formulas $F$ and $G$, an interpolant for $(F,G)$ is a propositional formula $H$ such that: \\ | + | Given two propositional formulas $F$ and $G$, such that $\models F \rightarrow G$, an interpolant for $(F,G)$ is a propositional formula $H$ such that: \\ |
1) $\models F \rightarrow H$ \\ | 1) $\models F \rightarrow H$ \\ | ||
2) $\models H \rightarrow G$ \\ | 2) $\models H \rightarrow G$ \\ |