Conditional proof

Conditional proof takes the form of asserting a conditional, and proving that the premise or antecedent of the conditional necessarily leads to the conclusion. Proving this requires assuming the premise and deriving, from that assumption, the consequent of the conditional. By proving the connection between the antecedent and the consequent, the assumption of the antecedent is justified post hoc.

For example, I claim that "if you don't leave now, you'll be late for work". I prove it with the following argument:

  1. It takes twenty minutes to get to work.
  2. You're supposed to start work in twenty minutes.
  3. Assume you don't leave now.
  4. When you do leave, you'll arrive after the time you're supposed to start.
∴ If you don't leave now, you'll be late for work.

Note that I haven't proved that you'll be late for work: I've only proven the conditional, that the consequent follows necessarily from the antecedent.



In the News

Support And Counseling Helps Alzheimer's Caregivers Remain Healthy
Counseling and support for people caring for a spouse with Alzheimer's disease helps to preserve their health, according to a new study. Spouses of people with Alzheimer's disease usually are older adults. While people who take on the caregiving role tend to be healthier than those who do not, caring for someone with Alzheimer's disease is difficult in the best of circumstances, and can take a toll on a person's health.

[Ironic] LONDON: A jailed cocaine dealer is working as Santa Claus on
John Tams, who dons beard, boots and red suit to work in a cafe's Christmas grotto, said he wanted to give something back to the community...

Key To Elephant Conservation Is 'In The Sauce'
What do hot sauce aficionados and African elephants have in common? They both feel the burn of chilli peppers, the key ingredient for resolving human-elephant conflicts in Africa while raising money for farmers and conservation.

Non-stick Molds
Aircraft wings and dashboards are shaped in metal molds. These have to be 'greased', just like cake tins, before each molding process so that the plastic parts can be extracted at the end. A permanent coating has been designed to provide help in future. Baking a cake without greasing the tin is usually a disaster: The cake cannot be taken out in one piece. The same principle applies to the manufacture of fiber-reinforced plastic parts such as aircraft wings. Before the engineers can pour the mixture of resin, plastic and textile fibers into the metal mold, they have to apply four to six layers of release agent -- mostly by hand.

Devastating Earthquake May Threaten Middle East's Near Future, Geologi
The best seismologists in the world don't know when the next big earthquake will hit. But a geologist now suggests that earthquake patterns recorded in historical documents of Middle Eastern countries indicate that the region's next significant quake is long overdue.

New 'Chemically-sensitive MRI Scan'May Bypass Some Invasive Diagnostic
A new chemical compound which could remove the need for patients to undergo certain invasive diagnostic tests in the future has been created. This new compound could be used in a 'chemically-sensitive MRI scan'to help identify the extent of progression of diseases such as cancer, without the need for intrusive biopsies.

Speed Of PSA Rise Helps Predict Survival For Prostate Cancer Patients
The clinical outcome for prostate cancer patients who have been treated with hormone therapy and radiation therapy can usually be determined by how rapidly their prostate specific antigen level rises following treatment, according to a report published in the October 1, 2005 issue of the International Journal of Radiation Oncology*Biology*Physics, the official journal of ASTRO.

Rapid One-pot Syntheses Developed For Quantum Dots
Efficient and highly scalable new chemical synthesis methods developed at the University at Buffalo's Institute for Lasers, Photonics and Biophotonics have the potential to revolutionize the production of quantum dots for bioimaging and photovoltaic applications.

Groundhog Day
This site has information about the history and official observance of Groundhog Day in Punxsutawney, Pennsylvania. Pictures, movies, souvenirs, event calendars, and information about the groundhog club are all available. You can also watch "Punxsutawney Phil"(the official groundhog) make his prediction live every year over the Internet through this site.

[Cool] Twin Brothers Score 1600 on SATs
Of 1.4 million high-schoolers who took the Scholastic Aptitude Test in 2004, fewer than 1,000 scored a perfect 1600. So what are the odds that two students from the same household could ace the math and English tests?


MP3 Music Downloads

Preview songs, Download Free Music,Burn CDs at ITunes.com
iTunes_RGB_9mm

 


Google




InformationQuickFind.com - Find Information Fast

Links