1.
Theorems and Logical Equivalents: BlueStorm: The Logic Course
Sentences are logically equivalent if and only if they cannot differ in truth-value, that is if there is no circumstance in which one is true while the ...
2.
Working with Conjunctions
Working with Conjunctions. From ‘P & Q’ both ‘P’ and ‘Q’ follow. We will introduce a rule that enables us to move from any conjunction p & q to either ...
3.
Working with Biconditionals
biconditionals. Any biconditional p <-> q is logically equivalent to. (p -> q) & (q -> p). ... member it only applies to a line that is a biconditional. ...
4.
Biconditionals- <-> I and <-> E
We will here introduce and learn how to use certain rules that apply to biconditionals, to 'if and only if' sentences. Entering the official biconditional ...
5.
Truth Table Applet BlueStorm The Logic Course
Truth Table Builder. Choose to Return to, BlueStorm Main, Topic 1 Menu, Topic 2 Menu, Topic 3 Menu, Topic 4 Menu, Topic 5 Menu, Topic 6 Menu, Topic 7 Menu ...
6.
Tempest Media's BlueStorm: The Logic Course
The Logic Course - The place for online logic and critical thinking, with text material, exercises, quizzes, tutorials and help.
7.
BlueStorm: The Logic Course
Welcome to BlueStorm: The Logic Course. ... These include the viewing instructions which will enable you correctly to display BlueStorm. ...
8.
Menu for Sentential Logic: BlueStorm: The Logic Course
We will here introduce a full deductive system for sentential (propositional) logic. If you are just starting we suggest that you approach the deductive ...
9.
Negation Introduction and Elimination: BlueStorm: The Logic Course
And what you obtain if you apply ~I is the negation of the assumption you have made. Here we will study negation introduction in more detail. ...
10.
Topic 1
Steven is taller than Ann. Ann is taller than Steven. These are, respectively: Tsa. Tas. Note that these two do not say the same thing. Now let us consider: ...
