Logic question (conjunction of implications)

  • Thread starter tribas
  • Start date
  • #1
3
0
hi all,

I'm no logician but am interested in sorting out this problem.

Say you've shown that

1. x implies y
and
2. z implies w

what steps/assumptions are required, in classical logic, to get from 1&2 to:

3. x&z implies y&w

Do the steps require some sort of separability assumption, or something of the sort?

Thanks!
 

Answers and Replies

  • #2
Stephen Tashi
Science Advisor
7,353
1,356
"x implies y" is logically equivalent to "(not x) or y"
"z impllies w" is logically equivalent to "(not z) or w".

The statement you want to prove is logically equivalent to
"not (x and z) or (y and w)"

Are you skilled enough at manipulating "and","or" and "not" to do the proof?

If not, you could use a truth table.
 
  • #3
3
0
thanks very much stephen!

I am not skilled at all with manipulating operators, so cannot do the proof myself.

Can you suggest a website or textbook I could look at that would help?
 
  • #4
Stephen Tashi
Science Advisor
7,353
1,356
I don't know of a good website, off hand. Perhaps another forum member will.

An outline of what you need to know is

Distributive laws:

"A and (B or C)" is equivalent to "(A and B) or (A and C)"
"A or (B and C)" is equivalent to "(A or B) and (A or C)".


DeMorgan's Laws:

"not (A and B)" is equivalent to "(not A) or (not B)"
"not (A or B)" is equivalent to "(not A) and (not B)"

Double Negation

"not (not A)" is equivalent to "A"


Material Implication
"if A then B" is equivalent to "(not A) or B"

Or you can search for "Truth Tables" and find a explanation of how to do them.
 
  • #5
3
0
ok thanks very much
 

Related Threads on Logic question (conjunction of implications)

  • Last Post
Replies
14
Views
3K
Replies
14
Views
2K
  • Last Post
Replies
2
Views
4K
Replies
12
Views
10K
Replies
23
Views
2K
  • Last Post
Replies
7
Views
795
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
15
Views
3K
  • Last Post
2
Replies
25
Views
16K
  • Last Post
Replies
10
Views
725
Top