218 Soft Computing and Its Applications
Example 3.4 Consider the following propositions. We study the truth value of each
proposition in varying the value of propositional variables p and q.
p → q where a : 2 + 2 = 4, b : 3 + 3 = 6
p → q where a : 2 + 2 = 4, b : 3 + 3 = 7
p → q where a : 2 + 2 = 5, b : 3 + 3 = 6
p → q where a : 2 + 2 = 5, b : 3 + 3 = 7
We can see that the above propositions are true except for the second.
The truth values of implication are summarized in Table 4. In the table, we see that
the value of implication can be represented by ~p ∨ q.
CONNECTIVES IN CLASSICAL LOGIC
We use following symbols to connect two propositions in different ways:.
~ is used for Negation (NOT).
∧ is used for Conjunction (AND).
∨ is used for Disjunction ...