Negação: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
adicionei a parte com não()=1-p e o seguinte |
m inserir referencia |
||
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ógicas difusas]].<ref>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 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}}
|