main connective in SL
From: FiSH (a_fisher_at_hotmail)
Date: 08/26/04
- Next message: Simon G Best: "Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted)"
- Previous message: bob young: "Re: Atheists dying"
- Next in thread: Sander Bruggink: "Re: main connective in SL"
- Reply: Sander Bruggink: "Re: main connective in SL"
- Reply: H. Enderton: "Re: main connective in SL"
- Reply: FiSH: "Re: main connective in SL"
- Messages sorted by: [ date ] [ thread ]
Date: Thu, 26 Aug 2004 16:03:34 +1000
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
- Next message: Simon G Best: "Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted)"
- Previous message: bob young: "Re: Atheists dying"
- Next in thread: Sander Bruggink: "Re: main connective in SL"
- Reply: Sander Bruggink: "Re: main connective in SL"
- Reply: H. Enderton: "Re: main connective in SL"
- Reply: FiSH: "Re: main connective in SL"
- Messages sorted by: [ date ] [ thread ]
