Today I Learned

Some of the things I've learned every day since Oct 10, 2016

69: The Deduction Theorem

In logic, the deduction theorem states that where A, B are formulas and \Delta is a set of assumptions or axioms, the implication A \rightarrow B is deducible from \Delta if and only if B is deducible from \Delta \bigcup \{A\}. The statement is intuitive, but wasn’t formally proven until 1930.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: