ontkenning bij verstek

Betekenis ontkenning bij verstek

De betekenis van ontkenning bij verstek is: "een metaregel die een evaluatiemechanisme voor een ontkenning definieert; als men in een eindig aantal stappen de bewering P niet kan bewijzen, neem dan aan dat niet-P bewezen is
".

Defenitie ontkenning bij verstek

De definitie van ontkenning bij verstek is: "een metaregel die een evaluatiemechanisme voor een ontkenning definieert; als men in een eindig aantal stappen de bewering P niet kan bewijzen, neem dan aan dat niet-P bewezen is
".