¿Qué es una declaración lógica ?

Declaraciones proporcionan la base para la elaboración de conclusiones válidas en la lógica, pero las matemáticas y la filosofía también utilizan sentencias lógicas para construir argumentos válidos y sacar conclusiones . A pesar de que tal vez no lo parezca cuando estás fuera de un salón de clases , se utiliza sentencias lógicas en el lenguaje cotidiano para transmitir información a otras personas y para sacar sus propias declaraciones conclusions.Logic

Una declaración es una sentencia que declara algo y que puede ser verificado como verdadero o falso . Sentence fragmentos, preguntas y órdenes no son declaraciones lógicas porque no son declarativas , oraciones completas .

Por ejemplo , " Las llaves del coche están en el cajón " es una afirmación lógica porque es una oración completa y declara algo que puede ser verificado como verdadero o falso . Usted puede comprobar para ver si algo es una afirmación lógica agregando " Es cierto que ... " al comienzo de la frase . Si todavía tiene sentido con " Es cierto que ... " en frente de ella , que es una declaración lógica
instrucción condicional

Una declaración lógica condicional es una declaración que se compone de dos condiciones , donde una condición depende de la otra . Para toda la sentencia condicional es cierto , la condición dependiente debe ser cierto cuando el otro es verdadero Por ejemplo , considere la siguiente sentencia condicional : " Si estudio , entonces voy a sacar una buena nota . " Si estudias y obtener una buena calificación , entonces el enunciado condicional es verdadero ; Sin embargo , si se estudia y no obtiene una buena calificación , entonces la sentencia condicional es falsa .

uso de proposiciones lógicas

Las declaraciones en la lógica se utilizan para sacar conclusiones válidas . Una conclusión es válida si todas las premisas que conducen a esa conclusión son verdaderas . Por ejemplo , considere las siguientes afirmaciones :

" . Si estudio , voy a recibir una buena calificación "

" . Estudié "

Si usted asume que el estudio de las garantías una buena nota , por lo que la primera premisa verdadera , y que lo hizo el estudio , por lo que la segunda premisa verdadera , entonces se puede concluir que usted recibió una buena calificación.
Otras consideraciones

las variables se utilizan a menudo para ver fácilmente la relación entre dos estados lógicos sin tener que reescribir todo el estado de cuenta cada vez que quiera hablar de la relación entre los dos. Para ello, usted tiene que asignar variables a cada una de las declaraciones. A partir del ejemplo de la sección 3 , las dos afirmaciones que se hacen son : "Estudio " y "Voy a recibir una buena calificación. " Sea P igual "Estudio " y Q igual "Voy a recibir una buena calificación " :

Si P , entonces Q

P , por lo tanto , Q.