logikai következmény

Magyar

Kiejtés

• IPA: [ ˈloɡikɒjikøvɛtkɛzmeːɲ]

Főnév

logikai következmény

1. (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$.

• angol: logical consequence (en)