ATIVIDADES PRÁTICAS SUPERVIOSIONADAS (ATPS)
Por: Douglas Jussara Cardozo • 1/6/2015 • Trabalho acadêmico • 1.737 Palavras (7 Páginas) • 200 Visualizações
FACULDADE ANHANGUERA DE RIBEIRÃO PRETO
Curso: CIÊNCIA DA COMPUTAÇÃO
Disciplina: Lógica Matemática
Professora: Kathia Garcia de Figueiredo
Douglas Donizete Cardoso RA: 6265238887
ATIVIDADES PRÁTICAS SUPERVIOSIONADAS (ATPS)
Ribeirão Preto/ SP
Junho / 2015
Douglas Donizete Cardoso RA: 6265238887
Etapa 3: Aula tema: Lógica Proposicional – Linguagem; Conectivos e Valores Lógicos; Tautologia.
Etapa 4 e 5: Lógica Proposicional – argumentos Válidos; Regras de Dedução;
Métodos Dedutivos; Argumentos Verbais; Lógica Posicional – Tableaux Semânticos. Técnicas de Demonstração.
Etapa 6: Lógica de Predicados – Linguagem; Quantificadores, Predicados e
Validade. Lógica de Predicados – Regras de Dedução; Métodos Dedutivos; Argumentos Verbais.
Etapa 7 e 8: Álgebra de Boole.
Relatório das etapas 3, 4, 5, 6, 7 e 8 da Atividades Práticas Supervisionada, desenvolvido durante a disciplina de Lógica Matemática como parte da avaliação referente ao 2º Bimestre.
Professora: Kathia Garcia de Figueiredo
Ribeirão Preto / SP
Junho/ 2015
Índice
Análise da etapa 3.............................................................................................................4
Análise da etapa 4 ............................................................................................................5
Análise da etapa 5 ............................................................................................................6
Análise da etapa 6 ............................................................................................................7
Análise da etapa 7 ............................................................................................................8
Análise da etapa 8 ............................................................................................................8
Considerações Finais .......................................................................................................11
Bibliografia .....................................................................................................................12
Etapa 3: Aula tema: Lógica Proposicional – Linguagem; Conectivos e Valores Lógicos; Tautologia.
Analisando:
Considerando que a variável valor1 receba a e valor2 receba b.
Traduzindo para linguagem proposicional:
((a < b) V ímpar (n)) V(( (a < b) Λ ímpar (n)) → [pic 1][pic 2]
preposição1
→ [pic 3]
preposição2
Aplicação da formula:
((a < b) V ímpar (n)) V ( (a < b) Λ ímpar (n))[pic 4][pic 5]
[pic 6] | ((a < b) | V | ímpar (n)) | V | ([pic 7] | (a < b) | Λ | impar (n)) |
F | V | V | V | Preposição 2 | F | V | V | V |
F | V | V | F | Preposição 1 | V | V | F | F |
F | F | V | V | Preposição 1 | V | F | F | V |
V | F | F | V | Preposição 1 | V | F | F | F |
As duas sentenças são equivalentes, sendo assim podemos analisar o número de equivalências tautológicas usadas no código.
F T T T preposição2 F T T T.
F T T F preposição1 T T F F e F F T F preposição1 T F F T.
T F F F preposição1 T F F F.
Com isso, concluí a utilização de três equivalências tautológicas. Podendo atribuir BA.
Etapa 4: Lógica Proposicional – argumentos Válidos; Regras de Dedução;
Métodos Dedutivos; Argumentos Verbais; Lógica Posicional – Tableaux Semânticos. Técnicas de Demonstração.
Lógica Proposicional.
“José quer ir ao teatro assistir à peça, “A Vida é uma Comédia”, mas não tem certeza se a mesma está sendo exibida. Seus amigos, Maria, Luís e Júlio têm opiniões discordantes sobre se a peça está ou não em cartaz. Se Maria estiver certa, então Júlio está enganado. Se Júlio estiver enganado, então Luís está enganado. Se Luís estiver enganado, então a peça não está sendo exibida. Ora, ou a peça “A Vida é uma Comédia” está sendo exibida, ou José não irá ao teatro. Verificou-se que Maria está certa”.
Analisando e traduzindo para linguagem proposicional:
A- Maria
B- Júlio
C- Luís
D- Peça de Teatro
E- José Ir ao Teatro
Podemos atribuir as relações entre os envolvidos citados na sentença da seguinte forma:
A → B, ~B → C, C → D, D → E.[pic 8][pic 9][pic 10][pic 11][pic 12][pic 13]
Tendo o próprio enunciado como base de que a variável de Maria estar certa, Júlio e Luís estão enganados, a peça de teatro em questão não está sendo exibida e José não irá ao teatro.
Com essa afirmação podemos transformar a fórmula no inverso para que haja um resultado verdadeiro, sendo assim:
...