ATPS: Lógica Proposicional – argumentos Válidos; Regras de Dedução

Gesiane de Salles Cardin Denzin

Pág. 8 de 11

seguir, pelos proprietários, apresenta a solução correta para o dilema apresentado no texto do passo 2.

(a) a peça “A Vida é uma Comédia” está sendo exibida;

(b) Luís e Júlio não estão enganados;

(c) Júlio está enganado, mas não Luís; (d) Luís está enganado, mas não Júlio; (e) José não irá ao teatro.

ETAPA 5 (tempo para realização: 2 a 5 horas)

 Aula tema: 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.

Esta atividade é importante para que você aprenda usar ferramentas da lógica formal para ver como chegar a conclusões a partir de proposições dadas.

Para realizá-la é importante seguir os passos descritos.

PASSOS

Passo 1 (Equipe)

Dar continuidade à Etapa 4 e fazer as seguintes atribuições: Atribuir a letra I se sua resposta for a alternativa (a)

Atribuir a letra O se sua resposta for a alternativa (b)

Atribuir a letra A se sua resposta for a alternativa (c)

Atribuir a letra U se sua resposta for a alternativa (d)

Atribuir a letra E se sua resposta for a alternativa (e)

Passo 2 (Equipe)

Elaborar um relatório e entregá-lo ao professor com:

 a proposição composta encontrada no passo 3 da etapa 4, bem como todo raciocínio realizado para montá-la;

 a solução encontrada no passo 4 da etapa 4, apresentando juntamente a solução, todas regras de dedução utilizadas na prova direta;

 a letra encontrada após a atribuição feita no passo 1 desta etapa.

ETAPA 6 (tempo para realização: 2 a 5 horas)

 Aula tema: Lógica de Predicados – Linguagem; Quantificadores, Predicados e

Validade. Lógica de Predicados – Regras de Dedução; Métodos Dedutivos; Argumentos Verbais.

Esta atividade é importante para que você aprenda a trabalhar com expressões que contenham variáveis cujo valor lógico vai depender do valor atribuído à variável, cuja possibilidade não existia em fbf’s proposicionais.