Introdução à Lógica Matemática

Jailson Araujo Rodrigues

Instituto Federal da Bahia

01 de setembro de 2017

RODRIGUES, J. (IFBA) Lógica para Computação 01 de setembro de 2017 1/7

Sumário

1 Argumentos

RODRIGUES, J. (IFBA) Lógica para Computação 01 de setembro de 2017 2/7

Sumário

1 Argumentos

2 Exercícios de Fixação

RODRIGUES, J. (IFBA) Lógica para Computação 01 de setembro de 2017 2/7

Sumário

1 Argumentos

2 Exercícios de Fixação

3 Sentenças Abertas

RODRIGUES, J. (IFBA) Lógica para Computação 01 de setembro de 2017 2/7

 Argumentos

Argumentos Válidos Fundamentais

(a) Adição: p ` p ∨ q
(b) Simplificação: p ∧ q ` p
(c) Conjunção: p, q ` p ∧ q
(d) Absorção: p → q ` p → (p ∧ q)
(e) Modus ponens: p → q, p ` q
(f) Modus tollens: p → q, ∼ q ` ∼ p
(g) Silogismo disjuntivo: p ∨ q, ∼ p ` q
(h) Silogismo hipotético: p → q, q → r ` p → r
(i) Dilema construtivo: p → q, r → s, p ∨ r ` q ∨ s
(i) Dilema destrutivo: p → q, r → s, ∼ q∨ ∼ s ` ∼ p∨ ∼ r

RODRIGUES, J. (IFBA) Lógica para Computação 01 de setembro de 2017 3/7

 Exercícios de Fixação

Exercícios de Fixação

Questão 1
Indicar a Regra de Inferência que justifica a validade dos seguintes
argumentos:
(a) p → q ` (p → q)∨ ∼ r
(b) ∼ p ∧ (q → r ) `∼ p
(c) p → q, q →∼ r ` p →∼ r
(d) p → q ∨ r ` p → p ∧ (q ∨ r )

Questão 2
Use a regra Modus Tollens para deduzir a conclusão do seguinte par de
premissas:
x =z →x =6
x 6= 6

RODRIGUES, J. (IFBA) Lógica para Computação 01 de setembro de 2017 4/7

 Exercícios de Fixação

Exercícios de Fixação

Questão 3
Use a regra Modus Ponens para deduzir a validade do argumento:
p → q, q → r , p ` r .

RODRIGUES, J. (IFBA) Lógica para Computação 01 de setembro de 2017 5/7

 Sentenças Abertas

Sentenças Abertas

Chama-se sentenca aberta comuma variável em um conjunto A, uma

expressão que indicaremos por p(x), tal que p(a) é verdadeira ou falsa para
todo elemento a pertencente ao conjunto A.
x +1=0
x é ímpar
x é múltiplo de 10
A sentença aberta p(x) também é chamada de função proposicional, o
conjunto A é chamado de conjunto-universo.
O conjunto dos elementos de A tais que p(a) é verdade é chamado de
conjunto-verdade que será denotado por Vp : Vp = {a ∈ A; V (p(a)) = V }

RODRIGUES, J. (IFBA) Lógica para Computação 01 de setembro de 2017 6/7

 Sentenças Abertas

Exercício de fixação

Determinar o conjunto-verdade em Z de cada uma das seguintes sentenças

abertas:
1 p(x) = 2x − 1 = 3
2 p(x) = x 2 − 1 = 0
3 3x − 4 < 2

RODRIGUES, J. (IFBA) Lógica para Computação 01 de setembro de 2017 7/7