



Estude fácil! Tem muito documento disponível na Docsity
Ganhe pontos ajudando outros esrudantes ou compre um plano Premium
Prepare-se para as provas
Estude fácil! Tem muito documento disponível na Docsity
Prepare-se para as provas com trabalhos de outros alunos como você, aqui na Docsity
Os melhores documentos à venda: Trabalhos de alunos formados
Prepare-se com as videoaulas e exercícios resolvidos criados a partir da grade da sua Universidade
Responda perguntas de provas passadas e avalie sua preparação.
Ganhe pontos para baixar
Ganhe pontos ajudando outros esrudantes ou compre um plano Premium
Comunidade
Peça ajuda à comunidade e tire suas dúvidas relacionadas ao estudo
Descubra as melhores universidades em seu país de acordo com os usuários da Docsity
Guias grátis
Baixe gratuitamente nossos guias de estudo, métodos para diminuir a ansiedade, dicas de TCC preparadas pelos professores da Docsity
Neste documento, aprenda sobre as proposições simples e compostas na lógica proposicional, além dos conectivos lógicos utilizados para ligá-las. Ensaie com alguns exemplos e tabelas verdade para melhor compreensão.
Tipologia: Notas de aula
1 / 6
Esta página não é visível na pré-visualização
Não perca as partes importantes!
Nome: Data: Semestre: Curso: TADS Disciplina: Matemática Aplicada à Computação Professor: Shalimar Villar
Proposição : É uma sentença declarativa, seja ela expressa de forma afirmativa ou negativa, na qual podemos atribuir um valor lógico “V” (verdadeiro) ou “F”(falso). Uma proposição também pode ser expressa por símbolos. Vejamos alguns exemplos: Brasília é a capital do Brasil – É uma sentença declarativa expressa de forma afirmativa. Podemos atribuir um valor lógico, como a sentença é verdadeira seu valor lógico é “V”. A argentina não é um país pertencente ao continente Africano – É uma sentença declarativa expressa na forma negativa. Podemos atribuir um valor lógico, como a sentença é verdadeira, seu valor lógico é “V”. Todos os homens são mortais – É uma sentença declarativa expressa na forma afirmativa. Podemos atribuir um valor lógico, como a sentença é verdadeira, seu valor lógico é “V” 10 é um número par positivo – É uma sentença declarativa expressa na forma afirmativa. Podemos atribuir um valor lógico, como a sentença é verdadeira, seu valor lógico é “V” 7+ 5 = 10 – É uma sentença declarativa expressa na forma afirmativa .Podemos atribuir uma valor lógico, como a sentença é falsa, seu valor lógico é “F”. x - 2= 5 – Não é uma proposição, pois não sabemos o valor da variável “x”, ou melhor, não podemos atribuir um valor lógico “V” ou “F”. Porém para “torná-la” proposição bastaremos usar os chamados quantificadores. As proposições lógicas podem ser classificadas em dois tipos:
Podemos ver que atribuir um valor lógico para uma proposição simples é fácil, mas e para uma proposição composta como faremos isso? Utilizaremos um recurso chamado de tabelas verdade. As tabelas verdade são usadas para representar todos os valores lógicos possíveis de uma proposição. Voltemos ao exemplo anterior. Brasília é a capital do Brasil”, pode ser representada por “p”. Representando-a na tabela verdade, temos: p V F Sabendo que uma tabela verdade é a representação de todas as possibilidades lógicas de uma proposição, agora vamos estudar os conectivos lógicos que ligam as proposições compostas para sim podermos analisar os valores lógicos de uma proposição composta. Conectivos Lógicos Conjunção: Vimos pela tabela acima que a operação da conjunção liga duas ou mais proposições simples pelo conectivo “ e ”. Observemos o exemplo: Irei ao cinema e ao clube. Vamos montar a tabela verdade para a proposição composta destacando todas as valorações possíveis. Negação ~ Não p A bicicleta não é azul Conjunção ^ P e q Thiago é médico e João é Engenheiro Disjunção v P ou q Thiago é médico ou João é Engenheiro Disjunção Exclusiva v Ou p ou q Ou Thiago é Médico ou João é Engenheiro Condicional
Se p então q Se Thiago é Médico então João é Engenheiro Bicondicional
P se e somente se q Thiago é médico se e somente se João é Médico
Montando a tabela verdade teremos Disjunção Exclusiva: p v q (ou p ou q) p q p v q V V F V F V F V V F F F
Bicondicional : É a estrutura formada por duas condicionais… “ p se e somente se q”. Observe que: Exemplo: 4 é maior que 2 se e somente se 2 for menor que 4.