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:

Main connectives are important for everything we do in formal logic...they are the main grammatical indicator of meaning.

Now, start by "fixing" this incorrect sentence (hint):

main connective:

(Example: Enter 'Ga>(Ba=Ca)' and see what you get. Then enter some arbitrary sentences. Then play around a bit...if you don't enter a grammatically correct sentence, then you'll get questions marks.)