bitPhile

❯

❯

❯

propositional logic

❯

definite clauses

definite-clauses

Sep 24, 20231 min read

reasoning
inferences

Definite Clause have this form,

$(P_{1} \land P_{2} \land P_{3}, ... p_{k}) \to q$

Graph View

Created with Quartz v4.5.0 © 2025

GitHub
Discord Community