Tárgyszó  
 
 
Kulcs: Bizonyítás
Nemdeszkriptor: Bizonyításelmélet
Fölérendeltje: Eljárás
Alárendelt: Automatikus bizonyítás ; Kalkulus
Oka: Algoritmus ; Nemteljességi tétel
Okozata: Következtetés
Lásd még: Bizonyítási eljárás
ETO-ban: 168.3
Megj.: Az a logikai művelet, amely a szükséges és elégséges feltételekből kiindulva kimutatja valaminek igaz voltát
József Attila Megyei és Városi Könyvtár
TextLib WWW V2.01.01/1674 - InfoKer