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
deduction (1. a thing that is deduced; a conclusion. 2. the inference of particulars from known or assumed ...)