×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents of terrance-blanchard
Propositional and First Order Reasoning. Terminology Propositional variable: boolean variable (p) Literal: propositional variable or its negation p
219 views