logikai következmény

Magyar

(matematika) Legyenek $F_{1},\ldots ,F_{n}$ és $G$ logikai formulák. Azt mondjuk, hogy az $F_{1},\ldots ,F_{n}$ formulák logikai következménye a $G$ formula, ha minden olyan esetben, amikor az $F_{1},\ldots ,F_{n}$ formulák logikai értéke igaz, akkor a $G$ formula logikai értéke is igaz. Az $F_{1},\ldots ,F_{n}$ formulákat premisszának, a $G$ logikai formulát pedig konklúziónak hívjuk. Jelölése: $F_{1},\ldots ,F_{n}\vDash 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: $\vDash G$ .