CONCEPTO DE LA LOGICA

La lógica es una relación entre las premisas y la conclusión expresada a través de una serie de símbolos matemáticos y/o auxiliares llamados enunciados.

Para su estudio, se divide en lógica formal, lógica aplicada y lógica simbólica. Lógica formal: es la parte de la filosofía que estudia las formas y leyes generales del pensamiento tendiente al conocimiento de la verdad y el error.

Lógica Aplicada: es la que estudia las formas o estructura del pensamiento adaptándose al objeto de estudio de las distintas ciencias.

La Lógica Matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La …ver más…

2.- Si p es la proposición: «París está en Francia» y q es la proposición: «2 es un número impar», entonces la proposición: p ^ q será «París está en Francia y 2 es un número impar», donde su valor de verdad es: falso, pues el valor de verdad de q: «París está en Francia» , es verdadero, pero el valor de q: «2 es un número impar» es falso.

DISYUNCIÓN

En matemáticas se emplea la palabra «o» en el sentido inclusivo, como el término y/o.
Entonces una proposición del tipo «p o q» se toma siempre como «p o q ó ambas».Dado esto admitimos la frase compuesta como una proposición.
Simbólicamente la denotaremos escribiendo p v q .
A esta nueva proposición compuesta se le llama Disyunción, de modo que la proposición p v q se llama disyunción de p y q.
El valor de verdad de la proposición compuesta p v q cumple la condición siguiente:
Si p es verdadero o q es verdadera o si ambos, entonces p v q es verdadero; en cualquier otro caso p v q es falso. Es decir la disyunción de dos proposiciones es falsa solamente si cada proposición componente es falsa. Ejemplos:

1.- Si p es la proposición «2 es un número par» y q es la proposición «3 es un número primo», entonces la disyunción p v q será la proposición «2 es un número par o 3 es un número primo».Donde el valor de la disyunción es verdadero pues tanto p y q son ambas verdaderas.
2.- Si p es la proposición «2 < 3» y q es la proposición