Docente: Prof.

Emanoel Fabiano Menezes Pereira

Disciplina: FM3 – Fundamentos da Matemática – Módulo 3
 
C – Contradição 

CON ‐ Conjunção 

1.6.1  

1) ⋁ ,~ ⊢
1. ⋁ (P)
2. ~ (P)
3. ∴
4. 1, 2 (SD)

2) → , ⊢ ∧
1. → (P)
2. (P)
3. ∧ ∴
4. 1, 2 (MP)
5. ∧ 2, 4 (CON)

3) ∧ , ⊢ ⋁
1. ∧ (P)
2. ⋁ ∴
3. 1 (SIM)
4. ⋁ 3 (ADI)

4) → ∧ → , ⊢ ∧
1. → ∧ → (P)
2. (P)
3. ∧ ∴
4. → 1 (SIM)
5. 2, 4 (MP)
6. → 1 (SIM)
7. 2, 6 (MP)
8. ∧ 5, 7 (CON)

5) ↔ , ⋁ → ⋁ , ∧ → ,~ , ⊢
1. ↔ (P)
2. ⋁ → ⋁ (P)
3. ∧ → (P)
4. ~ (P)
5. (P)
6. ∴
7. → 1 (BC)
8. 5, 7 (MP)
 Docente: Prof. Emanoel Fabiano Menezes Pereira
Disciplina: FM3 – Fundamentos da Matemática – Módulo 3
 
9. ∧ 5, 8 (CON)
10. 3, 9 (MP)
11. ⋁ 5 (ADI)
12. ⋁ 2, 11 (MP)
13. 4, 12 (SD)

6) ~ → ~ ↔ ⋁ , ~ , , ⋁ ⋁ ~~ ⊢ ⋁ ~~ ⋁
1. ~ → ~ ↔ ⋁ (P)
2. ~ (P)
3. (P)
4. ⋁ ⋁ ~~ (P)
5. ⋁ ~~ ⋁ ∴
6. ⋁ → ~ →~ 1 (BC)
7. ⋁ 3 (ADI)
8. ~ → ~ 6, 7 (MP)
9. ~ 2, 8 (MP)
10. ⋁ ~~ 4, 9 (SD)
11. ⋁ ~~ ⋁ 10 (ADI)

7) ~ ∧ → ~ , ⋁ ~~ ∧ ~ , → ~ ,~ ∧ ⊢ →~ ∧ ~
1. ~ ∧ →~ (P)
2. ⋁ ~~ ∧ ~ (P)
3. →~ (P)
4. ~ ∧ (P)
5. → ~ ∧ ~ ∴
6. ~ 1, 4 (MP)
7. ~~ ∧ ~ 2, 6 (SD)
8. ~~ 7 (D)
9. 8 (PS)(DN)
10. ~ 3, 9 (MP)
11. → ~ ∧ ~ 3, 10 (CON)

1.7.1

1) →~ , ⋁ ⊢ →
1. →~ (P)
2. ⋁ (P)
3. → ∴
4. *PH
5. ~ 1, 4 (MP)
6. *2, 5 (SD)
7. → 4, 6 DC
 Docente: Prof. Emanoel Fabiano Menezes Pereira
Disciplina: FM3 – Fundamentos da Matemática – Módulo 3
 

2) ⊢ → →
1. (P)
2. → → ∴
3. → *PH
4. *1, 3 (MP)
5. → → 3, 4 DC

3) → → ⊢ ∧ →
1. → → (P)
2. ∧ → ∴
3. ∧ *PH
4. 3 (SIM)
5. → 1, 4 (MP)
6. 3 SIM
7. *5, 6 (MP)
8. ∧ → 3, 7 DC

4) ⋁ → ∧~ ⊢ → ~ ⋁
1. ⋁ → ⋁~ (P)
2. → ~ ⋁ ∴
3. *PH
4. ⋁ 3 (ADI)
5. ∧~ 1, 4 (MP)
6. ~ 5 (SIM)
7. ~ ⋁ *6 (ADI)
8. → ~ ⋁ 3, 7 DC

5) → ↔
⋁ , → , ⋁ ⊢~ → →
1. → ↔ ⋁ (P)
2. → (P)
3. ⋁ (P)
4. ~ → → ∴
5. ~ *PH
6. 3, 5 (SD)
7. 2, 6 (MP)
8. ↔ ⋁ 1, 7 (MP)
9. ⋁ → 8 (BC)
10. **PH
11. ⋁ 10 (ADI)
12. **9, 11 (MP)
13. → *10, 12 DC
14. ~ → → 5, 13 DC
 Docente: Prof. Emanoel Fabiano Menezes Pereira
