Introdução

O presente trabalho feito pelo grupo tendo como desenvolver nos temas de cálculos
proporcionais e predicados de primeira ordem.

O trabalho primeiramente apresenta a introdução do trabalho, seguindo-se pelo

desenvolvimento do tema sobre os cálculos e por último a conclusão e a bibliografia.

A metodologia utilizada foi uma pesquisa, enriquecida por um manual e internet.

Cálculo proposicional
Cálculo proposicional é um sistema formal na qual as fórmulas representam
preposições que podem ser formadas pela combinação de proposições atómicas usando
conectores lógicos e um sistema de regras de derivação, que permite que certas fórmulas
sejam estabelecidas como “teoremas” do sistema formal.

Preposições

Preposições são sentenças declarativas, que apresentam um valores lógicos verdadeiros

(v) ou falsos (f), e apresenta dois tipos a preposição atómica e composta.

Preposição atómica

É uma sentença declarativa que não contem conectivos lógicos (e, ou, se…então, …)

Exemplo:

- Todo homem é mortal

- Meu carro é útil

- Está chovendo

Preposição composta

É uma sentença que contem um ou mais conectivos lógicos (e, ou, se…então,…)

Exemplo:

- Se a Maria estudar então fara bons exames

- Ele come e corre

- Pedro dança ou canta

Conectivos lógicos

Os conectivos lógicos são eles que permitem a construção de propósitos compostos,

sendo eles:

- A negação (não): ¬ ou ~

- A conjunção (e): ˄

- A disjunção (ou): ˅

- A condicional (se…então): →

- A bicondicional (se e somente se): ↔

Negação (¬)

Tabela de verdade

Na negação o ~p é verdadeira se e somente se p é falsa e vice versa

p q Exemplo:
v f p: Estamos em 2018
f v

Conjunção: ˄

Tabela de verdade

A conjunção é verdadeira se, e somente, se os conjuntos são verdadeiros.

p q p˄q Exemplo:
v v v p: trará uvas
v f f
f v f q: trará chocolate
f f f

Disjunção (˅)

Tabela de verdade

A disjunção é verdadeira se, uma das preposições for verdadeira ou se as duas forem
verdadeiras.

p q p˅q Exemplo:
v v v p: trará uvas
v f v
f v v q: trará chocolate
f f f
 Implicação (→)

Tabela de verdade

Na implicação é falsa se, e somente se, o antecedente é verdadeiro e o consequente

é falso.

p q p→q Exemplo:
v v v p: trará uvas
v f f
f v v q: trará chocolate
f f v

Bi-implicação (↔)

Tabela de verdade

Na bi-implicação é verdadeira se, e somente se seus componentes são ou ambos

verdadeiros ou ambos falsos.

p q p↔q Exemplo:
v v v p: trará uvas
v f f
f v f q: trará chocolate
f f v

Semântica dos conectivos

p q p p˄q p˅q p→q p↔q

v v f v v v v
v f f f v f f
f v v f v v f
f f v f f v v

Prioridade dos conectivos

Operador Precedência
¬ 1˚.
˄ 2˚.
˅
→ 3˚. NB: Em casos de ambiguidade, aplica-se a
↔ associatividade a direita

Exemplo:

Preposição; p˅¬q→p˅¬q˄¬p

(p˅(¬q))→[(p˅(¬q)˄(¬p))]
Cálculo de predicado de primeira ordem
Cálculo de predicado de primeira ordem trabalha com as preposições categóricas
(todo, algum, nenhum), e consiste basicamente em representa-las.

Exemplo:

Símbolos da linguagem

Quantificadores: ∀ (universal) e ∃ (existencial)

Variáveis: x,y,z,…

Constantes: a,b,c,…

Conectivos: ¬, ˄, ˅, →, ↔

Conceitos básicos

Quantificadores:

∀: Quantificador Universal ∃: Quantificador Universal

Lê-se: todo; para todo; qualquer que seja. Lê-se: existe; ao menos um; algum.
Exemplo: Exemplo:
∀(x) se x∈ℕ então x^2≠0 ∃(x)se A(x) então B(x)
∀(x) (x∈ℕ)→(x^2≠0) ∃(x);[A(x)→B(x)]

