És-kiküszöbölés következtetési szabály

Kapcsolódó fogalmak: 
konjunkció
Rövid szöveges bemutatás: 
Ha van egy logikai állításunk, mely egységnyi állításokból tevődik össze, melyek között konjunkció féle reláció áll fenn, akkor bármely egységnyi állítás önmagában véve kikövetkeztethető. Tehát ha van az a logikai állításom, hogy A és B akkor ebből következik A valamint B is egyesével is. Ennek feltétele, hogy a logikai állításnak (tehát például (A és B)-nek) igaznak kell lennie, és egyik egységnyi állítás sem lehet negálva a logikai kifejezésben (tehát nem állhat (A és /B (nem B))).