VikiD Logic
Logic is the study of abstract, hypothetical connections, involving necessity.These connections are between 'Statements', 'Propositions', or 'Assertions'.
Classified into two groups, valid vs invalid.
Modus Ponens is the very most basic type of connection. It says,
if A => B
A
---
∴ B
that is, if A implies B, and we "assert" A is "valid", then we can conclude B is also "valid".This is a pattern of thought that we consider "true" or "valid" axiomatically. We define it as such. It cannot be derived from logic itself.
Further Reading
| 24aug21 | admin |