Mapa Mental - Lógica Proposicional

Prévia do material em texto

Tipos de Proposições Valor Lógico e Verdade Proposições simples: afirmam Cada proposição possui valor um fato ou negação direta. lógico: verdadeiro (v) ou falso Proposições compostas: (F). formadas por conectivos Proposições compostas têm valor lógicos entre proposições lógico determinado pelos valores simples. das simples e conectivos. Proposições condicionais: Sentenças falsas podem ajudar a expressam relações do tipo determinar a verdade de outras 'se... proposições relacionadas. Proposições bicondicionais: Exemplo: se uma condicional é indicam equivalência entre falsa, O antecedente é duas proposições. verdadeiro e consequente falso. Lógica Definição de Proposição Análise de Proposições Proposição é uma sentença declarativa que pode ser Proposicional Sentenças devem ser avaliadas quanto à possibilidade de serem verdadeira ou falsa. verdadeiras ou falsas. Sentenças que expressam ordens Sentenças imperativas ou ou perguntas não são proposições interrogativas não são lógicas. proposições lógicas. Proposições possuem valor lógico Proposições podem ser definido, independentemente do representadas simbolicamente conteúdo. para facilitar análise lógica. Exemplos: 'João não vai à praia' Exemplo: 'Se a rainha usa é proposição; 'Elabore colar, então a princesa usa não é. Aplicações da Lógica Proposicional coroa' é uma proposição Fundamental para raciocínio formal e condicional. construção de argumentos válidos. Utilizada em matemática, computação, filosofia e linguística para análise de Conectivos Lógicos Relações Lógicas entre Proposições sentenças. Conjunção (e): verdadeira Auxilia na identificação de falácias e Implicação: uma proposição implica outra somente se ambas as inconsistências em argumentos. se a verdade da primeira garante a da segunda. proposições forem Base para sistemas de inteligência verdadeiras. artificial e programação lógica. Equivalência: duas proposições são Disjunção (ou): verdadeira logicamente equivalentes se sempre compartilham mesmo valor. se pelo menos uma das proposições for verdadeira. Negação: inverte valor lógico da Condicional (se... então): proposição original. falsa apenas quando Exemplo: 'O carro está quebrado se, e antecedente é verdadeiro e somente se, pneu não está careca' é consequente falso. bicondicional. Bicondicional (se e somente se): verdadeira quando ambas as proposições têm mesmo valor lógico.