következtetés szempontjából ekvivalens

Kapcsolódó fogalmak: 
elsőrendű logika
Rövid szöveges bemutatás: 
Ha adott két elsőrendű logikai állítás, akkor ezek állnak valamilyen kapcsolatban. Még akkor is ha ez egy olyan kapcsolat, hogy a két állításnak semmi köze egymáshoz. Azonban lehet ettől hasznosabb kapcsolatokat is definiálni, ilyen a következtetés szempontjából ekvivalens kapcsolat. Akkor van ilyen kapcsolat ha az állítás pontosan akkor kielégíthető, hogyha a másik állítás is. Ez kapcsolat általában az általánosítás és a szűkítés esetén áll fenn, például adott a (Létezik x, hogy Megvesz(x, Tej)) a másik állítás pedig, hogy Megvesz(Tamás, Tej), akkor a második állítás akkor kielégíthető (igaz), amikor a első állítás is.