Fgfdgdgdfgdgdg

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)

Ler atentamente o capítulo do livro texto que descreve os conceitos introdutórios da lógica proposicional, regras de dedução e métodos dedutivos.

Passo 2 (Equipe)

Ler a seguir, o texto entregue pelos proprietários da empresa Playing Game aos seus funcionários:

“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 aMé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)

Ler atentamente o capítulo do livro texto que descreve os conceitos introdutórios da lógica proposicional, regras de dedução e métodos dedutivos.

Passo 2 (Equipe)

Ler a seguir, o texto entregue pelos proprietários da empresa Playing Game aos seus funcionários:

“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