Before you go through this article, make sure that you have gone through the previous article on
We have discussed
In this article, we will discuss about connectives in propositional logic.
Connectives are the operators that are used to combine one or more propositions.
In propositional logic, there are 5 basic connectives:
1. Negation
If p is a proposition, then negation of p is a proposition which is-
Truth Table
Example
If p : It is raining outside.
Then, Negation of p is-
∼p : It is not raining outside.
2. Conjunction
If p and q are two propositions, then conjunction of p and q is a proposition which is-
Truth Table
Example
If p and q are two propositions where:
Then, conjunction of p and q is:
p ∧ q : 2 + 4 = 6 and it is raining outside
3. Disjunction
If p and q are two propositions, then disjunction of p and q is a proposition which is-
Truth Table
Example
If p and q are two propositions where:
Then, disjunction of p and q is:
p ∨ q : 2 + 4 = 6 or it is raining outside
4. Conditional
If p and q are two propositions, then:
Truth Table
Examples
5. Biconditional
If p and q are two propositions, then-
Truth Table
Examples
Note 1:
Note 2:
Note 3:
65 videos|120 docs|94 tests
|
1. What are the logical connectives used in formal logic? |
2. How are logical connectives used to form compound statements? |
3. What is the truth table for the logical connective "or"? |
4. How does the logical connective "not" work in formal logic? |
5. What is the difference between implication and biconditional in formal logic? |
|
Explore Courses for Civil Engineering (CE) exam
|