Please enable JavaScript.
Coggle requires JavaScript to display documents.
(Propositional Logic:, The branch of logic dealing with propositions, or…
-
The branch of logic dealing with propositions, or statements that are either true or false.
-
A statement that can be true or false, represented by a variable such as p or q.
-
-
-
-
-
-
-
-
-
-
-
Represents logical "and", true only if both propositions are true.
-
-
-
Represents logical "or", true if at least one proposition is true.
-
-
-
Represents "if...then" relationship, where the truth of one proposition guarantees the truth of another.
-
p → q: "If the sun is shining, then it is not raining."
-
Represents "if and only if" relationship, true if both propositions have the same truth value.
-
-
-
Tables showing all possible truth values of compound propositions based on the truth values of their components.
-
-
-
-
-
-
-
-
-
-
-
If p → q and p are true, then q is true.
Example: If it is raining tomorrow (p → q), and it is indeed raining (p), then it will be wet outside (q).
-
Relationships between compound propositions that have the same truth value under all interpretations.
-
-
-
-