Negação de quantificadores:

Predicados: Todo A é B Nenhum A é B

∀(𝑥) (𝐴(𝑥) → 𝐵(𝑥) ¬∃(𝑥) (𝐴(𝑥)˄𝐵(𝑥)
Negação: Algum A não é B Algum A é B
∃(𝑥) (𝐴(𝑥)˄¬𝐵(𝑥) ∃(𝑥) (𝐴(𝑥)˄¬𝐵(𝑥)
Exercícios: Parte I
1. Construa a tabela da verdade para a proposição: E = (p ∨ (¬p ∨ q)) ∧ ¬(q ∧ ¬r).

2. Faça a simplificação lógica da seguinte expressão usando apenas as leis da lógica:

(𝑝 ∧ (¬(¬𝑝 ∨ 𝑞))) ∨ (𝑝 ∧ 𝑞)

3. Construa a tabela da verdade para a proposição: 𝐸 = (𝑝 ↔ 𝑞) ∧ (𝑝 ↔ ¬𝑞).

4. Simplifique a proposição ~ ( ~ p → ~ q).

5. Simplifique a proposição ~ (p v q) v ( ~ p ˄ q)

6. Simplifique a proposição ~ (p v ~ q)

7. Qual a negação de x menor ou igual a -5?

8. Qual a negação de: "o gato mia e o rato chia".

9. Verifique a veracidade da expressão: ∀(𝑥); (𝑥 ∈ ℕ) → (𝑥 + 12 = 15) V( ) F( )

10. Verifique a veracidade da expressão: ∃(𝑥); (𝑥 ∈ ℕ)˄(𝑥 2 + 10 > 40) V( ) F( )

11. Verifique a veracidade da expressão: ∀(𝑥); (𝑥 ∈ ℤ) → (𝑥 2 ≥ 0) V( ) F( )

12. Verifique a veracidade da expressão: ∃(𝑥); (𝑥 ∈ ℕ)˄(𝑥 2 < 0) V( ) F( )

 Faca a negação e traduza-as simbolicamente:

13. Premissa: Algum futebolista não marca golos

14. Premissa: Todo Nissan é veloz e algum pneu é a prova de bala.

15. Premissa: Algum livro é de matemática então todo conteúdo é sobre matemática.
Solução: Parte I
1. Resposta:

p q r (𝑝˅(¬𝑝˅𝑞)) ¬(𝑞˄¬𝑟) E
V V V V V V
V V F V F F
V F V V V V
V F F V V V
F V V V V V
F V F V F F
F F V V V V
F F F V V V

2. Resposta:

(𝑝 ∧ (¬(¬𝑝 ∨ 𝑞))) ∨ (𝑝 ∧ 𝑞)

(𝑝 ∧ (𝑝 ∧ ¬𝑞)) ∨ (𝑝 ∧ 𝑞)

((𝑝 ∧ 𝑝) ∧ ¬𝑞) ∨ (𝑝 ∧ 𝑞)

(𝑝 ∧ ¬𝑞) ∨ (𝑝 ∧ 𝑞)

𝑝 ∧ (¬𝑞 ∨ 𝑞)

𝑝 ∧ 𝑡

3. Resposta:

p q (𝑝 ↔ 𝑞) (𝑝 ↔ ¬𝑞) E
V V F V F
V F V F F
F V V F F
F F F V F

4. Resposta:

¬(¬𝑝 → ¬𝑞)

¬(𝑝 → ¬𝑞)

¬𝑝 → 𝑞
5. Resposta:

¬(𝑝˅𝑞)˅(¬𝑝˄𝑞)

(¬𝑝˄¬𝑞)˅(¬𝑝˄𝑞)

¬𝑝˄(¬𝑞˅𝑞)

¬𝑝˄𝑡

¬𝑝

6. Resposta:

(𝑝˅¬𝑞)

¬ 𝑝˄𝑞

7. Resposta: x maior que -5

8. Resposta : O gato não mia ou o gato não chia

9. F

10. V

11. F

12. V

13. Resposta:

Negação: Todo futebolista marca golos

Simbolização: [∃(𝑥)(𝐹(𝑥)˄𝐺(𝑥))]

[∀(𝑥)(𝑁(𝑥) → 𝑉(𝑥))]

14. Resposta:

Negação: Algum Nissan não é veloz ou nenhum pneu é a prova de bala.

Simbolização: [∀(𝑥)(𝑁(𝑥) → 𝑉(𝑥))]˄[∃(𝑥)(𝑁(𝑥)˄𝑉(𝑥))]

[∃(𝑥)(𝑁(𝑥) → ¬𝑉(𝑥))]˄[¬∃(𝑥)(𝑁(𝑥)˄𝑉(𝑥))]

15. Resposta:

Negação: Algum livro é de matemática e algum conteúdo é sobre matemática.

Simbolização: [∃(𝑥)(𝐿(𝑥)˄𝑀(𝑥))] → [∀(𝑥)(𝐶(𝑥) → 𝑀(𝑥))]

[∃(𝑥)(𝐿(𝑥)˄𝑀(𝑥))]˄[∃(𝑥)(𝐶(𝑥)˄𝑀(𝑥))]
Exercícios: Parte II
1. Sejam as proposições p: Mutola é feliz e q: Mutola é atleta. Traduzir

para a linguagem simbólica as seguintes proposições:

a) Mutola é feliz e atleta: _________________

b) Mutola é feliz e não é atleta: _________________

c) Se Mutola é feliz então Mutola é atleta: _________________

d) Não é verdade que Mutola é triste ou atleta : __________________

