Estruturas Lógicas Exemplos:

a) Qual é sua profissão?

Conceito de Proposição:
b) Há cachorros que não são mamíferos?
É todo conjunto de palavras ou símbolos que
c) Você conseguiu terminar a prova discursiva?
exprimem uma ideia de sentido completo e que, além
3 – Frases Exclamativas
disso, pode ser julgado como verdadeiro ou falso.

Sentenças exclamativas exprimem sentimentos,

Toda proposição apresenta Verbo
sensações, reações a determinados atos. Dessa forma,
Ideia de Sentido Completo  tem sentido, se
não são passíveis de julgamento como verdadeiras ou
consegue criar significado.
falsas e como consequência não podem ser
Exemplos classificadas como proposições.

A: André foi aprovado no concurso da Polícia Federal; Exemplos:

B: Carlos ama Maria e Maria ama José; a) Minha filha nasceu!

C: 4 2=5 2+3 2;
D: Se Ricardo é servidor da Receita Federal, então ele
é analista tributário.
Não são proposições
1 – Frases Imperativas
Sentenças imperativas apresentam ideia de ordem,
conselho, pedido. Dessa forma, não faz sentido
avaliarmos sentenças desse tipo como verdadeiras ou
falsas. Por esse motivo não são consideradas
proposições.
b) Fui aprovado no concurso!
c) Você é muito forte!
PROCOPIO – RLM
As proposições são as frases declarativas que
conseguimos atribuir um valor, ou seja, frases
paradoxais, com incógnitas e com pronome no sujeito
não são declarativas veja:
 Paradoxal: Essa frase é falsa
o Note que se a frase for verdadeira ela
é falsa e se for falsa, então é verdade.
 Com incógnitas: x+4 = 5

Exemplos: o Perceba que não tem como saber se é

verdade ou não, pois não se sabe o
a) Estude bastante;
valor de x.
b) Erga o braço;  Com pronome no sujeito: ela é linda
o Note que não da para saber quem é
c) Beba água.
ela, então não tem como você saber
2 - Frases interrogativas se é verdade ou não que é linda.

Sentenças interrogativas não nos dão possibilidade de

julgamento como verdadeiro ou falso. Assim, não são
consideradas proposições.
Inferência

1 - Modus Ponens

P  Q (premissa verdadeira)

Se P é verdadeiro então Q é verdadeiro

Então P  Q, se tenho P=V  Q = V.

2 – Modus Tolens

P  Q (premissa verdadeira)

Se Q é falso, então tenho P falso, sendo assim:

Então P  Q, se tenho Q=F  P = F.

3-