Técnicas de Prova

30 de setembro de 2022

MAT133 Fundamentos de Matemática Elementar 30 de setembro de 2022 1 / 11

Demonstração Condicional

Um argumento P1 , P2 , ..., Pn ` A → B é válido se, e somente se,

(P1 ∧ P2 ∧ ... ∧ Pn ) ⇒ (A → B)

o que, pela Regra de Importação, equivale a

(P1 ∧ P2 ∧ ... ∧ Pn ∧ A) ⇒ B

Assim, temos a regra:

DC (Demonstração Condicional): Para demonstrar a validade de um

argumento da forma P1 , P2 , ..., Pn ` A → B, introduz-se A como premissa
e deduz-se B.

MAT133 Fundamentos de Matemática Elementar 30 de setembro de 2022 2 / 11

Exemplo
Demonstrar que é válido o argumento:
p ∨ (q → r ), ∼ r ` q → p

MAT133 Fundamentos de Matemática Elementar 30 de setembro de 2022 3 / 11

Exemplo
Demonstrar que é válido o argumento:
p ∨ (q → r ), ∼ r ` q → p

Dem. Usando a regra DC, vamos provar a validade deduzindo p das

premissas p ∨ (q → r ) ∼ r e q

1. p ∨ (q → r ) P
2. ∼r P
3. q PA
4. p ∨ (∼ q ∨ r ) 1-COND
5. (p∨ ∼ q) ∨ r 4 -ASSOC
6. (p∨ ∼ q) 2,5 -SD
7. ∼∼ q 3 -DN
8. p 6,7 -SD

MAT133 Fundamentos de Matemática Elementar 30 de setembro de 2022 4 / 11

Exemplo
Demonstrar que é válido o argumento usando DC:

(d ∧ e) → f , (e → f ) → g ` d →g

MAT133 Fundamentos de Matemática Elementar 30 de setembro de 2022 5 / 11

Redução ao Absurdo

Uma prova por redução ao absurdo ( ou prova indireta) da validade de

um argumento consiste na introdução de uma nova premissa que seja a
negação a conclusão e, com base nisso, a derivação de uma contradição.
Dessa contradição obtida, conclui-se a validade do argumento.

MAT133 Fundamentos de Matemática Elementar 30 de setembro de 2022 6 / 11

Redução ao Absurdo
Para provar a validade de um argumento da forma

P1 , P2 , ..., Pn ` Q (1)

podemos provar a validade do seguinte argumento

P1 , P2 , ..., Pn , ∼ Q ` C (2)

em que C é uma contradição. De fato, pela regra DC , a validade de (2)

equivale à validade do argumento

P1 , P2 , ..., Pn `∼ Q → C (3)

Mas,
∼ Q → C ⇔∼∼ Q ∨ C ⇔ Q ∨ C ⇔ Q
Logo, a validade de (3) equivale à validade de (1). Portanto, a validade de
(2) equivale à validade de (1).
MAT133 Fundamentos de Matemática Elementar 30 de setembro de 2022 7 / 11
Redução ao Absurdo

Assim, temos a seguinte regra

Regra de Redução ao absurdo RA: Para demonstrar a validade do

argumento P1 , P2 , ..., Pn ` Q, introduz-se ∼ Q como ”premissa
adcional”(indicada por PA) e deduz-se uma contradição qualquer C (p.ex:
A∧ ∼ A).

Ou seja, para provar a validade de P1 , P2 , ..., Pn ` Q, podemos provar a

validade de P1 , P2 , ..., Pn , ∼ Q ` C em que C é uma contradição.

MAT133 Fundamentos de Matemática Elementar 30 de setembro de 2022 8 / 11

Exemplo
Demonstrar que é válido o argumento usando RA:

p →∼ q, r ↔q ` ∼ (p ∧ r )

MAT133 Fundamentos de Matemática Elementar 30 de setembro de 2022 9 / 11

Exemplo
Demonstrar que é válido o argumento usando RA:

p →∼ q, r ↔q ` ∼ (p ∧ r )

Dem. Usando redução ao absurdo, vamos provar a validade deduzindo

uma contradição das premissas p →∼ q, r ↔ q e (p ∧ r ).
1. p →∼ q P
2. r ↔ q P
3. p ∧ r RA
4. p 3-SIMP
5. r 3 -SIMP
6. ∼ q 1,4 -MP
7. q 2,5 -MP
8. q∧ ∼ q 6,7 -CONJ

MAT133 Fundamentos de Matemática Elementar 30 de setembro de 2022 10 / 11

Exemplo
Demonstrar que é válido o argumento usando RA:

(d ∧ e) → f , (e → f ) → g ` d →g

MAT133 Fundamentos de Matemática Elementar 30 de setembro de 2022 11 / 11