search

yaobinwen / robin_on_rails

Robin on Rails: my notes about technology and some other knowledge.
1 stars 0 forks source link

Make notes about the material condition in propositional logic #196

Closed yaobinwen closed 1 year ago

yaobinwen commented 1 year ago

Description

It has been debated for long time that whether the material condition in propositional logic can be used to describe "implication" in the classical logic. The truth table of material condition also confuses a lot of people when it comes to F, F -> T and F, T -> T. See these questions online:

However, today I read the article Propositional Logic and I think it gives an answer to the question. I'll need to make notes about my current understanding.

yaobinwen commented 1 year ago

Update (2023-07-29)

The notes are written in this article.