Juan Jesus Rosales Sandoval

 LÓGICA

Es la disciplina que trata de los métodos, modos y formas  del razonamiento humano.

Para ello usamos conectivos lógicos, símbolos y proposiciones que eliminan la ambigüedad del lenguaje humano.

PROPOSICIÓN:

Es aquella frase u oración la cual podemos afirmar su valor de verdad o falsedad  ejemplo:

  p= " el símbolo del agua es H20 "

Una proposición de la cual podemos afirmar o negar agregándole ese valor de verdad o falsedad a la proposición por así decirlo:

 -p = " el símbolo del agua no es H20 "

CONECTIVOS LOGICOS:

La tabla de valores de verdad seria :

Conjunción:

Disyunción:

Condicional:

Bicondicional:

Disyunción Exclusiva:

Dado el resultado de una expresión proposicional podemos decir que es:

TAUTOLOGIA: cuando todos los valores son verdaderos.

CONTRADICCION: cuando todos los valores son falsos.

CONTINGENCIA: cuando no es ni tautología ni contradicción.

Para simplificar las expresiones de proposiciones complejas existen leyes que podemos usar para reducir expresiones