Sumário
1 Conceito de Proposição 1
1.1 Princı́pios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
4 Tabela Verdade 3
5 Exercı́cios Propostos 3
1 Conceito de Proposição
O principal objetivo da lógica é estabelecer uma linguagem formal que seja clara, precisa e
que não possua ambiguidade. Antes de definirmos proposição apresentaremos alguns conceitos
preliminares.
Definição 1.1 (Frase). É o elemento de comunicação que relaciona palavras entre si de modo
a estabelecer uma mensagem com sentido completo.
(i) Declarativa : Ocorrem quando o emissor constata um fato. Esse tipo de frase informa ou
declara alguma coisa. Podem ser afirmativas ou negativas.
(ii) Imperativas : Ocorrem quando o emissor da mensagem dá uma ordem, um conselho ou faz
um pedido, utilizando o verbo no modo imperativo. Podem ser afirmativas ou negativas.
(iii) Interrogativas : Ocorrem quando uma pergunta é feita pelo emissor da mensagem. São
empregadas quando se deseja obter alguma informação. A interrogação pode ser direta ou
indireta.
1
Exemplo 1.2. São exemplos da frases interrogativas:
(iv) Exclamativas : Nesse tipo de frase o emissor exterioriza um estado afetivo. Apresentam
entoação1 ligeiramente prolongada.
Definição 1.4 (Proposição). É uma frase declarativa (com sujeito e predicado) à qual pode ser
atribuı́do, sem ambiguidade, um dos valores lógicos: verdadeiro (V) ou falso (F).
Observação 1.5.
(i) Apresenta-se de forma estruturada com uma oração, com sujeito, verbo e predicativo;
(ii) É afirmativa declarativa (não é interrogativa, nem exclamativa).
1.1 Princı́pios
Dois são os princı́pios que norteiam e pensamento na lógica matemática.
Princı́pio 1.7 (Princı́pio da Não-Contradição). Uma proposição não pode ser simultaneamente
verdadeira e falsa.
Princı́pio 1.8 (Princı́pio do Terceiro Excluı́do). Toda proposição ou é só verdadeira ou é só
falsa, nunca ocorrendo um terceiro caso.
2
3.2 Proposição composta (moleculares)
Uma proposição é composta quando for formada pela composição de duas ou mais proposições,
representando em sua composição mais de uma ideia. Serão representadas pelas letra latinas
maiúsculas : P, Q, R, S . . ..
3.3 Conectivos
São palavras que usamos para formar novas proposições a partir de outras. Em sı́mbolos:
Conectivo e ou se ... então ... se e somente se não
Sı́mbolo ∧ ∨ → x ∼
4 Tabela Verdade
Tabela-verdade é uma maneira prática de dispor organizadamente os valores lógicos envolvidos
em uma proposição composta.
5 Exercı́cios Propostos
1. Determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
5. Sejam as proposições:
p: Pedro saiu.
q: Marta está aqui.
(a) ∼ p.
(b) ∼ q.
(c) p ∧ q.
3
(d) p ∨ q.
(e) ∼ p ∧ q.
(f) p∨ ∼ q.
(g) ∼ (p ∧ q).
(h) ∼ (p ∨ q).
(i) ∼ p∨ ∼ q.
(j) ∼ p∧ ∼ q.
6. Sejam as preposições:
p: Luı́za é modelo.
q: Luı́za é atriz.
(a) p∧ ∼ p.
(b) p∨ ∼ p.
(c) p∧ ∼ q.
(d) ∼ p ∨ q.
(e) ∼ p∧ ∼ q.
(f) ∼ (p ∨ q).
(g) ∼ p∨ ∼ q.
(h) ∼ (p ∧ q).
8. Sejam as preposições:
p: Está calor.
q: É verão.
(a) p → q.
(b) q → p.
(c) ∼ p → q.
(d) p →∼ q.
4
(e) (p∧ ∼ q) → p.
(f) (∼ p∧ ∼ q) →∼ q.
(g) ∼ (p ∧ q) → p.
(h) q → (p ∧ q).
(i) (p → q) ∧ (q → p).
(a) Se 3 + 2 = 7, então 4 + 4 = 8.
(b) Não é verdade que se 2 + 2 = 5, então 4 + 4 = 10.
(c) Se 3 + 3 = 8, então 2 + 2 = 4 ou 7 + 7 = 14.
(d) Se 5 > 2 e 2 6= 1, então 7 + 2 = 10 ou 2 + 3 = 5.