Tag: example

2 items with this tag.

entailment-using-language-of-logic

proving-modus-ponens-resolution