egzisztenciális bevezetés következtetési szabály

Kapcsolódó fogalmak: 
elsőrendű logika
Kapcsolódó fogalmak: 
egzisztenciális kvantor
Kapcsolódó fogalmak: 
univerzális kvantor
Kapcsolódó fogalmak: 
egzisztenciális példányosítás következtetési szabály
Rövid szöveges bemutatás: 
A következtetési szabályok alkotására kvantorokat használunk. Két kvantor létezik, az univerzális (MINDEN) és az egzisztenciális kvantor (LÉTEZIK). Például ha Megesz(Janos, Csoki) függvény igaz, akkor állíthatom azt, hogy LÉTEZIK-x amire igaz, hogy Megesz(x, Csoki). A fogalom tehát arra irányul, hogy ismert szabályokat tudok általánosítani az egzisztenciális kvantorral, így hozva létre következtetési szabályt.