Disciplina: FM3 – Fundamentos da Matemática – Módulo 3
 

6) → → ⊢ → →
1. → → (P)
2. → → ∴
3. *PH
4. **PH
5. → 1, 4 (MP)
6. **3, 5 (MP)
7. → *4, 6 DC
8. → → 3, 7 DC

1.8.1

1) → ,~ ⊢ ~
1. → (P)
2. ~ (P)
3. ~ ∴
4. ~~ *SPA
5. 4 (PS)(DN)
6. 1, 5 (MP)
7. ~ ∧ *2, 6 C
8. ~ 4, 7 DA

2) → ⋁ , →~ , →~ ⊢~ ∧
1. → ⋁ (P)
2. →~ (P)
3. →~ (P)
4. ~ ∧ ∴
5. ~~ ∧ *SPA
6. ∧ 5 (PS)(DN)
7. 6 (SIM)
8. 6(SIM)
9. ⋁ 1, 7 (MP)
10. ~ 3, 8 (MP)
11. 9, 10 (SD)
12. ~ 2, 11 (MP)
13. ∧ ~ *7, 12 C
14. ~ ∧ 5, 13 DA

3) →~ ⊢~ ∧
1. →~ (P)
2. ~ ∧ ∴
3. ~~ ∧ *SPA
4. ∧ 3 PS (DN)
 Docente: Prof. Emanoel Fabiano Menezes Pereira
Disciplina: FM3 – Fundamentos da Matemática – Módulo 3
 
5. 4 (SIM)
6. 4 (SIM)
7. ~ 1, 5 (MP)
8. ∧~ *6, 7 C
9. ~ ∧ 3,8 DA

4) → , ⋁ , → ~ ,~ ⊢~
1. → (P)
2. ⋁ (P)
3. →~ (P)
4.~ (P)
5.~ ∴
6.~~ *SPA
7. 6 PS (DN)
8. ~ 3, 7 (MP)
9. ~ 1, 4 (MT)
10. 2, 9 (SD)
11. ~ ∧ *8, 10 C
12. ~ 6, 11 DA
 Docente: Prof. Emanoel Fabiano Menezes Pereira
Disciplina: FM3 – Fundamentos da Matemática – Módulo 3
 

Desafio (IBMEC)

(1) Se o filme já começou, então o telefone está desligado.

(2) O telefone está desligado se, e somente se, o cidadão é educado.

Sabendo que a sentença (1) é falsa e a sentença (2) é verdadeira, é correto afirmar que:

(a) O filme já começou, o telefone não está desligado e o cidadão é educado.

(b) O filme já começou, o telefone está desligado e o cidadão é educado.
(c) O filme já começou, o telefone não está desligado e o cidadão não é educado.
(d) O filme já começou, o telefone está desligado e o cidadão é educado.
(e) O filme não começou, o telefone não está desligado e o cidadão não é educado.

Demonstre sua solução (Use validação e derivação direta)

Validação:

: O filme já começou.

: O telefone está desligado.

→ é falso.

Logo é verdade e é falso.

: O cidadão é educado.

↔ é verdadeiro

Logo e são verdadeiros ou ambos são falsos.

Sabendo que é falso, então é falso.

Temos que é verdade, e R são falsos.

∧ ~ ∧~

Derivação Direta:

As premissas são:

(1) Se o filme já começou, então o telefone está desligado. (é falso)

(2) O telefone está desligado se, e somente se, o cidadão é educado. (é verdade)

Logo

: É se o filme já começou, então o telefone está desligado.

: O telefone está desligado se, e somente se, o cidadão é educado.

 Docente: Prof. Emanoel Fabiano Menezes Pereira
Disciplina: FM3 – Fundamentos da Matemática – Módulo 3
 

1. ~ → (P)
2. ↔ (P)
3. ??? ã ,
4. ∧~ 1 PS (NIM)
5. ~ 4 (SIM)
6. → 2 (BC)
7. ~ 5,6 (MT)
8. ∧~ ∧~ 4,7 (CON)

~ → , ↔ ⊢ ∧~ ∧~

∧ ~ ∧ ~ : O filme já começou, o telefone não está desligado e o cidadão

não é educado. (Alternativa C)