Re: Here is a hard one, for me...

Hey! I know what you mean, I think. Here is what we came up with in
class:

The Sentences of SL:
1. Any sentence letter is a sentence of SL.
2. If P is a sentence of SL then ~P is a sentence of SL.
3. If P and Q are sentences of SL then (P & Q) is a sentence of SL.
4. If P & Q are sentences of SL then (P v Q) is a sentence of SL
5. If P and Q are sentences of SL then (P horseshoe Q) is a sentence of
SL.
6. If P and Q are sentences of SL then (P triplebar Q) is a sentence of
SL.
7. Nothing else is a sentence.



That is it! Is that what you meant? I realize that it would be
impossible for you to answer my original question without the above.
Sorry, I am VERY new to Logic.

Thanks!

.

Relevant Pages

  • Re: OTP Theodore Roosevelt on Immigrants
    ... >> Hey! ... Why not answer the original question? ... >> any importance to arthritis in any way nobodies. ... And as Carole was good enough to break the loop without ...
    (alt.support.arthritis)
  • Re: Problem with printing input.
    ... >> hey you rama krishna ... Prev by Date: ...
    (comp.lang.c)
  • Re: inverness airport - OP - not a troll!
    ... Hey, this is the OP. ... troll. ... When I looked at the inverness airport website located at ...
    (rec.travel.europe)
  • Re: Error when openeing word
    ... > Please respond in the newsgroups so everyone can follow along. ... >> Hey all, ... >> MYOB has been installed on this system, can anyone help me with this? ... Prev by Date: ...
    (microsoft.public.word.application.errors)
  • Re: SUMIF - 2 conditions - with references
    ... > hey thanks for your help, i converted both columns to numbers but it ... > one condition the other condition is a date, so maybe that is affecting ... > vect98's Profile: ... Prev by Date: ...
    (microsoft.public.excel.worksheet.functions)