Introdução à Computação Programação para Engenharia Cinara Menegazzo 2016/01 1
Proposição: Afirmação que se faz a respeito de um domínio de problema João é inteligente. Maria é a melhor aluna da turma. 5+5 > 10 5+3 = 8?????? x + y = 8 Proposição: Só pode ter dois valores lógicos (princípio da exclusão); Não pode ser verdadeira ou falsa simultaneamente (princípio da nãocontradição).
Lógica Proposicional Todo mamífero é um animal. Todo cavalo é um mamífero. Portanto, todo cavalo é um animal. Ou SE é mamífero ENTÃO é animal. SE é cavalo ENTÃO é mamífero Logo (SE cavalo => mamífero) E (SE mamífero=>animal) Conclusão: Todo cavalo é animal Ordem das proposições
Proposição: a) Santa Catarina está localizada na região Sul do Brasil. b) Boa sorte!!!!!! c) Quem é você? d) Dilma é a presidente do Brasil. e) Lula é o presidente do Brasil. f) Faça o dever de casa.
Proposição não é expressa por: Perguntas Exclamações, ordens, conselhos Desejos Promessas
Proposição: g) Esta frase é falsa. Será Verdadeira ou Falsa para ser proposição.
Proposição: g) Esta frase é falsa. V F
Proposição: g) Esta frase é falsa. V F Dois valores lógicos
Proposição: g) Esta frase é falsa. V F Dois valores lógicos F V
Proposição: g) Esta frase é falsa. V F Dois valores lógicos F V Contradição
Proposição: g) Esta frase é falsa. V F Dois valores lógicos F V Contradição Não é Proposição, é um Paradoxo
Proposição: Simples Maria é a melhor aluna da turma. João é inteligente. Composta Maria é a melhor aluna da turma e João é inteligente.
Proposição Composta: Conectivos Lógicos João é inteligente p Λ Maria é a melhor aluna da turma. q João é inteligente Maria é a melhor aluna da turma. p V q
Proposição : Conectivos Lógicos Λ V Conjunção (e) Disjunção (ou)
Proposição : Conectivos Lógicos Λ V Conjunção (e) Disjunção (ou) Proposição : Conectivo Negação
Proposição : Conectivos Lógicos Λ V Conjunção (e) Disjunção (ou) Proposição : Conectivo Negação p q
Proposição : Conectivos Lógicos Λ V Conjunção (e) Disjunção (ou) Proposição : Conectivo Negação p q
Proposição : Conectivo Condicional p q Se... Então O réu é culpado O réu é condenado.
Proposição : Conectivo Implicação Se... Somente Se.. P q O réu é condenado O réu é culpado.
Tabela Verdade Toda lógica gera uma regra chamada Tabela Verdade
Tabela Verdade Toda lógica gera uma regra chamada Tabela Verdade p q p q pλq pvq p q p q
Represente cada uma das seguintes afirmações em função de p e q : a) Amélia é magra ou bonita. b) Amélia é magra e bonita; c) Se Amélia é magra, então ela é bonita. d) Amélia só é bonita se ela é magra. e) Amélia não é magra, nem bonita.
Tabela Verdade Toda lógica gera uma regra chamada Tabela Verdade p q p q pλq pvq p q p q V V F F V V V V V F F V F V F F F V V F F V V F F F V V F F V V
Tabela Verdade Exercício 1): Preencha a tabela verdade a) (pλq) p b) (pλq) c) (pvq) d) ( pv q) e) (pλq) V ( p q)
Exercício 2): Realize as seguintes operações matemáticas com números binários e após faça a mesma operação com os números na base decimal : a)1000 + 1000 b)1111 + 1010 c)1001 0100 d)1010 0110