Demonstração condicional

Demonstração de condicional e demonstração por Seja P1 , . . . , Pn ⊢ Q um argumento. Caso a conclusão Q seja uma
condicional, podemos usar a demonstração condicional para
absurdo mostrar a validade do argumento.
P1
Prof. Rafael Borges de Souza P2
..
UFSC-BNU .
Pn
Aula 6 Q→R

1/8 2/8

Demonstração condicional Exemplos

A regra consiste em tomar Q como também uma premissa do

argumento, e então, concluir R. Portanto, basta mostrar a
validade do argumento: Mostre a validade dos argumentos:
P1 1. (¬p ∨ (¬q ∨ r )), ¬r ⊢ p → ¬q
P2 2. p → q, q ↔ s, t ∨ (r ∧ ¬s) ⊢ p → t
..
. 3. ¬p → (q → r ), s ∨ (r → t), p → s ⊢ ¬s → (q → t)
Pn
Q
R

3/8 4/8

Exemplo Demonstração por absurdo

Seja P1 , . . . , Pn ⊢ Q um argumento. Podemos também usar a

demonstração por absurdo para mostrar a validade de qualquer
argumento. A regra consiste em assumir a negação da conclusão
Use o método de demonstração condicional para mostrar: com promissa concluir que este conjunto de premissas é
1. Sejam m e n números inteiros. Se m e n são pares, então inconsistente.
m + n é par.
P1
2. Seja m um número inteiro. Se m é divisı́vel por 6, então 2m é P2
divisı́vel por 4. ..
.
Pn
¬Q
(algum absurdo)

5/8 6/8
Exemplos Exemplo

Use o método de demonstração por absurdo para mostrar:

Mostre a validade dos argumentos: 1. Seja x um número real tal que x + x = x. Conclui-se que
1. p → ¬q, r → q ⊢ ¬(p ∧ r ) x = 0.
2. ¬p → q, ¬q ∨ r , ¬r ⊢ p ∨ s 2. Sejam a um número racional e b um número irracional. Desta
forma, a + b é irracional.
3. ¬p ∨ q, ¬q, ¬r → s, ¬p → (s → ¬t) ⊢ t → r √
3. 2 é irracional.
4. Existe uma infinidade de números primos.

7/8 8/8