Resultado de búsqueda
24 de ene. de 2022 · El signo ‘¬¬’ hace referencia al emoji ‘Unamused Face’ o ‘Cara de pocos amigos’, introducido en la versión 1.0 de Emojis, oficializado por Unicode 6.0 de 2010.
La negación es un conectivo lógico que toma una proposición y la convierte en su opuesto lógico. Si una proposición es verdadera, su negación es falsa, y viceversa. Se denota comúnmente con el símbolo ¬ o ~. Así, la negación de la proposición p es ¬p. Existen diversas formas de leer ¬p, las más comunes son:
El Símbolo de Negación, simbolizado por ¬, se utiliza en lógica para denotar la operación lógica de negación. Una negación resulta en verdadero cuando su operando es falso y viceversa. Representaciones Alternativas en Software y Programación.
Doble negación. Dentro de un sistema de lógica clásica, la doble negación, esto es, la negación de la negación de una proposición p, es lógicamente equivalente a p. Expresado simbólicamente, ¬ (¬ p) ⇔ p. En lógica intuicionista, una proposición implica su doble negación, pero no al revés.
Existe incluso un conector que podría sustituirlos a todos y que es conocido como «operador de Sheffer» (NAND en electrónica): p↑q. Este operador devuelve el valor verdadero solo cuando no son ambas verdaderas, ni p ni q , es decir, p↑q = ¬(p∧q) .
Pues bien, la negación de la negación de un enunciado, es la afirmación de dicho enunciado; en forma simbólica: ¬¬p≡p. La anterior expresión simbólica refleja la ley de la doble negación . ¿Y qué ocurriría si negásemos una doble negación? Es decir, ¬ (¬¬p), o lo que es lo mismo: ¬¬¬p.
Las leyes básicas de la lógica son aquellas con las que solemos trabajar habitualmente. Las veremos todas a continuación. Involución. La negación de la negación de una proposición es equivalente a la proposición: *¬(¬p) ↔ p* Ejemplo: “No es cierto que no está lloviendo” es equivalente a “Está lloviendo” Leyes de De Morgan
