Logic

You might also like

Download as pptx, pdf, or txt
Download as pptx, pdf, or txt
You are on page 1of 14

Methods of Poof

What is proof?

A mathematical proof is an
inferential argument that shows that
the provided assumptions logically
guarantee the result.

2
Direct Proof

3

A direct proof is a logical sequence of
the statements that demonstrate the
truth of falsity of an argument. It starts
with a claim and ends with the
statement of what is being proven.

4
Pythagoras Theorem

5
The area of a square
is equal to the square
of its side lengths – in
this case, (a+b. The
area of the huge
square, on the other
hand, can be
2 2 2 expressed as the total
𝑎 +𝑏 =𝑐
of the areas of its
constituents.
6
(a+b
Area of a Triangle =ab
Area of a Large Square = 4(ab) +
= (a+b= 4 (ab) +

Simplify
= = 2ab+
=
(Pythagoras Theorem)

7
Subset

A subset is a subcollection
of any set, as the name
implies.

9
(x,y) = x ⊆ y
=y⊆x

-inclusion or containment of X in Y is
the term used to describe this
relationship.

10
Scenario:
A=
B = { items in your home }
= A ⊆ B, B ⊆ A

11
A = { apples, oranges, grapes, lemons}
B = { apples}
=
B ⊆ A but A ⊆ B

12
Set theory has become the basic foundation for
mathematics in today's generation, as every
mathematical object can be seen as a set, and
every mathematical theorem can be rationally
proved in the Predicate Calculus from set theory's
axioms. This lesson can assist us in our journey
towards mathematics; you will find our topics be
understandable and useful.

13
THANK YOU!

You might also like