LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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$ \\