Question 347320
<font face="Garamond" size="+2">


It is not that 'it just is' it is that you just don't care.  *[tex \Large p] and *[tex \Large q] are simply variable place holders for statements.  Let's say, for example, that in a particular logical argument, *[tex \Large p] represents the statement, "The color of the sky today is a particularly lovely azure hue."  In the course of this argument, you need to repeat that statement 17 times.  Would you rather write "The color of the sky today is a particularly lovely azure hue." 17 times or would you rather write *[tex \Large p] 17 times?


Having *[tex \Large p] and *[tex \Large q] stand for statements in general allows us to discuss the rules of logic without reference to specific statements that could possibly cloud the issue.  Illustrating the concept of logical conjuction is much easier using *[tex \Large p] AND *[tex \Large q] as opposed to "The sky is blue" AND "The grass is green".  I would rather deal with *[tex \Large p] OR *[tex \Large q] as a concept rather than try to understand logical disjunction using "he walked to work" OR "he carried his lunch"


This is very similar to the way we learned to describe general rules when we began our study of Algebra.  Everyone knows that 2 + 3 is the same thing as 3 + 2.  But without symbols that can stand for any value, it would be difficult to describe the commutative property of addition:  *[tex \Large a\ +\ b\ =\ b\ +\ a\ \forall\ a,\,b\ \in\ \mathbb{R}].


*[tex \Large p] and *[tex \Large q] function in the same way as shortcut tools for the study of logic and propositional calculus.


John
*[tex \LARGE e^{i\pi} + 1 = 0]
My calculator said it, I believe it, that settles it
<div style="text-align:center"><a href="http://outcampaign.org/" target="_blank"><img src="http://cdn.cloudfiles.mosso.com/c116811/scarlet_A.png" border="0" alt="The Out Campaign: Scarlet Letter of Atheism" width="143" height="122" /></a></div>
</font>