2. Transforme as proposições a seguir em proposições compostas:

p: Ana estuda matemática

q: Caio estuda história

p Ʌ q:

_______________________________________________________________

3. Construa a tabela da verdade para a proposição: G = (p ↔ q) ∧ (¬p ↔ q)

4. Construa a tabela da verdade para a proposição: F = q ˅ (p ↔ ¬q).

5. Construa a tabela da verdade para a proposição: D = q ∧ (p ˅q).

6. Construa a tabela da verdade para a proposição: E = q ∧ (p ↔ ¬q) ˄ p

7. Verifique a veracidade da expressão: ∀(𝑥); (𝑥 ∈ ℤ) → (𝑥 2 ∗ 2𝑋 ≥ 0 V( ) F( )

8. Verifique a veracidade da expressão: ∃(𝑥); (𝑥 ∈ ℕ)˄(𝑥 2 > 0) V( ) F( )

9. Verifique a veracidade da expressão: ∀(𝑥); (𝑥 ∈ ℕ)˄(𝑥 2 ≤ 0) V( ) F( )

10. Verifique a veracidade da expressão: ∃(𝑥); (𝑥 ∈ 0)˄(𝑥 2 ≥ 0) V( ) F( )

Faca a negação e traduza-as simbolicamente:

11. Alguma energia é renovável então nenhum bairro terá energia.

12. Nenhum barco afunda ou nenhum submarino emersa.

13. Todo animal é irracional e nenhum pinguim tem asas.

14. Algum peixe não nada ou todos tubaroes sao inofensivos.

15. Todo homem pensa então nenhum homem é irracional.

Conclusão
Cálculo proposicional é um sistema formal na qual as fórmulas representam
preposições que podem ser formadas pela combinação de proposições atómicas usando
conectores lógicos e um sistema de regras de derivação

Preposições são sentenças declarativas, que apresentam um valores lógicos verdadeiros

(v) ou falsos (f), e apresenta dois tipos a preposição atómica e composta.

Preposição atómica é uma sentença declarativa que não contem conectivos lógicos (e,
ou, se…então, …)

Preposição composta é uma sentença que contem um ou mais conectivos lógicos (e,
ou, se…então,…)

Os conectivos lógicos são eles que permitem a construção de propósitos compostos (¬,
˄, ˅, →, ↔)

Cálculo de predicado de primeira ordem trabalha com as preposições categóricas

(todo, algum, nenhum), e consiste basicamente em representa-las.
Bibliografia
NEGREIROS, T. Raciocínio Lógico, 2015

LÓGICA DE PRIMEIRA ORDEM, Disponível em:

http://www.diegomacedo.com.br/logica-de-primeira-ordem-sentencas-proposicoes-
conectivos-logicos-principios-fundamentais-e-tabelas-verdade/ Acesso em: 23 de mar.
2018