Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica Proposicional - Coggle Diagram
Lógica Proposicional
Proposição
Conceito
Sentença declarativa
Com Valor Verdadeiro
ou Falso
Expressa por meio de
palavras e números
Não são Proposição
Sentenças Imperativas
Sentença Interrogativas
Sentença Exclamativa
Sentença sem verbo
Sentenças Abertas
Ex.: Ele é professor.
Quem é ele?
Princípios
Identidade
Uma proposição Verdadeira
sempre é Verdadeira
Uma proposição Falsa
sempre é Falsa
Não-contradição
Proposição não pode ser
Verdadeira e Falsa
ao mesmo tempo
Terceiro Excluído
Proposição só pode ter
dois valores verdades
Não podendo ter outro valor
Tipos de Proposições
Simples
Uma única proposição
Um único valor lógico
Compostas
Mais de uma proposição
Proposição Composta
Sobre Conectivos
Conecta 2 proposições
simples
Toda proposição proposta
tem que ter conectivo
Conectivos ou
Operadores Lógicos
E (^)
Conjunção
OU (v)
Dinjunção
ou Disjunção Inclusiva
SE...ENTÃO (→)
Condicional
ou Implicação
...SE E SOMENTE SE... (↔)
Bicondicional
...OU...OU (⊻)
Disjunção Exclusiva
*NÃO (~ ou ¬)
Não se classifica
como conectivo
Ele é um Modificador
Máscara dos Conectivos
Condicional
Quando
Sempre
Caso
Logo
Negação
Tabela Verdade
Conceito
Descobre o resultado de
uma proposição composta
Critérios
Valor lógico das
Proposições
Qual o sentido
do conectivo