Deciding which logical proposition is stronger
-
04-11-2019 - |
質問
I am studying propositional logic and I am trying to solve some exercise related to the following definition:
Given two logical propositions $\alpha$ and $\beta$, we say that $\alpha$ is stronger than $\beta$ if and only if $(\alpha \implies \beta)$ is a tautology. Determine which of the two propositions is stronger in the following cases:
1) True, False
2) True, True
3) False, False
I am a bit confused with this problem. I've seen that for True we always assign the value $1$ and for False, the value $0$. So, (True $\implies$ False) has always value $0$ (actually, there is one possibility) and (False $\implies$ True) has always value $1$ (there is also one possibility). This means that (False $\implies$ True) is a tautology, so False is stronger than True.
I am not sure if what I've said above is correct and I am lost in 2) and 3), I would appreciate some help. Thanks in advance.
正しい解決策はありません