prove that the following wff is valid by means of resolution: xp(x)v xq(x) x p(x)vq(x)

29
Prove that the following wff is valid by means of resolution: xp(x)v xq(x) xp(x)vq(x) Why can’t you do this problem?

Upload: kale

Post on 11-Jan-2016

25 views

Category:

Documents


0 download

DESCRIPTION

Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x) . Why can’t you do this problem?. You cannot do these problems because you do not know the math between what you now know and what you would need to know to do the problem!. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

Prove that the following wff is valid by means of resolution:

xp(x)v xq(x)xp(x)vq(x)Why can’t you do this problem?

Page 2: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

You cannot do these problems because you do not know the math between what you now know and what you would need to know to do the problem!

Page 3: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

You will have the same problem with understanding the process that scientists call the big bang.

Just because you cannot understand some of what scientists say about the big bang does not mean that scientists do not understand it clearly!They know the science between what you know and what is needed to be known to understand the big bang!

Page 4: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)
Page 5: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

Did the detectives see the explosion?No! They have to figure it out from evidence!

Page 6: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

They take evidence from space to figure out the science!

Page 7: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)
Page 8: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)
Page 9: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

Some sort of “event” occurred to cause the change that formed the universe we have today.

Page 10: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

This event is what scientists call the

Page 11: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)
Page 12: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

Instead, it was theexpansion of space and time itself, and thereforeoccurred everywhereat the same time.

Page 13: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

Any galaxies fartherthan ~ 13.7 billion ly away we cannot see!

Why: because the light hasn’t had time to get here!!!

Page 14: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

Are there galaxies beyond what we can see?

Astronomers think that answer is yes. We just can’t see them.

Page 15: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)
Page 16: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

is the evidence for this expansion.

Universal red shift

Page 17: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

Sound shows Doppler effect too! Clip on this picture to experience the Doppler effect.

Page 18: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

red shift

What you just heard was the Doppler effect with sound. Red shift is the Doppler effect with light.

Page 19: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)
Page 20: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

Notice that the line groupings are the same – only shifted red.

Page 21: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)
Page 22: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

From our position in the universe, it looks like we are the center because everything appears to be moving away from us.

Page 23: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

As a balloon gets larger every point moves away from every other point.

Page 24: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

If your galaxy was a raisin, notice that every raisin is moving away from every other raisin. In fact, a raisin far away from you is moving away faster than those that are closer. Our expanding universe acts the same way.

Page 25: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

The second evidence is

CosmicMicrowaveBackgroundRadiation!

Page 26: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

This is energy “leftover” from theBig Bang.

-discovered in theearly 1960’s.

Page 27: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)
Page 28: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

This is like an oven that was used to make cookies. The cookies are not visible but the smell is there (evidence) and when you open the oven door there is just a little bit of heat still there (another piece of evidence).

Page 29: Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x  p(x)vq(x)

What are the two What are the two pieces of evidence that pieces of evidence that

support eh Big Bang support eh Big Bang Theory that we Theory that we

discussed?discussed?

Video clip of the big bang