Saying that the proposition takes multiple values would mean that the proposition can be both True and False at the same time in the same sense. Which is not allowed according to the Law of Non-Contradiction.

Dark Mode

6,629 views

60 votes

Best answer

**Cannot be determined.**

From the axiom $\lnot p \to q$, we can conclude that $p \vee q$.

So, either $p$ or $q$ must be TRUE.

$$\begin{align}

&\lnot p \lor (p \to q)\\[1em]

\equiv& \lnot p \lor ( \lnot p \lor q)\\[1em]

\equiv&\lnot p \lor q

\end{align}$$

Since nothing can be said about the Truth value of $p$, it implies that $\lnot p \lor q$ can also be True or False.

Hence, the value cannot be determined.

We never say that a proposition can take multiple truth values. We say that the truth value of the proposition is unknown, or cannot be determined.

Saying that the proposition takes multiple values would mean that the proposition can be both True and False at the same time in the same sense. Which is not allowed according to the Law of Non-Contradiction.

Saying that the proposition takes multiple values would mean that the proposition can be both True and False at the same time in the same sense. Which is not allowed according to the Law of Non-Contradiction.

104

edited
Dec 5, 2018
by MiNiPanda

In reference to Pragy's comment just wanted to give an example :

EDIT: My interpretation was wrong. Anyone who has started to read, kindly ignore it.

S: This statement S is False.

If we take S as **True** that means "This statement S is False" is true which says S is **False**. But this contradicts with our assumption that S is True.

If S is **False** that means "This statement S is False" is false which says that S is False is a false statement which makes the value of S=**True**. Again S is getting multiple values.

This type of statements are not propositions and are called "Liar's paradox".

2

@MiNiPanda: You're slightly incorrect. The example you've shown is that of a statement which leads to a contradiction no matter what truth value you try, leading to a paradox and the statement is neither true, nor false. The paradox isn't that it takes multiple truth values, the paradox is that it takes $0$ truth values!

The only way for a statement to be both true and false is to have an inconsistent set of axioms. A set of axioms is said to be inconsistent if it leads to both proving and disproving a statement, that is, if any statement S can be shown to be both true and false under the given set of axioms. The thing with inconsistent axioms is that you can prove anything in them! No matter what the statement P is, you can show that P is both true and false. This makes inconsistent axiomatic systems utterly useless.

Sidenote: We don't know if maths is consistent or not! There are several axiomatic systems that are used across maths. Different axioms lead us to different styles of maths. We've proved some axiomatic systems (let's say $X$, $Y$) to be consistent, but for the proof, we need to be doing our proofs under some different axiomatic system (let's say $Z$). An example would be: the consistency of "Peano Arithmetic axiomatic system" can be proven under the "ZFC axiomatic system". But now we need to prove the consistency of the $Z$, because if $Z$ is inconsistent, our proofs for the consistency of $X, Y$ are useless as you can prove anything in $Z$. One way of resolving this would be if some axiomatic system $B$ could prove its own consistency! Sadly, that's impossible. Godel's incompleteness theorems show that given an axiomatic system $B$, if $B$ is infact consistent, then it cannot prove its own consistency. If it can, then it would mean that $B$ is inconsistent! (Some constraints on $B$ are applicable.)

5

1

6 votes

given that $ \lnot p \to q$ is true

A proposition can have only 2 possible values namely true or false. Here I feel “cannot be determined”(option D) is a more suitable answer than “multiple values”(option B) because propositional variables are similar to variables in programming which can have only one value at a time.