This commit is contained in:
Relintai 2018-01-02 23:06:06 +01:00
parent cfe1084d85
commit 51298fc3ca

View File

@ -99,7 +99,7 @@ Legyenek $F, F_1, ... , F_n$ tetszőleges formulák, ekkor a következő állít
\begin{frame}
\begin{block}{Lemma: Helyettesítési Lemma}
Legyenek $F, G, H$ formulák úgy, hogy $F \equiv G$ és $F$ a $G$ részformulája.\\
Legyenek $F, G, H$ formulák úgy, hogy $F \equiv G$ és $F$ a $H$ részformulája.\\
Ha $H[F/G]$ azt a formulát jelöli, amelyben $F$ valamely előfordulását helyettesítettük $G$-vel, akkor
$$H \equiv H[F/G]$$