Ejemplo de lógica. Vamos a ir al cálculo proposicional que es la rama de la lógica que se encarga de estudiar todas las formas del razonamiento y establecer las reglas y el principio que determinan la validez del razonamiento o argumento. Los principios establecidos por el cálculo proposicional, explica como una persona llega de unas preposiciones validas, que se denominan premisas, a una conclusión también valida que derivan de las premisas.
La lógica es una, y el silogismo también es uno (proceso de razonamiento deductivo consistente en 2 premisas y una conclusión, que de ser necesario, luego puede ser utilizada como otra premisa), pero lo que hay innumerablemente son distintos ejemplos y aplicaciones.
Tipos de lógica
- Lógica proposicional
- Lógica natural
- Lógica formal
- Lógica matemática
- Lógica inductiva
- Lógica deductiva
- Lógica humana
- Lógica racional
- Lógica recreativa
- Lógica temporal
- Lógica tradicional
- Lógica universal
- Lógica jurídica
- Lógica lingüistica
Ejemplos de lógica natural
La lógica natural surge nada más ni nada menos que de las conclusiones formadas en base a experiencias previas.
- Si no hiciste la tarea repetidas veces, y siempre te castigaron, si no la haces esta vez, te castigarán.
- Si cuando sales a hacer ejercicio en verano hace calor, y ahora que estamos en verano, lo lógico es que si sales a hacer ejercicio tendrás calor.
- Si luego de comer pastas te sientes con hinchazón, si comes ahora pastas, te sentirás con hinchazón.
Ejemplos de lógica científica
Son aquellas que surgen del método científico, es decir surgen de una hipótesis, un desarrollo de la investigación y finalmente una conclusión. Si una vez finalizada la conclusión hay un resultado positivo, esa será tomada como una deducción lógica científica.
- Mediante un estudio científico se ha comprobado que si colocamos una raíz en tinta azul, sus flores luego saldrán azules.
- Cualquier teorema matemático aplica para este caso.
Ejemplos de lógica proposicional
Ejemplos de lógica formal
- Si sabemos que de un capullo sale una mariposa, y también sabemos que un gusano se convierte en un capullo, entonces sabemos que el gusano se convierte en una mariposa.
- Si sabemos que el 2 es más pequeño que el 3, y el 3 es más pequeño que el 5, entonces concluimos en que el 2 es más pequeño que el 5.
Ejemplos de lógica matemática
En algunos casos, podemos concluir en que aplica al caso anterior de lógica formal.
- Si el -5 es más grande que el -8, y el -8 es más grande que el -10, entonces el -5 es más grande que el -10.
Ejemplos de lógica inductiva
- Sabemos que el gato es un mamífero y de 4 patas
- Sabemos que el perro es un mamífero y de 4 patas
- Por lo tanto sabemos que los mamíferos tienen 4 patas.
–
- Mario es hombre y tiene ojos
- Carlos es hombre y tiene ojos
- Sabemos que Luis es hombre, entonces inferimos que tiene ojos.
Ejemplos de lógica deductiva
- Todos los cítricos tienen vitamina C, entonces si la naranja es un cítrico, tiene vitamina C.
- Toda figura de 4 lados es un cuadrilátero, y sabemos que un rectángulo tiene 4 lados, por lo tanto sabemos que es un cuadrilátero.
- Todo metal conduce el calor, y sabemos que el hierro es un metal, entonces inferimos que el hierro conduce el calor.
- Todo florentino es italiano, y todo italiano es europeo, entonces todo florentino es europeo.
Ejemplos de lógica jurídica
- Si no hay algo escrito en forma de ley, entonces no es está prohibido.
- Si hay una ley regulando algo, entonces no se puede incumplir.
También es conocido como Algebra Booleana o lógica proposicional, el concepto son conectores lógicos y tablas de verdad son elementos muy elementales para esta rama de la lógica. Es toda sentencia a la que se le puede asignar un valor de verdad, es decir que se puede decir que es falsa o verdadera por ejemplo: El agua está caliente, se puede decir que es verdadero si al tocarla está caliente, el pasto está amarillo, se puede decir que es verdadero o falso si al verlo es de color amarillo.
Las siguiente no son proposiciones, ya que no es posible darles un valor de verdad, si leemos un buen libro, no se puede dar un valor de verdad, ya que el mismo libro es una opinión subjetiva. También la inferencia de la lógica es un proceso limitado del razonamiento inferencia procesal se basa en un presedente en funcionamiento.
La inferencia establece que para llegar a una conclusión se debe tener cierto orden A, B, C, este orden se encuentra alterado y se puede llegar a una conclusión equivocada, la mente es la que establece la evaluación lógica de los conceptos, que nos permiten llegar a una conclusión.
Depende del orden y la colocación, las ideas pueden provocar pensamientos que aunque asi pueden ir ligados podrían llegar a una conclusión diferente, a lo que se espera inicialmente. La premisa inicial puede hacer que sea falsa. Ese fué el ejemplo de lógica, la veracidad debe constatarse mediante un silogismo completo.