Re: main connective in SL

From: FiSH (a_fisher_at_hotmail)
Date: 08/28/04 

Date: Sat, 28 Aug 2004 11:35:23 +1000

sorry guys, outlook and word dont like conversion of symbols, they should
look like this

(¬P -> (Q -> ¬P)) <-> Q

¬((P -> Q) v R) & ¬S

sorry bout that

fish

"FiSH" <a_fisher@hotmail .com> wrote in message
news:2p5co6Fh5gogU1@uni-berlin.de...
> whats the main connective in these two logic strings, how can the main
> connective be determined.
>
> (¬P ? (Q ? ¬P)) ? Q
>
>
>
>
>
>
>
> ¬((P ? Q) v R) & ¬S
>
>
>
>
>
> fish
>
>

Relevant Pages

  • Re: C++ question about "syntax structures"
    ... asking for the conversion, ... Fish for a man, he eats for a day, teach him to fish, ... ps - I did Google various C++ to VB6 terms and plenty of information is ...
    (microsoft.public.vb.general.discussion)
  • Re: New to steganography...urgent
    ... Ikram to fish it. ... The title upon the normal booklet is the conversion that ...
    (sci.crypt)
  • So far So good..
    ... Initially the water was cloudy, in fact all the way up to yesterday morning. ... Today I added some fish. ... didnt have the "Semi Aggressive" note on the tank I purchased them from. ... Whats the rule of thumb on this one? ...
    (rec.aquaria.freshwater.misc)
  • Re: Blackmore - Quick Question
    ... Whats that got to do with the price of fish then? ... Yes or No you utter fookin shithouse. ...
    (uk.sport.football.clubs.liverpool)
  • Re: Blackmore - Quick Question
    ... Whats that got to do with the price of fish then? ... Yes or No you utter fookin shithouse. ...
    (uk.sport.football.clubs.liverpool)