Please enable JavaScript.
Coggle requires JavaScript to display documents.
Estruturas lógicas - Coggle Diagram
Estruturas lógicas
Conectivos lógicos
Usados para ligar duas proposições simples
Combinações de valores lógicos
VV
VF
FV
FF
P^Q: conjunção
Só é V quando as duas são V
PvQ: disjunção
É V quando uma ou ambas são verdade
P→Q: condicional
Só é F quando apenas a 1ª é V
P<->Q: bicondicional
Só é verdadeiro quando os valores lógicos são iguais
Pv-Q: disjunção exclusiva
Só é V quando apenas uma é V
Proposições lógicas
Declaração, composta por palavras ou símbolos, e que possui o valor lógico verdadeiro ou falso
Possui
Presença de verbo
Sentido completo
Princípio da não contradição
Pode ser representada por letra
Minúscula:
preposição simples
Maiúscula:
preposição composta
Sentenças que não são proposição
Exclamativa
Interrogativa
Imperativa
Aberta
Quando falta informação
Simples (atômica)
Uma única proposição
Composta (molecular)
Duas ou mais proposições
Obrigatoriamente utiliza conectivos