Tárgyszó
---Művelet---
Felkutat
Megoszt
Megjegyzés
---Keresés---
Téma (2)
Tárgyszó
Kulcs:
bizonyítás
Nemdeszkriptor:
bizonyításelmélet
Fölérendeltje:
eljárás
Alárendelt:
automatikus bizonyítás
;
kalkulus
Helyett és:
hittétel bizonyítása
Helyett vagy:
érvelés
Oka:
algoritmus
;
nemteljességi tétel
Okozata:
következtetés
Lásd még:
bizonyítási eljárás
ETO-ban:
168.3
Lukács Károly Városi Könyvtár
TextLib
WWW V2.01.01/1671 - InfoKer