Si bien, la negación lógica de una proposición no realiza ninguna conexión lógica, es decir, no es un conectivo lógico propiamente dicha, no deja de ser una proposición compuesta luego de negar una proposición simple. Una proposición simple tiene como...
More
Si bien, la negación lógica de una proposición no realiza ninguna conexión lógica, es decir, no es un conectivo lógico propiamente dicha, no deja de ser una proposición compuesta luego de negar una proposición simple. Una proposición simple tiene como finalidad realizar un juicio pero de manera afirmativa, si este juicio es una negación, entonces sería una proposición compuesta. Aclarando este punto, veamos el concepto de negación lógica: DEFINICIÓN DE NEGACIÓN LÓGICA La negación lógica con símbolo es un operador lógico que tiene la propiedad de cambiar la validez de una proposición , esto es, cambia de verdadero a falso y viceversa, la negación de una proposición se escribe . Aquí no hace ninguna referencia a una proposición simple o compuesta, su unica funcion es simplemente negar emitiendo otro valor de verdad, es por ello que la negación se le llama función de verdad que ya explicaremos al finalizar esta sección. Veamos como la negación trabaja sobre una proposición simple. EJEMPLO
Less
