logikai következmény

A Wikiszótárból, a nyitott szótárból
Ugrás a navigációhoz Ugrás a kereséshez

Magyar

Kiejtés

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

Főnév

logikai következmény

  1. (matematika) Legyenek és logikai formulák. Azt mondjuk, hogy az formulák logikai következménye a formula, ha minden olyan esetben, amikor az formulák logikai értéke igaz, akkor a formula logikai értéke is igaz. Az formulákat premisszának, a logikai formulát pedig konklúziónak hívjuk. Jelölése: Amennyiben a fenti definicióban , azaz a premisszák halmaza üres, akkor visszakapjuk a tautológia fogalmát és jelölését: .