·

Ciências Biológicas ·

Introdução à Lógica e Programação

Send your question to AI and receive an answer instantly

Ask Question

Preview text

QUESTÃO 01 Apresente o método dedutivo para provar a validade do seguinte argumento 1 Todo crocodilo é maior que qualquer jacaré 2 Oliver é um crocodilo 3 Nem todo crocodilo é maior que qualquer animal 4 Toda serpente é um animal 5 Marta é uma serpente Q Marta não é um jacaré QUESTÃO 02 Verifique a validade do seguinte argumento 1 p q v r 2 s r 3 u s 4 u q Q p QUESTÃO 3 Considere a proposição P João entregou o trabalho mas não fez a prova Apresente em linguagem corrente a proposição correspondente a P QUESTÃO 4 Através do método dedutivo apresente os passos para comprar a equivalência p q p q p q QUESTÃO 5 Apresente o método dedutivo para provar a validade do seguinte argumento 1 Todos os animais do instituto EARTH têm penas ou são mamíferos 2 Todos os animais que têm penas e sabem voar gostam de frutas 3 Remo é um animal que não é mamífero e sabe voar 4 Todo animal do instituto EARTH que não é mamífero tem penas Q Algum animal do instituto EARTH gosta de frutas QUESTÃO 6 Através do Método de aplicar regras de inferência e equivalência verifique a validade do argumento 1 p q 2 p r 3 u v s r 4 u v w Q w s QUESTÃO 7 Faça a representação da proposição p q r em função de uma proposição que contenha apenas os conectivos e v negação e disjunção QUESTÃO 8 Passar para a forma normal a proposição p q v q q v r Essa forma normal é classificada como