Dictionary of Human Evolution and Biology

  • -id > 9:3
   

Deduction Theorem

If the proposition Q can be logically inferred from the proposition P, then if P then Q can be proved as a theorem for most logical systems. Attributed to Charles Dodgson (1832- 98), English mathematician and writer, aka Lewis Carroll.

Full-Text Search Entries