Main Conne
ctive Check

Just in case these animals seem impossible, here's a little help. First,

The main connective of an SL sentence is the last connective used to build that sentence.

If this is not yet clear, you may want to go back and look at the basics of SL syntax. If you think you're getting the idea, then do the following:

  1. First remember that this last connective used to build up a sentence is always outside parentheses if you've dropped the outside parens.
    • E.g., in (Av~B)>(J&R)' the horseshoe is the main connective.
    • If  both a tilda and a binary connective (v,&,>,=) are outside parentheses, then the binary connective is the main connective. E.g., in (AvB)>~J' the horseshoe is the main connective.

  2. Next, do the following little click-exercise. These are a little harder than the work you did before on the basics page.

  3. Finally try to build sentences. Check them in the Main Connective Tool below.


Exercise: Which are the main connectives of the following five sentences?

a)  ~[(JvT)>R]

b) ~(L>F)vT

c)     ~~K

d)    ~(K&R)>T

e) (~B=~J)>~(LvT)

HINT: there is one main connective for each of these sentences. Only atomic sentences have no main connective.











Connective Tool:

Try to build sentences. Check them by entering in the box below. As you build, you should see what the main connective is: it's always the last one you put in. If you've entered a non-sentence, you'll get question marks and no main connective.

main connective:

(Example: Enter '~Fv(K>~~R)' and see what you get. Then enter some arbitrary sentences. Perhaps enter a couple of short setences '~(JvL)' and '(~RvT)' maybe, then put them together with and '&'. This last '&' will be the main connective of the resulting '~(JvL)&(~RvT)'. )


Key Phrase  =  Symbolic (for Topic 3...enter in T3 Reading Check)