Basic Discrete Math Question: Understanding Conditional Statements

Click For Summary

Homework Help Overview

The discussion revolves around understanding conditional statements in discrete mathematics, specifically the truth values associated with implications. The original poster presents a statement involving a false premise and questions how the overall implication can still be considered true.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants explore the truth table for conditional statements, questioning how a false premise can lead to a true implication. Some express confusion about the logic behind the statement "if 1+1=3 then 2+2=4". Others suggest that the original question may be seeking to illustrate the implications of starting from a false premise.

Discussion Status

The discussion is ongoing, with participants providing insights into the nature of implications and the truth values of statements. There is a recognition that the original premise is false, leading to varying interpretations of the implications of such a statement. Some guidance has been offered regarding the truth table, but no consensus has been reached on the interpretation of the problem.

Contextual Notes

Participants note that the original question may lack clarity, and there is uncertainty about the intent behind the statement being analyzed. The discussion reflects a range of interpretations and the complexities of understanding conditional logic.

MarcL
Messages
170
Reaction score
2
Before I make a fool of myself let me just say I just had my first class today and the book/ teacher aren't helpful in my question. And I'm not even sure I'm in the right section, this is just my major

1. Homework Statement

"If 1+1=3 then 2+2=4"

Homework Equations


We just covered conditional statement and its truth table that states if p is false and q is true, then the statement is still true

The Attempt at a Solution



Basic question, following the table given to us, but it doesn't makes sense to me. If 1+1=3 then 2+2=4 , how can the whole statement be true?
 
Physics news on Phys.org
MarcL said:
Before I make a fool of myself let me just say I just had my first class today and the book/ teacher aren't helpful in my question. And I'm not even sure I'm in the right section, this is just my major

1. Homework Statement

"If 1+1=3 then 2+2=4"

Homework Equations


We just covered conditional statement and its truth table that states if p is false and q is true, then the statement is still true
Yes
MarcL said:

The Attempt at a Solution



Basic question, following the table given to us, but it doesn't makes sense to me. If 1+1=3 then 2+2=4 , how can the whole statement be true?
To quote what you wrote above,
if p is false and q is true, then the statement is still true
 
WHat I was trying to say is that, it doesn't make sense to me ( how i see it ) that if I state 1+1 = 3 then 2+2=4 then why would the whole statement be true if only half of it is in realitiy.
 
MarcL said:
WHat I was trying to say is that, it doesn't make sense to me ( how i see it ) that if I state 1+1 = 3 then 2+2=4 then why would the whole statement be true if only half of it is in realitiy.
To re-quote what you wrote above,
if p is false and q is true, then the statement is still true
p: 1 + 1 = 3 (false)
q: 2 + 2 = 4 (true)
##p \Rightarrow q## (true)

From the truth table for an implication, the only pair of values of p and q that make the implication false are when p is true and q is false. All other pairs of values for p and q yield a true implication.
 
Last edited:
I think the important point is being missed.
Let S be the statement "if p then q". If it turns out that p is false then the statement S is true regardless of whether q is true.
Thus "if 1+1=3 then 2+2=9" is also a true statement.
To put it in everyday language, if you start from a false premise then you can deduce anything.
It is possible that the questioner wants you to illustrate this by a chain of argument that starts with "1+1=3" as a given and ends with "2+2=4". Or, better, ends with "2+2=9".
Here's how you could do the last one:
1+1=3
2+2 = 1+1+1+1 = (1+1)(1+1) = (1+1)2 = 32 = 9
 
haruspex said:
It is possible that the questioner wants you to illustrate this by a chain of argument that starts with "1+1=3" as a given and ends with "2+2=4".
I could be wrong, but that's not my take on this problem, which is to recognize that p (1 + 1 = 3) is false, so no matter what q is, the overall implication is true.
 
Mark44 said:
I could be wrong, but that's not my take on this problem, which is to recognize that p (1 + 1 = 3) is false, so no matter what q is, the overall implication is true.
Yes, I said it was just a possibility. Without seeing the original question verbatim it's hard to know.
But the main point I wanted to make is that this
MarcL said:
if p is false and q is true, then the statement is still true
is misleading by being insufficiently general. It should say
if p is false then the statement is true regardless of the truth or falsehood of q​
 
MarcL said:
Basic question, following the table given to us, but it doesn't makes sense to me. If 1+1=3 then 2+2=4 , how can the whole statement be true?

The truth of the statement is based on the truth or falsehood of the logic, not the parts. The logic is ##p \implies q##. If p is not true, then the logic is true by virtue of the fact it cannot be proven false. There is a large gap between true and useful logic. This logic is true but totally useless, since p is never true.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
5K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
4
Views
3K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K