PING Vivas

es una disciplina que trata sobre los métodos de razonamiento. En un nivel elemental, la lógica proporciona las reglas y técnicas para determinar si es o no válido un argumento dado.

• Logica proposicional

• Proposición

• Enunciado

• Ley de la proposición

es una oración que declara que algo es verdadero o falso, pero no ambas cosas

(a)  

a aquella oración que tenga una sola proposición.

(a)  

aquella proposición que se forma mediante la combinación de varias proposiciones simples unidas mediante conectivos lógicos (términos de enlace).

(a)  

Se usan las letras minúsculas (p, q, r, s, etc.) para representar a las proposiciones simples, a las letras se les denomina

(a)  

términos de enlace de una proposición compuesta, es decir, a los símbolos que sirven para unir las proposiciones simples para formar dichas proposiciones compuestas

(a)  

a depende solamente de los valores de verdad de las proposiciones que estén combinadas y de los tipos de conectivos que se utilicen para formar la proposición compuesta

• valor de verdad de una proposición compuesta

• tabla de verdad

• Negación

d de una proposición a aquella en la cual se describen todos los valores de verdad de las proposiciones sean simples o compuestas

(a)  

nos proporciona el valor contrario al valor de verdad de una proposición. Si p es una proposición entonces la

de p es ∼p, que se lee no p. Los valores de verdad, la podemos observar en la siguiente tabla 1:

(a)  

de dos proposiciones simples nos forma una proposición compuesta. se logra con el conectivo y que se denota con el símbolo ∧. Los valores de verdad están basados en la siguiente regla: “ de 2 proposiciones simples únicamente es verdadera cuando ambas proposiciones simples son verdaderas será falsa en todos los demás casos”. Los valores de verdad los tenemos en la tabla 2.

(a)