Lista de Exercícios Avaliativa 03 - Lógica para Computação - UFPI

MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DO PIAUÍ CENTRO DE EDUCAÇÃO ABERTA E A DISTÂNCIA CURSO DE SISTEMAS DE INFORMAÇÃO LÓGICA PARA COMPUTAÇÃO LISTA DE EXERCÍCIOS 03 AVALIATIVA TRABALHO 1 Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional Utilize símbolos proposicionais para representar sentenças atômicas Em seguida demonstre as sentenças proposicionais utilizando a Tabela Verdade a Se eu sou rico você é pobre e se você é pobre eu não sou rico 10 b Francisco tem um lápis e se Francisco tem um lápis então Francisco tem uma borracha 10 c O jogo começará a menos que pare de chover 10 d Se passar de ano irei para próxima série caso contrário repetirei o ano 10 e Se segurança é um problema então o controle da informação deve ser aumentado Se segurança não é um problema então os negócios via internet devem aumentar 20 f Se o time joga bem então ganha o campeonato Se o time não joga bem então o técnico é culpado Se o time ganha o campeonato então os torcedores ficam contentes 20 3 Demonstrar a validade equivalência tautológica do argumento p q q r r V s s p 20