In formal logic, implication operator for compound proposition has defined below: if P,Q is atomic proposition, implication operator ->, P-> Q is a compound proposition, its meaning is "if P, then Q", then a true-valued function table below:
P Q P->Q
0 0 1
0 1 1
1 0 0
1 1 1
The first and the second row is hardly defined and not easy to understand, this is called as implication paradox, then why does we produce such a paradox? Do we do this in order to escape a more difficult problem in formal logic or other?
- Badges
- Science topic
- Similar topics
- Geoscience
- Atmospheric Sciences
- Atmosphere
- Air
More Yaozhi Jiang's questions See All
Similar questions and discussions