>>13406375OR, AND, and NOT are axiomatic notions in sententiel logic. You can give a symbolic representation of them given truth values. But it's difficult to give a definition that doesn't depend on those words. Their meaning only depends on the primative notion of truth value. A primitive notion is a term that cannot be defined axiomatically. It is even more fundamental than an axiom. There may be an intuitive of understanding it. But you still cannot define it.
Suppose we have two propositions and . A proposition is a statement that can be assigned a truth value (a primitive notion).
The proposition has value T if and only if has value T and has value T. is given the value F otherwise. This is how you intuit the concept of AND, in logic.
The proposition has value F if has value has value F and has value F. is given the value T otherwise. This is how you intuit the concept of OR, in logic.
You can use the "exclusive" OR where is given the value F if is has the value T. However, some people use the inclusive OR described prior and use a different notation for the exclusive OR and treat it different. The convention in math tends to be using the inclusive OR.
The proposition has value F if has value T. has value T if has value F. This is how you intuit the concept of NOT, in logic.
