Metadata
Author: Literature
Data
English[en]
We saw in Chapter 7 that propositional resolution is a refutation complete inference procedure for propositional logic.
Hungarian[hu]
Láttuk a 7. fejezetben, hogy a propozíciós rezolúció egy cáfolásteljes következtetési folyamat az ítéletlogikában.