Repaso Lgica Matemtica.

La lgica estudia la forma del razonamiento. Por medio de reglas y tcnicas

determina si un argumento es vlido. La lgica se aplica en filosofa, matemticas,
computacin, fsica. En la filosofa ayuda a determinar la validez de un
razonamiento ya que un enunciado puede tener diferentes interpretaciones, no
obstante, la lgica permite establecer el significado correcto. En las matemticas
permite demostrar teoremas e inferir resultados que puedan ser aplicados en
investigaciones. En las ciencias de la computacin para estudiar programas.
De manera general la lgica se aplica en lo cotidiano, ya que cualquier trabajo o
actividad que se realiza tiene un procedimiento lgico, por el ejemplo, para ir de
compras al supermercado una persona tiene que realizar cierto procedimiento
lgico que permita realizar dicha tarea. Otro ejemplo, si un sujeto desea pintar las
paredes de su casa, este trabajo tiene un procedimiento lgico, ya que no se
puede pintar sin antes limpiar, estucar y preparar la pintura. No es conveniente
pintar la parte baja de la pared si antes no pint la parte alta porque se manchara
lo que ya tiene pintado. Tambin dependiendo si es zurdo o derecho, l puede
pintar de izquierda a derecha o de derecha a izquierda segn el caso, todo lo
anterior es una aplicacin de la lgica.

Introduccin
Para iniciar el estudio de este repaso de lgica se recomienda escoger dentro de
lo posible las mejores condiciones y disposicin mental para realizar esta accin.
Es bueno reflexionar sobre lo que se pretende alcanzar, las limitaciones que tengo
para abordar el trabajo, los conocimientos que debo poseer para apropiar los
nuevos conocimientos.
Algunas personas aprenden repitiendo, otras tomando apuntes, es bueno
reconocer la mejor manera de aprender que cada persona tiene para que se
aplique segn el caso.
NOTA: Se recomienda estudiar la teora, analizar los ejemplos y proceder
posteriormente a realizar la autoevaluacin. Si me doy cuenta que no estoy listo
para contestar las preguntas o en su defecto no obtengo un buen resultado. Es
conveniente entonces volver a retomar el estudio y repetir el proceso hasta que
obtenga buenos resultados.
Este tipo de evaluacin se hace en forma personal, es formativa, la ayuda a
determinar si ha comprendido bien y se puede repetir las veces que se quiera.

Proposiciones
Una proposicin lgica es una afirmacin o enunciado que es verdadero o falso,
pero no ambas cosas a la vez.

Ejemplo.

1. Juan escribi la novela "Cien 5. Las flores son hermosas.

aos de Soledad". 6. El caballero es muy apuesto.
2. Pedro sali de su casa 7. Abra esa puerta!
temprano. 8. Corran rpido que se hace
3. El da de hoy hace mucho fro. tarde!
4. La luna es un satlite artificial 9. El automvil es rpido?
de la Tierra. 10. Hoy llover?

Las primeras oraciones son proposiciones lgicas, dependiendo de la situacin se

puede determinar que son verdaderas o falsas.
Las cuatro ltimas expresiones no son proposiciones lgicas. Aspectos como la
belleza son subjetivos, el concepto depende de cada persona, no se puede
generalizar que un caballero es apuesto para todas las mujeres, algunas pueden
pensar que es indiferente o simplemente no les gusta. Expresiones que indican
una orden, imperativos, u oraciones que son preguntas no se les puede asignar un
valor de verdad, es decir si son falsa o verdaderas.
Por convencin las proposiciones lgicas se escriben con las letras p,q,r,... etc.

Conectores
Las proposiciones lgicas pueden ser simples o compuestas.
Una proposicin lgica es simple si solo tiene un sujeto y un predicado.

Ejemplo.

p: Juan corre rpido.

q: Alicia estudia para el examen de matemticas.
r: Lima es la capital de Bolivia.

Como se puede observar tienen un sujeto, la persona, objeto o ente de quien se

habla y un predicado, lo que se afirma o niega del sujeto.
Una proposicin lgica es compuesta si est conformada por dos o ms
proposiciones simples. Para unir estas proposiciones simples se utilizan los
conectores o conectivos.

Ejemplo.

p: Pedro corre por el parque y Luca patina en la pista de hielo.

q: La Luna es un satlite natural de la Tierra o es un satelite artificial del Sol.
r: Camilo est enfermo o Camilo no est enfermo.
s: Los minerales estn vivos o no tienen vida.
t: Luca ira a la fiesta si Pablo la acompaa.

Los conectivos lgicos son:

NOMBRE SIGNIFICADO SMBOLO

Negacin no
Conjuncin y
Disyuncin o
Condicional Si, entonces
Equivalencia S y solo s

Ejemplo.

Si p: El sol es una estrella.

La negacin: El sol no es una estrella.

Ejemplo.

Si p: La Luna es una estrella y q: Venus es un planeta.

: La Luna es una estrella y Venus es un planeta.

: La Luna es una estrella o Venus es un planeta.
: La Luna es una estrella si y solo s Venus es un planeta.
Si la Luna es una estrella entonces Venus es un planeta.

La relacin establecida entre dos proposiciones por la disyuncin "o", no es tan

