Sets: Proofs: Truth Tables?

  • Thread starter lordy12
  • Start date
  • #1
36
0

Main Question or Discussion Point

Are truth tables acceptable forms of proving the
equality and inequality between sets.
For example, A U (B^C) = (AUB) ^(AUC)

A B C AU(B^C) (AUB)^(AUC)
F F F F F
F F T F F
F T F F F
F T T T T
T F F T T
T F T T T
T T F T T
 

Answers and Replies

  • #2
HallsofIvy
Science Advisor
Homework Helper
41,808
933
Strictly speaking, sets do not have truth values. I presume that what you have labled "A" is actually the statement "x is contained in A", etc.

Given that, how have you arrived at the truth values for the statements
"x is contained in AU(B^C)" and "x is contained in (AUB)^(AUC)"?
 
  • #3
matt grime
Science Advisor
Homework Helper
9,395
3
Truth tables are never acceptable (for either moral or technical reasons) proofs of anything other than statements about truth tables.

The fact that A implies B is true if either A is false or A is true and B is true is neither here nor there: it doesn't ever show that in some particular situation A can be used to deduce B. Do you understand the distinction? (Probably not or you wouldn't have asked the question.)
 
  • #4
1,250
2
Do you understand the distinction?
The confusion arises from the mathematicians use of [tex]\Rightarrow[/tex].

When a mathematician says [tex] A \Rightarrow B[/tex] he means that there is a valid argument:

1) A
2) Theorems discussed in context prior to A
3) All knowledge prerequisite to this discussion
.
.
.
Therefore, B.

In other words, [tex] \Rightarrow [/tex] has nothing to do with deduction, and logic reflects this, but the usage of [tex]\Rightarrow [/tex] by mathematicians does not! Instead we should circumlocute "A, therefore B":yuck:, less students remained confused forever.
 

Related Threads on Sets: Proofs: Truth Tables?

  • Last Post
Replies
12
Views
2K
Replies
4
Views
856
  • Last Post
Replies
4
Views
6K
  • Last Post
3
Replies
54
Views
3K
  • Last Post
2
Replies
43
Views
8K
  • Last Post
Replies
7
Views
3K
Replies
23
Views
5K
Replies
15
Views
2K
Replies
41
Views
6K
  • Last Post
Replies
13
Views
3K
Top