Please enable JavaScript.
Coggle requires JavaScript to display documents.
Topic 1 Logics and Proof - Coggle Diagram
Topic 1 Logics and Proof
Language of Proposition
Proposition
-
Compound Proposition
-
-
-
-
-
-
Converse, Contrapositive, and Inverse
-
Logical Equivalence
-
-
-
Two compound propositions p and q are logically equivalent if
is a tautology,
-
Formal Reasoning
sequence of statements (arguments), with proper reasoning rules (rules of inferences), gives us clues to draw a valid conclusion.
-
-
-