- #1

solakis1

- 422

- 0

The 2nd axiom of mathematical logic

2) $((P\implies(Q\implies R))\implies((P\implies Q)\implies(P\implies R))$

By using only the deduction theorem

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter solakis1
- Start date

In summary, the 2nd axiom of mathematical logic, also known as the Deduction Theorem, states that if a statement A implies a statement B, then the statement "if A then B" is a valid logical statement. This theorem is used to break down complex statements into simpler ones and prove them individually. It can be used for any statement in mathematical logic as long as it follows the structure of "if A then B." Proving the 2nd axiom is important because it allows for valid logical deductions and is a fundamental principle in various fields. However, the Deduction Theorem has limitations and cannot be used for statements involving quantifiers.

- #1

solakis1

- 422

- 0

The 2nd axiom of mathematical logic

2) $((P\implies(Q\implies R))\implies((P\implies Q)\implies(P\implies R))$

By using only the deduction theorem

Mathematics news on Phys.org

- #2

pbuk

Science Advisor

Homework Helper

Gold Member

- 4,727

- 2,989

The 2nd axiom of mathematical logic, also known as the Deduction Theorem, states that if a statement A implies a statement B, then the negation of statement B implies the negation of statement A.

The Deduction Theorem allows us to prove the 2nd axiom of mathematical logic by showing that if we assume the negation of statement B and derive the negation of statement A, then we can conclude that statement A implies statement B.

The Deduction Theorem is a fundamental principle in mathematical logic that allows us to prove the validity of logical arguments. It is used in various branches of mathematics, such as set theory, algebra, and analysis.

Yes, the Deduction Theorem can be applied to all logical arguments as long as they follow the rules of mathematical logic. It is a powerful tool that helps us to analyze and prove the validity of complex logical statements.

While the Deduction Theorem is generally applicable to all logical arguments, there are some limitations and exceptions. For example, it cannot be used to prove statements that are not expressible in the language of mathematical logic or those that are not true in all interpretations.

- Replies
- 1

- Views
- 878

- Replies
- 72

- Views
- 6K

- Replies
- 8

- Views
- 2K

- Replies
- 9

- Views
- 770

- Replies
- 8

- Views
- 1K

- Replies
- 6

- Views
- 1K

- Replies
- 12

- Views
- 2K

- Replies
- 10

- Views
- 2K

- Replies
- 13

- Views
- 2K

- Replies
- 1

- Views
- 1K

Share: