TABLA DE CONTENIDO

Introducción……………………………………………………………………….4
Objetivo General…………………………………………………………………..5
Objetivo especifico………………………………………………………………...5
Justificación………………………………………………………………………..6
Definición de Lógica………………………………………………………………7
Objeto de estudio de la lógica……………………………………………………..7
Que es la inferencia………………………………………………………………..8
Que es una premisa………………………………………………………………...8
Preposiciones………………………………………………………………………9
Razonamiento……………………………………………………………………..10
Conectivos lógicos……………………………………………………...…………12
Clasificación de las preposiciones…………………………………………………13
Preposiciones simples……………………………………………………….……..13
Preposiciones compuestas…………………………………………………………13
Lenguaje natural…………………………………………………………….……..14
Lenguaje Simbólico………………………………………………………..………14
Tabla de Verdad…………………………………………………………….……..15
Negación……………………………………………………………………….…..16
Conjunción………………………………………………………………..………..16
Disyunción……………………………………………………………..…………..17
Condicional………………………………………………….……………………..17
Bicondicional………………………………………..……………………………..18
Ejercicios de tablas de verdad……………………………………………………..18
Ejercicio 1…………………………………..……………….……………………..19
Ejercicio 2………………………………..………………….……………………..20
Ejercicio 3……………………………………..…………….……………………..21
Ejercicio 4……………………………………..…………….……………………..22
Ejercicio 5………………………………………..………….……………………..23
Importancia………………………………………………….……………………..24
Conclusiones……………………………………………...………………………..25
Glosario…………………………………………………………...………………..26
Referencias Bibliográficas………………………………...……………………… 27
 TABLA DE GRAFICA

Grafica 1………………………………………………………………………………….10

Grafica 2………………………………………………………………………………….11

Grafica 3………………………………………………………………………………….12

Grafica 4………………………………………………………………………………….16

Grafica 5………………………………………………………………………………….17

Grafica 6………………………………………………………………………………….17

Grafica 7………………………………………………………………………………….18

Grafica 8………………………………………………………………………………….18

Grafica 9………………………………………………………………………………….19

Grafica 10………………………………………………………………..……………….20

Grafica 11………………………………………………………………..……………….21

Grafica 12…………………………………………………………………..…………….22

Grafica 13…………………………………………………………………..…………….23
DEFINICION DE LOGICA: Es la disciplina que trata de métodos de razonamiento. En

un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido

un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar

teoremas; en ciencias de la computación para verificar si son o no correctos los programas;

en las ciencias física y naturales, para sacar conclusiones de experimentos; y en las ciencias

sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa

en forma constante el razonamiento lógico para realizar cualquier actividad.

OBJETO DE ESTUDIO DE LA LOGICA: Como toda ciencia, la lógica tiene su propio

objeto de estudio. Aunque no posee un sólo objeto de estudio, si tiene una jerarquía de

objetos. El más primitivo -por se el origen del pensar lógico- es el concepto. Y a partir de él

podemos aplicar el pensar lógico. Es necesario relacionar conceptos, y con estas relaciones

formulamos juicios y la relación de juicios nos lleva a los razonamientos. Siendo éste

último, el objeto propio de la lógica, ya que en "él se reúnen todas las condiciones

necesarias para establecer todas las relaciones lógicas posibles entre conceptos y juicios"

De esta forma, se suele definir a la lógica en relación a su objeto de estudio como la

"ciencia que se ocupa de las relaciones entre premisas y conclusiones", así. como las

condiciones o reglas que permiten pasar de un grupo o conjunto de premisas a obtener

acertadamente una conclusión. 

Para la lógica, pensar es derivar conclusiones a partir  de premisas, de tal manera que a la

lógica se le ha dado en llamar ciencia de la evidencia, dado que sólo le interesa el

razonamiento o argumento correcto.

QUE ES LA INFERENCIA: Una inferencia lógica es el proceso de obtención de una

proposición a partir de otra u otras proposiciones dadas, a las cuales se aplican reglas de

inferencia, de tal manera que la conclusión sea consecuencia lógica de las premisas. 

“Una inferencia es válida si, y solo si la conjunción de las premisas implica la conclusión.

Una inferencia es concluyente o correcta si se realiza de acuerdo con una regla de

inferencia válida. Simbólicamente: sean pi (con i=1, 2, 3, 4, …n) premisas y q la

conclusión, entonces

QUE ES UNA PREMISA: Etimológicamente del latín “PRAEMISUS” = “proposición”

o “idea principal”. Partes principales de la lógica: puntos jerárquicos a discutir previos a

una conclusión. Es una proposición que o secuencialmente conjugada con otra antecede a

una conclusión. Puede considerarse como un punto de partida para llegar a una conclusión.

Afirmación o idea que se da como cierta y que sirve de base a un razonamiento o una

discusión. Cada una de las proposiciones de un silogismo de las que se infiere la

conclusión. Razonamiento que está formado por dos premisas y una conclusión que es el

resultado lógico que se deduce de las dos premisas.

EJEMPLOS DE PREMISAS

 Los franceses hablan francés (P1)

 Humberto es de origen francés (P2)

 Humberto habla francés (C)

Ejemplo 1

 Jesús ve la televisión los domingos a las 8:00 en la noche. (P1)

 Jesús vio la televisión hoy (P2)

 Conclusión, hoy es domingo por la noche. (C)

QUE SON LAS PROPOSICIONES: Las proposiciones son oraciones, frases o expresión

matemática que puede ser falsa (F) o verdadera (V), pero no ambas a la vez. Un elemento

fundamental de la lógica matemática. Es un hecho… Sus argumentos son premisas y

conclusiones

 Las entidades portadoras de los valores de verdad.

 Los objetos de las creencias y de otras actitudes proposicionales.

 El significado de las oraciones demostrativas (“el Sol es una estrella”) Se usa para

referirse a: PROPOSICIÓN O ENUNCIADO 

EJEMPLOS DE PROPOSICIONES LOGICAS

V E R D A D E R A S:

 El cielo es azul
 La nieve es fría
 12*12=144
 Vicente Fox fue presidente de la Republica Mexicana
 La Segunda Guerra Mundial duro desde 1939 hasta 1945

FALSAS

 Honda hace televisiones

 El General Fidel Castro es un Demócrata
 8+99=231
 Los Insectos crean su comida a través de fotosíntesis
RAZONAMIENTO: Un razonamiento lógico, en definitiva, es un proceso mental que

implica la aplicación de la lógica. A partir de esta clase de razonamiento, se puede partir de

una o de varias premisas para arribar a una conclusión que puede determinarse como

verdadera, falsa o posible.

EJEMPLOS # 1Andrés, Beto y Carlín se encuentran charlando sentados alrededor de una

mesa circular. Beto no está a la derecha de Carlín.

¿Quién está a la derecha de Andrés?

A) Beto

B) Carlín

C) No se sabe.

D) Ay B

E) N.A

Solución.
Por el dato del problema, dice que Beto no está a la derecha de Carlín por lo tanto tiene que
estar a la izquierda de este y el gráfico quedaría de la siguiente manera.
(Grafica 1)

La respuesta sería la alternativa  A) Beto

EJEMPLO #2

Caso: Muerte o Libertad.

Un preso condenado a la pena de muerte, tiene una oportunidad de salvar su vida, si es

capaz de resolver el siguiente problema. El Juez, mostrándole dos puertas, cada una cuidada

por un guardia, le dijo:

"Una de estas puertas conduce a la libertad y la otra a la silla eléctrica; los guardias las

conocen, solo que uno de ellos siempre miente y el otro guardia siempre dice la verdad.

Tienes la opción de hacer una sola pregunta a uno de ellos". Tras unos minutos de titubeo,

el reo preguntó al guardia N:

(Grafica 2)

 Si le pregunto al guardia M, cuál de las puertas conduce a la libertad, ¿qué me

responderá?

 Te dirá que la puerta B - respondió el custodio. Luego de oír la respuesta, el preso

