Primitive propositions in Propositional Logic

1.8k Views Asked by At

I am a little confused over the exact meaning of a "primitive proposition". I understand what a proposition is (if $p, q \in L$ then $p \Rightarrow q \in L$).

But what is the exact difference between a "primitive proposition"and just any old proposition?

1

There are 1 best solutions below

0
On BEST ANSWER

The difference lies in the fact that a primitive (or atomic) proposition's truth does not "depend" on that of any simpler proposition, that is, it can't be "broken down" to simpler stuff. It does not contain any logical connectives or quantifiers.