##### Differences

This shows you the differences between two versions of the page.

 — cs-236:logic-and-logical-arguments [2015/01/05 20:54] (current)egm created 2015/01/05 20:54 egm created 2015/01/05 20:54 egm created Line 1: Line 1: + Read [http://​students.cs.byu.edu/​~cs236ta/​sharedLib/​discussions/​winter2013/​09-TautolContradic.ppt 09-TautolContradic.ppt],​ and read Section 1.2 and page 25 from the textbook. ​ Create a table that lists new symbols and the meaning of those symbols. ​ This list should include the following:​ + * $\equiv$ + * $\Leftrightarrow$ + * $\wedge$ + Be sure that you note any differences between the symbols used in the slides and those in the textbook. + Include any questions that you have from your reading.