se encaminó con toda seguridad hacia la "puerta de la vida" y salió libre. ¿Por cuál

de las puertas salió?

Solución

Sea veraz o mentiroso, la puerta señalada como de la libertad es la que conduce a la silla

eléctrica. Por lo tanto salió por la puerta A. La respuesta opuesta a la realidad, se debe a que

el mentiroso modifica el sentido de la respuesta sea al dar la respuesta o al modificar la

respuesta del veraz.

CONECTIVOS LOGICOS: Los conectivos lógicos nos permiten definir operaciones con

proposiciones. Son símbolos que enlazan dos o más proposiciones simples para formar una

proposición compuesta.

(Grafica 3)

En lógica, una conectiva lógica, o simplemente conectiva, es un símbolo o palabra que se

utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de

modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las

fórmulas componentes.
Los conectivos lógicos más comunes son los conectivos binarios que unen dos frases, que

pueden ser consideradas los operando de la función. También es común considerar a la

negación como un conectivo monádico.

CLASIFICACION DE LAS PROPOSICIONES: En adelante cuando hablemos de

proposiciones, éstas serán lógicas. Si son abiertas, significará que el conjunto de

sustituciones está bien definido y la harán verdadera o falsa. Para operar con las

proposiciones, éstas se clasifican en dos tipos: Simples y Compuestas, dependiendo de

cómo están conformadas.

PROPOSICIONES SIMPLES: Son aquellas que no tienen oraciones componentes

afectadas por negaciones ("no") o términos de enlace como conjunciones ("y"),

disyunciones ("o") o implicaciones ("si . . . entonces"). Pueden aparecer términos de enlace

en el sujeto o en el predicado, pero no entre oraciones.

EJEMPLOS:

 Carlos Fuentes es un escritor.  

 El 14 y el 7 son factores del 42.
 El 2 o el 3 son divisores de 48.  
     

PROPOSICIONES COMPUESTAS: Una proposición será compuesta si no es simple. Es

decir, si está afectada por negaciones o términos de enlace entre oraciones componentes.

EJEMPLOS:

 Sen(x) no es un número mayor que 1.

 El 14 es factor del 42 y el 7 también es factor del 42. 
 El 2 es divisor de 48 o el 3 es divisor de 48.  
 Si x es número primo, entonces x impar. 
 No todos los números primos son impares.
LENGUAJE NATURAL: El lenguaje es un medio, un instrumento por el cual se trasmite

información. Los libros, folletos, periódicos, etc., son buenos ejemplos de lenguaje escrito,

utilizado para trasmitir información.

En el lenguaje natural, que aprendemos en forma espontánea empleamos en nuestra vida

cotidiana, los signos utilizados son palabras, habladas o escritas, las cuales tienen un

determinado significado. Sin embargo, es un hecho que una misma palabra puede tener o

usarse con dos o más significados distintos, dependiendo de las circunstancias (como

"diablito", que se utiliza para nombrar lo mismo a un niño travieso que a cierto tipo de

conexión eléctrica) ; también es común que dos o más palabras tengan el mismo significado

