Why is this truth table incorrect?

  • Thread starter Thread starter Rytif
  • Start date Start date
  • Tags Tags
    Table Truth table
Click For Summary

Homework Help Overview

The discussion revolves around the creation of a truth table for the logical expression ((P->Q) == (Q->P)). The original poster expresses confusion regarding the correctness of their truth table, which has been marked wrong in their logic course despite their previous experience in discrete mathematics.

Discussion Character

  • Exploratory, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants discuss the validity of the truth table provided by the original poster, with some asserting its correctness while others question the professor's feedback regarding the order of truth values for P and Q.

Discussion Status

The conversation includes differing opinions on the correctness of the truth table. Some participants suggest that the original poster's table is indeed correct, while others highlight the professor's insistence on a specific ordering of truth values, which has not been previously communicated to the students.

Contextual Notes

There is mention of an imposed ordering for the truth values of P and Q that the professor expects, which has caused confusion for the original poster. This ordering appears to be a point of contention in the discussion.

Rytif
Messages
3
Reaction score
0

Homework Statement


Create a truth table for ((P->Q) == (Q->P))

Homework Equations

The Attempt at a Solution



http://www.freeimagehosting.net/newuploads/94ldj.pngI've had two quizes with problems just like this marked wrong in my college logic course. I confronted the professor about it and he just told me to study the truth tables. I'm very confused as to why this is wrong, because I've taken a discreet math course previously.
 
Physics news on Phys.org
I don't think it is wrong. Looks perfectly fine to me.
 
Rytif said:

Homework Statement


Create a truth table for ((P->Q) == (Q->P))


Homework Equations




The Attempt at a Solution



http://www.freeimagehosting.net/newuploads/94ldj.png


I've had two quizes with problems just like this marked wrong in my college logic course. I confronted the professor about it and he just told me to study the truth tables. I'm very confused as to why this is wrong, because I've taken a discreet math course previously.

The conditionals for P and Q are both correct. Let's work with the third wff.

Assume that (P → Q) ↔ (Q → P).

Then, we have the same truth assignments as you just have! Indeed, like the other user just said, it's correct. Maybe, you should let your professor know about this! You are actually correct!
 
Thank you for checking it. I went to talk to him again about it and he told me that the T/F values for P and Q were not in 'order', it's suppose to be:

P | Q
------
T | T
T | F
F | F
F | T

He was actually quite angry and scribbled on my paper incoherently with T's and F's. I've never been warned of this ordering in his class, and I guess that's what he means by memorizing the truth tables. Which seems kind of counterproductive =/
 
Rytif said:
Thank you for checking it. I went to talk to him again about it and he told me that the T/F values for P and Q were not in 'order', it's suppose to be:

P | Q
------
T | T
T | F
F | F
F | T

He was actually quite angry and scribbled on my paper incoherently with T's and F's. I've never been warned of this ordering in his class, and I guess that's what he means by memorizing the truth tables. Which seems kind of counterproductive =/

That ordering is completely arbitrary. I agree with you. It is counterproductive. Watch out for that guy.
 

Similar threads

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