×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [p result of subst]
Home >
p result of subst
First-Order Logic. Limitations of propositional logic Suppose you want to say All humans are mortal –In propositional logic, you would need ~6.7 billion.
214 views
Inference in FOL All rules of inference for propositional logic apply to first-order logic We just need to reduce FOL sentences to PL sentences by instantiating.
223 views