clara. En efecto, si se analiza un poco se tiene que, en el lenguaje corriente no
tiene significado preciso y nico. Por ejemplo, si imaginamos que el sbado ir al
cine o al estadio, para cualquier opcin resulta claro que si voy a un lugar no ir al
otro, es decir, que una de las acciones que realizare excluye la otra. Pero si en
cambio se afirma, regalar los zapatos viejos o los zapatos negros, se entiende
que los zapatos que regalar son los viejos y tambin los negros (aunque no sean
viejos). El "o" no es en este caso excluyente. Si en ambos casos se comprende lo
que se quiere decir, es por el sentido general de la frase, pero desde el punto de
vista lgico s nos preocupamos exclusivamente en su valor de verdad o falsedad
es claro que hay dos interpretaciones diferentes para la relacin establecida entre
proposiciones por "o". En forma simblica, entonces, consideramos para l "o"
excluyente y el smbolo para l "o" inclusivo.

Tablas de verdad
Las tablas de verdad permiten encontrar la equivalencia entre proposiciones.
La tabla de verdad de una proposicin compuesta P enumera todas las posibles
combinaciones de los valores de verdad para las proposiciones p1, p2, . . . , pn.

ABLAS DE VERDAD FUNDAMENTALES

Sea p y q dos proposiciones simples.

Para construir las tablas de verdad se debe colocar las proposiciones simples y
luego las compuestas empezando de menor a mayor complejidad.

El nmero de proposiciones simples determina las combinaciones en cuanto a los

valores de verdad.

Por ejemplo, en la tabla de negacin solo hay una proposicin simple por lo tanto
1
2 = 2 posibilidades, o la proposicin p es verdadera o es falsa pero no ambas
a la vez.

2
Para las dems tablas que tienen dos proposiciones simples, 2 = 4
posibilidades, entonces a la primera columna las correspondientes a la proposicin
p se toma los valores de verdad 2 verdaderos y dos falsos. La siguiente
proposicin q disminuye a la mitad, o sea una verdadera y una falsa hasta
completar las cuatro opciones.

EVALUACION DE ESQUEMAS POR TABLAS DE VERDAD

Teniendo en cuenta lo anterior, para evaluar una tabla de verdad de n variables

proposicionales se aplica la siguiente formula 2^n (filas). Se aplica la regla a cada
una de las variables proposicionales empezando por el operador de menor
alcance hasta llegar al de mayor jerarqua.

logia Cuando todos los valores de verdad del operador principal

son todos verdaderos.

Contradiccin Cuando todos los valores de verdad del operador principal

son todos falsos.

Contingencia Cuando hay algunos valores de verdad falsos y verdaderos

en el operador principal.

Tabla de la Negacin
p p
V F Tabla del Condicional o
F V Implicacin
p q pq
Tabla de Conjuncin. V V V
p q V F F
V V V F V V
V F F F F V
F V F
F F F
Tabla de equivalencia o doble
Tabla Disjuncin exclusiva implicacin.
p q p q
V V F
V F V
F V V
F F F
p q pq
V V V
V F F
F V F
F F V
Ejemplos Tablas de Verdad

Ejemplo.

Hacer la tabla de verdad para la proposicin compuesta:

P q ) qv p )

Solucin.
2
Hay dos proposiciones simples p y q por lo tanto 2 = 4 filas de valores de
verdad

p q p q qp (p q) ( qp)

V V V V V

V F F V F

F V V V V

F F V F F

Se colocan primero las proposiciones simples.

Luego las menores proposiciones compuestas hasta llegar a la proposicin

completa.
Los valores de verdad se colocan de acuerdo a los valores de las tablas simples.
Los valores de verdad de las ms complejas se obtienen a partir de las
proposiciones compuestas menos complejas.

Se obtiene una contingencia.

Ejemplo.

Realizar la tabla de verdad para la proposicin:

Solucin.
Hay tres proposiciones simples, p, q y r
3
Por lo tanto 2 = 8 opciones de valores de verdad.

Empiezo la primera columna (la de p) con cuatro verdaderas y cuatro falsas.

La segunda columna (la de q) va con dos verdaderas, luego dos falsas y as
sucesivamente hasta completar las ocho.
La tercera columna se disminuye a la mitad la anterior, entonces se completa una
verdadera y una falsa hasta completar la columna con las ocho opciones posibles.
La cuarta columna es la negacin de la proposicin q, entonces solo cambio los
valores de verdad.

Luego siguen las proposiciones compuestas en una columna y .

Por ltimo, la implicacin de estas que es la proposicin final.
Siempre de lo ms sencillo a lo ms complejo.

p q s ~q ps ( ) (p s)

V V V F F V V

V F F V V V V

V V V F F V V

V F F V V V V

F V V F F V V

F F F V F F V

F V V F F V V

F F F V F F V

Se obtuvo una tautologa.

Ejemplo.

Hacer la tabla de verdad para la proposicin .

Solucin.

2
Hay dos proposiciones simples por lo tanto solo hay 2 = 4 opciones de valores
de verdad.
 p q ~p pq

V V F V F F

V F F V F F

F V V V V V

F F V F F V

Ejemplo.

Realice la tabla de verdad de (p (q v p)) q

Solucin.

p q P q q v p p (q v p ) p (q v p ) q

V V F F V V F

V F F V F F V

F V V F V V F

F F V V V V V