TrabalhosGratuitos.com - Trabalhos, Monografias, Artigos, Exames, Resumos de livros, Dissertações
Pesquisar

ATIVIDADES PRÁTICAS SUPERVIOSIONADAS (ATPS)

Por:   •  1/6/2015  •  Trabalho acadêmico  •  1.737 Palavras (7 Páginas)  •  233 Visualizações

Página 1 de 7

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:

...

Baixar como (para membros premium)  txt (11 Kb)   pdf (336.5 Kb)   docx (626.3 Kb)  
Continuar por mais 6 páginas »
Disponível apenas no TrabalhosGratuitos.com