Senhor

FACULDADE PITÁGORAS

ELTON FRANÇA ALENCAR
JAIRA SILVA SARDINHA
RICKSON DA SILVA BRITO
AUGUSTO BONIEK SANTOS MACIEL
SOUSA VANGEL

TRABALHO EXTRA DA DISCIPLINA LÓGICA MATEMÁTICA
COMPUTACIONAL

SÃO LUÍS-MA
2013

ELTON FRANÇA ALENCAR
JAIRA SILVA SARDINHA
RICKSON DA SILVA BRITO
AUGUSTO BONIEK SANTOS MACIEL
SOUSA VANGEL

TRABALHO EXTRA DA DISCIPLINA LÓGICA MATEMÁTICA
COMPUTACIONAL
Trabalho apresentado para obtenção de nota na Prova Oficial 1 do curso Ciência da Computação

(1º

Período),

da

Faculdade Pitágoras.
Professor: José Antônio de Moura Neto

SÃO LUÍS-MA
2013

1) Encontre uma situação da vida real onde os conceitos de Lógica Matemática
Computacional possam ser aplicados. Veja a situação da parcial 1;
Certo dia, cinco funcionários de uma empresa - Ana, Bruno, Caio, Daniel e Esmeralda, foram convocados para uma reunião em que se discutiria a implantação de um novo serviço de telefonia. Após a realização dessa reunião, alguns funcionários do setor fizeram os seguintes comentários:

1. “Se Daniel participou da reunião, então Esmeralda também participou”
2. “Se Daniel não participou da reunião, então Caio participou”.
3. “Se Bruno ou Caio participaram, então Ana não participou”.
4. “Esmeralda não participou da reunião”.
Considerando que todas as afirmações eram verdadeiras, pode-se concluir com certeza que, além de Esmeralda, não participaram de tal reunião
R=
Lembrando que a quarta proposição é verdadeira e na primeira proprosição também fala de
Esmeralda, dizendo que ela também participou da reunião, pode-se dizer que este termo é falso. O conectivo presente na primeira afirmação é o se...então, onde a única possibilidade de uma proposição desse tipo ser falsa é quando o último termo é falso e o primeiro verdadeiro. No enunciado diz que todas as proposições são verdadeiras, ou seja, se o segundo termo da primeira preposição é falsa, para que a proposição seja verdadeira o primeiro termo tem que ser