Exercícios Resolvidos de Sistemas Lógicos e Cálculo Proposicional Clássico - Faculdade Cotemig

Introducao a Sistemas Logicos Prof Julio Cesar da Silva Slides 41 Aplicacoes do CPC Exercıcios de aprofundamento Faculdade Cotemig Belo HorizonteMG Prof Julio Cesar da Silva Introducao a Sistemas Logicos 1 9 Sumario 1 Calculo Proposicional Classico Aplicacoes Exercıcios Prof Julio Cesar da Silva Introducao a Sistemas Logicos 2 9 EX01 Prove as equivalˆencias a seguir comecando sempre com a expressao a esquerda do sımbolo de encontrando uma serie de fbfs equivalentes que convertem a expressao a esquerda na expressao a direita Ou seja nao use tabela de verdade a A B C A C B b A B A B A c A B A A B d A B B A B e A A B A B Prof Julio Cesar da Silva Introducao a Sistemas Logicos 3 9 a Associatividade b Complemento c Comutatividade d De Morgan e Comutatividade ex02 Dada a formula P Q P 1 determine se ela pode ser reduzida a outra formula por meio das equivalˆencias logicas mencionadas Prof Julio Cesar da Silva Introducao a Sistemas Logicos 4 9 1 V Elemento Neutro PVP1 PVQ Distributividade 1 PV Complemento P Elemento Neutro ex03 Dada a formula P P Q 0 determine se ela pode ser reduzida a outra formula por meio das equivalˆencias logicas mencionadas Prof Julio Cesar da Silva Introducao a Sistemas Logicos 5 9 P1 P v QVO O V QO Complemento Q Elemento Neutro Q Elemento Neutro ex04 Suponha que AB e C representam condicoes que serao verdadeiras ou falsas quando um certo programa e executado Suponha ainda que vocˆe quer que o programa realize uma determinada tarefa somente quando A ou B for verdadeira mas nao ambas e C falsa Usando A B e C e os conectivos E Ou e Nao escreva uma proposicao no CPC que sera verdadeira apenas nessas condicoes Prof Julio Cesar da Silva Introducao a Sistemas Logicos 6 9 ALBU LA BALC Referˆencias 1 Para Todxs httpsgithubcomGrupodeEstudosemLogicada UFRNParaTodxsNatal 2 SOUZA Sergio Guedes de org Logica de programacao algorıtmica 1 ed Sao Paulo SP Pearson 2014 Ebook Disponıvel em httpsplataformabvirtualcombrLeitorPublicacao22146pdf0 3 STEIN C S et al Matematica discreta para ciˆencia da computacao 1 ed Sao Paulo SP Pearson 2013 Ebook Disponıvel em httpsplataformabvirtualcombrLeitorPublicacao3824pdf0 4 ASCENCIO Ana Fernanda Gomes CAMPOS Edilene Aparecida Veneruchi de Fundamentos da programacao de computadores algoritmos PASCAL CC padrao ANSI e JAVA 2 ed Sao Paulo Pearson 2012 Ebook Disponıvel em httpsplataformabvirtualcombrLeitorPublicacao3272pdf0 Prof Julio Cesar da Silva Introducao a Sistemas Logicos 7 9 juliocesarcotemigcombr Prof Julio Cesar da Silva Introducao a Sistemas Logicos 8 9 Prof Julio Cesar da Silva Introducao a Sistemas Logicos 9 9