LA LÓGICA Y TABLA DE LA VERDAD

Lógica 

Es una ciencia que se basa en las leyes, modalidades y formas del conocimiento científico se conoce bajo el nombre de lógica. Se trata de una ciencia de carácter formal que carece de contenido ya que hace foco en el estudio de las alternativas válidas de inferencia. Es decir, propone estudiar los métodos y los principios adecuados para identificar al razonamiento correcto frente al que no lo es.

La etimología permite saber que el término ‘lógica’ tiene su origen en el vocablo latín logĭca, que a su vez deriva del griego logikós(de logos, “razón” o “estudio”).

Proposiciones:

Una proposición lógica es cualquier expresión que puede ser verdadera o falsa, pero no las dos al mismo tiempo. Algunos ejemplos de proposiciones son:

• El año empieza con el mes de enero.
• Cuando esta soleado se siente calor.
• En invierno no es agradable sentir el frió.
• 1 + 1 = 2
• Marte esta lleno de marcianitos
• 5 * 9 = 59

Las primeras cuatro proposiciones son verdaderas y se dice que su valor es V, mientras que las últimas dos son falsas y su valor es F. Dentro de las proposiciones verdaderas, la última (1+1=2) no representa ninguna palabra o frase, sin embargo es una expresión matemática y se sabe que es cierta, y lo mismo pasa con la proposición (5*9=59) cuyo valor lógico se sabe es falso. No es necesario que una proposición sea una expresión verbal, simplemente necesitamos poder determinar el valor de verdadero o falso.

Por otro lado, expresiones que no cumplen esta propiedad no son proposiciones lógicas, por ejemplo:

• El próximo viernes caerá un meteorito en mi casa.
• Ven a verme.
• ¡Viva la libertad!
• ¿Está lloviendo?
• Él está triste.

Cuantificadores:

Cuando se habla de cuantificadores en términos de Lógica, Teoría de Conjuntos o Matemáticas en general, se hace referencia a aquellos símbolos que se utilizan para indicar cantidad en una proposición, es decir, permiten establecer “cuántos” elementos de un conjunto determinado, cumplen con cierta propiedad. 

Los cuantificadores permiten la construcción de proposiciones a partir de funciones proposicionales, bien sea particularizando o generalizando. Por ejemplo, si consideramos la función proposicional:

P(x) = x es menor que dos

Esto podría particularizarse así: “Existe un número real que es menor que dos” o generalizarlo diciendo: “Todos los números reales son menores que dos”.

En cualquiera de los dos casos, se especifica un conjunto donde está tomando valores la variable, para nuestro ejemplo, el conjunto de los números reales.

Tabla de verdad:

Las tablas de verdad es una estrategia de la lógica simple que permite establecer la validez de varias propuestas en cuanto a cualquier situación, es decir, determina las condiciones necesarias para que sea verdadero un enunciado propuesto, permitiendo clasificarlos en tautológicos (resultan verdaderos durante cualquier situación) contradictorias (son enunciados falsos en la mayoría de los casos) o contingentes (enunciados que no pueden será tantos verdaderos como falsos no existen tendencia a un solo sentido).

Permite diferentes aspectos del enunciado como las condiciones que lo hacen verdadero y cuáles son sus conclusiones lógicas, es decir, si el enunciado propuesto es verdadero o falso. Esta tabla fue ideada por Charles Sander Peirce aproximadamente en 1880, pero la más utilizada es el modelo actualizado de Luidwin Wittgenstein en 1921.

La construcción de la tabla está fundamentada en la utilización de un letra para las variables del resultado y las mismas se cumplen se dicen que son verdaderas, en el caso contrario de que no se cumpla se les asigna el apelativo de falsas, por ejemplo: Enunciado: “Si nos mudamos, mi perro se muere”. Variables: A: Si se muda- B: el perro se muere.

Si se dice que es verdadero a ambas variables se les asigna la letra (V) y representa la positividad del enunciado, si algunas de las variables no se cumple se les asigna la letra (F) esto no representa la falsedad del enunciado ya que con cumplirse una sola variable se puede designar como verdadero, eso dependerá del enunciado. Cuando ambos valores resultan verdaderos en todas las ocasiones se dice que existe una conjugación en el enunciado, en cambio sí se obtiene dos resultados verdaderos y luego uno verdadero y el otro falso se dice que existe una disyunción.

Proposicion condicional:

Las Proposiciones Condicionales expresan la condición necesaria para que tenga efecto lo que indica la oración principal; ésta indica la causa o efecto de tal condición,

EJEMPLOS DE PROPOSICIONES CONDICIONALES:

1.Me alegraría mucho, si me acompañaras.

2.Si quieres, paso por ti a las seis.

3.Te llevaré al baile; si me prometes ser puntual.

4.Si pones atención, aprenderás más pronto.

5.Podría llevar dos materias, si asisto por las tardes.

Observe cada caso y constata que la proposición indica una condición para que se lleve a cabo lo aseverado en la oración principal:

CONDICION

1. si me acompañaras

2. si quieres

3. si me prometes ser puntual

4. si pones atención

5. si asisto por las tardes

ASEVERACIÓN

1. me alegraría mucho

2. paso por ti a las seis

3. te llevaré al baile

4. aprenderás más pronto

5. podría llevar dos materias

Las proposiciones condicionales funcionan sin tácticamente como modificadores circunstanciales del núcleo del verbo de la oración principal.

La conjunción si, que funciona como subordinante es el encabezado que aceptan las oraciones subordinadas condicionales, en la mayoría de los casos. Los sintagmas conjuntivos; siempre que, con tal que, etc., también funcionan como encahezadores de este tipo de proposiciones.

Fuentes originales:

https://sites.google.com/a/upao.edu.pe/logica-proposicional-sistemas/logica-proposicional/proposiciones-logicas

https://definicion.de/logica/

https://logicamatematicaucm.wikispaces.com/CUANTIFICADORES

http://conceptodefinicion.de/tablas-de-verdad/

http://www.ejemplode.com/12-clases_de_espanol/452-ejemplo_de_proposiciones_condicionales.html