Logikai következmény

1. Sablon:Humatek Legyenek $F_1,\dots ,F_n$ és $G$ logikai formulák. Azt mondjuk, hogy az $F_1,\dots ,F_n$ formulák logikai következménye a $G$ formula, ha minden olyan esetben, amikor az $F_1,\dots ,F_n$ formulák logikai értéke igaz, akkor a $G$ formula logikai értéke is igaz. Az $F_1,\dots ,F_n$ formulákat premisszának, a $G$ logikai formulát pedig konklúziónak hívjuk. Jelölése: $F_1,\dots ,F_n\models G$ Amennyiben a fenti definicióban $n=0$, azaz a premisszák halmaza üres, akkor visszakapjuk a tautológia fogalmát és jelölését: $\models G$.

• Sablon:En: Sablon:T