Negação: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m inserir referencia |
m |
||
Linha 23:
* F (falso) a 0
Nesse caso, podemos identificar a negação como sendo '''¬p = 1 - p''', o que permite uma generalização para outras lógicas, por exemplo [[lógica difusa|lógicas difusas]].<ref name="us">Umberto Straccia, [https://books.google.pt/books?id=yaJ7AAAAQBAJ&pg=PA129 Foundations of Fuzzy Logic and Semantic Web Languages], CRC Press, 2014. (p.129)</ref>
Por exemplo, a disjunção pode ser obtida da conjunção pela negação, porque
Linha 29:
: '''a ∨ b ≡ ¬(¬a ∧ ¬ b)'''
Sabendo que a conjunção se identifica no caso clássico à multiplicação (na lógica produto)<ref name="us" />, ou seja '''a ∧ b ≡ a b''' temos
: '''a ∨ b ≡ ¬(¬a ∧ ¬ b) ≡ 1-(1-a)(1-b) ≡ a + b - ab'''
Linha 41:
Este é um símbolo originario do idioma [[tagalo]], é usado para separar palavras de mesma forma, mas significados diferentes. Seu nome original é *hiwalay na* que traduzido para o português ficaria aproximadamente como *separador*, entretanto a Matemática usa esse símbolo como situação pré disposta em ocasiões lógicas de negação.
{{Referências}}
{{Portal3|Matemática|Linguística}}
| |||