Mapa Mental - Conectivos Lógicos

Prévia do material em texto

Conjunção Condicional Representa a Representa a operação operação 'e' entre 'se... entre proposições. proposições. Verdadeira apenas se Falsa quando a todas as proposições antecedente é forem verdadeiras. verdadeira e Exemplo: 'Pedro é consequente falsa. enfermeiro e Márcia Exemplo: 'Se Pedro é é médica'. enfermeiro, então Simbolizado por 'A' Márcia é entre as Simbolizado por proposições. entre as proposições. Conectivos Negação Disjunção Exclusiva Representa a Lógicos Representa a operação operação de 'ou...ou' entre proposições. negação de uma Verdadeira se apenas uma proposição. proposição for verdadeira. valor é falso se Exemplo: é enfermeiro a proposição for ou Márcia é médica'. verdadeira. Simbolizado por '+' entre as Exemplo: 'O carro proposições. não é amarelo'. Simbolizado por antes da proposição. Valores Lógicos Cada proposição pode ser verdadeira ou falsa. Os conectivos alteram Disjunção Inclusiva valores lógicos das Bicondicional Representa a operação 'ou' proposições. entre proposições. Importante para a Representa a operação Verdadeira se pelo menos uma construção de argumentos 'se e somente se' entre válidos. proposições. proposição for verdadeira. Fundamental na lógica Verdadeira quando ambas Exemplo: é enfermeiro ou Márcia é médica'. proposicional e as proposições têm matemática. mesmo valor. Simbolizado por 'v' entre as Exemplo: 'Pedro é proposições. enfermeiro se e somente se Márcia é Simbolizado por entre as proposições.