Lógica matemática: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Etiquetas: Edição via dispositivo móvel Edição via aplic. móvel |
m Foram revertidas as edições de 105.168.47.92 para a última revisão de Contreiras45, de 11h55min de 24 de maio de 2016 (UTC) |
||
Linha 129:
Esta é uma das melhores estratégias para a montagem de uma tabela verdade.
==== [[Conectivos lógicos]] ====
Proposições podem ser ligadas entre si por meio de conectivos lógicos. Conectores que criam novas sentenças mudando ou não seu valor lógico (Verdadeiro ou Falso). Exemplos dos principais conectores lógicos:
Linha 154 ⟶ 147:
Cachorro é um felino '''Λ''' (1 > 0) - Valor lógico da sentença: Falso '''Λ (e)''' Verdadeiro = Falso
O conectivo de negação (~), nega o valor lógico de uma proposição. Considera-se p como uma proposição de valor lógico igual a verdadeiro, então sua negação é igual a falso. O mesmo seria se a proposição tivesse valor lógico inicial igual a falso, sua negação seria igual a verdadeiro. De acordo com esses conceitos podemos montar a seguinte tabela verdade:
| |||