o se les utilice en el mismo sentido (como "alumno?' y "estudiante?').

LENGUAJE SIMBOLICO: Al simbolizar un lenguaje lo que se persigue es, básicamente,

sencillez, claridad y exactitud. Es más sencillo y también resulta más claro y exacto

representar las cosas por medio de símbolos. Por ello, la simbolización del lenguaje lógico

nos permite examinar más fácilmente las formas del pensamiento y sus leyes, las cuales es

preciso seguir si queremos que nuestro pensamiento sea correcto. En la lógica

proposicional se examinan las posibles relaciones entre proposiciones, sin atender a su

contenido. En esto es particularmente útil simbolizar las proposiciones con simples literales

y las expresiones mediante las cuales son relacionadas (como "Y", "O", "si. . .

entonces"), por medio de signos cuyo significado sea constante. De esta manera es más

fácil, como se verá más adelante, decidir si, por ejemplo, un razonamiento es correcto o no,

lo cual no siempre resulta sencillo como en el siguiente caso

EJEMPLOS

 “Si en la Luna hay vida, entonces en la Luna hay agua."

 "No ocurre que en la Luna hay vida."
 "Luego, no es cierto que en la Luna hay agua.

p → q: Si gano las elecciones entonces bajaré el precio de los combustibles

Sean las proposiciones:

p: 3 es un número primo   (V)

q: 31 es un número par      (F)

p → q: si 3 es un número primo entonces 31 es un número   par  (F)

Simbólicamente: V (p → q) = F

Ejemplo #2

No jugué porque llegué tarde

~p: no jugué (consecuente)

q: llegué tarde (antecedente)

Simbólicamente: q → ~p

TABLAS DE VERDAD: Las Tablas de verdad o tabla de valores de verdad, es una tabla

que muestra el valor de verdad de una proposición compuesta, para cada combinación

de valores de verdad que se pueda asignar a sus componentes.

Estas tablas pueden construirse haciendo una interpretación de los signos lógicos como: no,

o, y, si…entonces, sí y sólo si. La interpretación corresponde al sentido que estas

operaciones tienen dentro del razonamiento. Puede establecerse una correspondencia entre

los resultados de estas tablas y la deducción lógico matemática. En consecuencia, las tablas

de verdad constituyen un método de decisión para chequear si una proposición es o no un

teorema. Para la construcción de la tabla se asignará el valor 1(uno) a una proposición

cierta y 0 (cero) a una proposición falsa.

Negación: El valor de verdad de la negación es el contrario de la proposición negada.

(Grafica 4)

La conjunción: sirve para indicar que se cumplen dos condiciones simultáneamente, por

ejemplo:

La función es creciente y está definida para los números positivos, utilizamos Para que la

conjunción p^q sea verdadera las dos expresiones que intervienen deben ser verdaderas y

sólo en ese caso como se indica por su tabla de verdad.

 (Grafica 5)

Disyunción: La disyunción solamente es falsa si lo son sus dos componentes.

Con la disyunción a diferencia de la conjunción, se representan dos expresiones que

afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea

verdadera para que la expresión p ∨ q sea verdadera.

(Grafica 6)

Condicional: El condicional solamente es falso cuando el antecedente es verdadero y el

consecuente es falso. De la verdad no se puede seguir la falsedad.

 (Grafica 7)

Bicondicional: El bicondicional solamente es cierto si sus componentes tienen el mismo

valor de verdad.

(Grafica 8)

EJEMPLOS DE TABLAS DE VERDAD

1. Construya la tabla de la verdad para cada uno de los ejemplos anteriores:

Ejercicios

2. Construir la tabla de verdad para las siguientes proposiciones:

 (p→ q) ↔(  ~pVq)

 ~ (pVq) ↔ (~p ^ q ~ q)
 (p→ q) ↔ [(~p) V q]
 [(p → q) ∨ (~ q ^ r)] ↔ (r → q)
 (p ⊻ q) → r
 SOLUCION

1. ^(p→ q) ↔(  ~pVq)

(Grafica 9)

p q ~p W S X

v v f v v v
v f f f f v
f v v v v v
f f v v v v

2. ~ (pVq) ↔ (~p ^ q ~ q)

(Grafica 10)
 p q ~p ~q S O X L

v v f f v f f v
v f f v v f f v
f v v f v f f v
f f v v f v v v

3. (p→ q) ↔ [(~p) V q]

(Grafica 11)

p q ~p S N O
 v v f v v v
v f f f f v
f v v v v v
f f v v v v

4. [(p → q) ∨ (~ q ^ r)] ↔ (r → q)

(Grafica 12 )

p q r ~q N S O X L

v v v f v f v v v
v v f f v f v v v
v f v v f v f v f
v f f v f f v f f
f v v f v f v v v
 f v f f v f v v v
f f v v v v f v f
f f f v v f v v v

5. (p ⊻ q) → r

(Grafica 13 )

p q r L O

v v v f v
v v f f v
v f v v v
v f f v f
f v v v v
f v f v f
f f v f v
f f f f v