„Elsőrendű logika” változatai közötti eltérés

a
* A bizonyításelméletből nőtt ki mára önálló tudományággá a „számításelméleti” vagy „számítógépes logika”, melynek fő területe az automatikus tételbizonyítás kutatása. Legfontosabb elmélete a rezolúciós kalkulus. Ezenkívül foglalkozik a logika számításelméleti vonatkozásaival is (kielégíthetőségi problémák [SAT] és megoldhatóságuk kutatása és jellemzése).
 
== Elsőrendű nyelvek ==
== Az elsőrendű nyelv ==
{{Fő|Elsőrendű nyelv}}