For truth tables and the biconditional proposition operator, how comes false <--> false is true?

It seems counter intuitive, if I may make a stab at sounding mathematical.

Thanks!

Printable View

- Sep 23rd 2010, 08:09 PMTruthbetoldhow come false <--> false is true?
For truth tables and the biconditional proposition operator, how comes false <--> false is true?

It seems counter intuitive, if I may make a stab at sounding mathematical.

Thanks! - Sep 23rd 2010, 08:49 PMundefined
- Sep 23rd 2010, 09:12 PMTruthbetold
Yeah....

I'm getting loopy or something. That's the second time today I haven't made sense.

I confused AND with the biconditional proposition.

If I may rephrase my question, how come the truth value of p <--> q where p = q = false is true? - Sep 23rd 2010, 09:16 PMundefined
- Sep 23rd 2010, 10:25 PMSoroban
Hello, Truthbetold!

Quote:

For truth tables and the biconditional proposition operator,

how come $\displaystyle F \leftrightarrow F$ is true?

The biconditional $\displaystyle p \leftrightarrow q$ means that $\displaystyle \,p$ and $\displaystyle \,q$ have the*same*__truth____value__

Hence: .$\displaystyle \begin{Bmatrix} T\leftrightarrow T\, \text{ is true.} \\ F \leftrightarrow F\,\text{ is true.} \end{Bmatrix}$

- Sep 24th 2010, 07:41 AMtonio

I think the real problem here, and the one on which yours lays, might be: why the value of $\displaystyle A\rightarrow B$ is true

whenever the value of $\displaystyle A$ is false, no matter what the value of $\displaystyle B$ is?

The short answer is that it is so because it is defined so. Period. The long answer may pass through all kinds

of explantions including what truth really is and stuff. You may want to grab a book with some history of logic in it and read it.

Tonio