Logica Taller 3
Logica Taller 3
Logica Taller 3
CREAD-CESAR
GUÍA DE ESTUDIO
ASIGNATURA: MATEMATICAS I
LÓGICA
DEFINICIÓN Y OBJETIVO DE LA LÓGICA Lógica también es la manera ordenada de
pensar y de expresar nuestras ideas.
La palabra lógica se deriva de la palabra griega logos
que significa razonamiento o discurso. El objetivo principal de la lógica es analizar la
estructura del pensamiento, es decir su forma lógica
La lógica matemática es la disciplina que trata de para descubrir leyes y reglas.
métodos de razonamiento. En un nivel elemental, la
lógica proporciona reglas y técnicas para determinar
si es o no válido un argumento dado. El
razonamiento lógico se emplea en matemáticas para RELACIÓN DE LA LÓGICA CON LAS DEMÁS
demostrar teoremas; en ciencias de la computación CIENCIAS
para verificar si son o no correctos los programas; en
las ciencias física y naturales, para sacar Con la filosofía: por ser parte de ella.
conclusiones de experimentos; en las ciencias
sociales y en la vida cotidiana, para resolver una Con la psicología: por cuanto el pensamiento
multitud de problemas. Ciertamente se usa en forma es un proceso psicológico.
constante el razonamiento lógico para realizar
cualquier actividad. Con la gramática: el pensamiento se halla
unido al lenguaje, a través del cual se da
Definición de lógica de acuerdo a algunos autores: forma y expresión del pensamiento, cuyo
material final es la palabra.
Para Gorski: “Lógica es la ciencia de las
formas del pensamiento científico Con la sociología: por que el hombre piensa
estudiadas desde el punto de su estructura; de acuerdo con las leyes sociales.
la ciencia de las leyes que deben observarse
para obtener un conocimiento inferido; la Con las matemáticas: porque ambas
lógica estudia también los procedimientos disciplinas tienen carácter formal.
lógicos generales utilizados para el
conocimiento de la realidad”. Con la biología: Porque el hecho lógico es un
hábito y todo hábito es un hecho biológico.
Según Fingemann: “Lógica en la ciencia de
las formas y leyes del pensamiento, que nos Con la física: Porque cuando la lógica nos
da normas para la investigación científica y dice que puede ser o no ser, se refiere a
nos suministra un criterio de verdad”. objetos físicos y éstos son un capítulo de la
física que trata sobre objetos de cualquier
Entonces se puede decir que la lógica en una ciencia naturaleza.
que enseña a razonar con exactitud y que posee un
lenguaje exacto, el cual para su desarrollo utiliza
reglas las cuales nos permite obtener una conclusión.
DIFERENCIAS ENTRE JUICIO, ORACIÓN Y
Castro Guerrero nos dice que según Gorski Tabant PROPOSICIÓN
“el objeto de la lógica como ciencia es el estudio del
pensamiento humano”. El estudio de la lógica EL JUICIO
permite que el estudiante adquiera habilidades para
Es una relación o conjuntos de conceptos que se
razonar ya sea verbal o matemáticamente utilizando
caracteriza por constituir una afirmación o
un lenguaje simbólico que expresa el aspecto
aseveración de algo, es una forma, una estructura del
cuantitativo de la realidad.
pensamiento que objetivamente es verdadero o
Existen además otras definiciones: falso.
CONECTIVOS LÓGICOS
Negación ‘, ˉ,~,¬ No
Conjunción Y
Disyunción O
Disyunción exclusiva v o en sentido excluyente
Conjunción negativa ni….ni
Disyunción negativa / no…no
Condicional Si…., entonces
Bicondicional Si y sólo si
Los operadores lógicos también permiten formar proposiciones compuestas (formadas por varias proposiciones).
Los operadores o conectores básicos son:
NEGACIÓN (NOT)
Su función es negar la proposición. Esto significa que sí alguna proposición es verdadera y se le aplica el operador
not se obtendrá su complemento o negación (falso). Al negar una proposición simple, se transforma en una
proposición compuesta. Este operador se indica por medio de los siguientes símbolos: (‘, ˉ, ~, ¬), la tabla de verdad
es:
p ¬p q ~q
V F 1 0
F V 0 1
Ejemplo.
Sea el siguiente enunciado: “El gato es negro” Sea el siguiente enunciado: Carlos estudia
matemáticas por las tardes.
p: el gato es negro
r: Carlos estudia matemáticas por las tardes.
‘p: el gato no es negro
¬r: Carlos no estudia matemáticas por las tardes
p ‘p
r ¬r
V F
V F
F V
F V
CONJUNCIÓN (AND)
DISYUNCION (OR)
p q p˅q p q p˅q
V V V V V V
V F V V F V
F V V F V V
F F F F F F
CONJUNCIÓN NEGATIVA
F F V
Ejemplo: p q p↓q
Ni tengo plata, ni me importa. V V F
p: ni tengo plata. V F F
q: ni me importa. F V F
F F V
DISYUNCIÓN EXCLUSIVA
DISYUNCIÓN NEGATIVA
q: no eres artistas.
p q p/q
V V F p q p/q
V F V V V F
F V V V F V
F F V F V V
F F V
PROPOSICIONES CONDICIONALES
Una proposición condicional, es aquella que está formada por dos proposiciones simples (o compuesta) p y q. La
cual se indica de la siguiente manera: que se lee “si p, entonces q; simbólicamente se la representa por:
Si p, entonces q V F F
pq Si p, q F V V
p, sólo si q F F V
p es necesario para q
Esto significa que una proposición condicional es
En este caso p: es el antecedente y q: es el
falsa cuando p = V y q = F; en los demás casos será
consecuente.
verdadera. Ejemplo:
q puesto que p
Un candidato a presidente de Colombia dice: “Si
q, si p salgo electo presidente de la República del Colombia,
entonces recibirán un 25% de aumento en su sueldo
q cuando p el próximo año”. Una declaración como esta se
conoce como condicional.
qp q cada vez que p
p: si salgo electo presidente de la República del
q dado que p Colombia.
PROPOSICIÓN BICONDICIONAL
, , , ,
Las tablas de verdad permiten determinar el valor de verdad de una proposición compuesta y depende de las
proposiciones simples y de los operadores o conectores que contengan.
Es posible que no se conozca un valor de verdad específico para cada proposición; es este caso es necesario
elaborar una tabla de verdad que nos indique todas las diferentes combinaciones de valores de verdad que pueden
presentarse. Las posibilidades de combinar valores de verdad dependen del número de proposiciones dadas.
V
F
V V
V F
F V
F F
p q R
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Ejemplo: dado el siguiente esquema molecular, construir su tabla de valores de verdad: ( p q) (p r)
p q R
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
3. Adjuntamos a éste cuadro el esquema molecular y colocamos debajo de cada una de la variable sus valores
de verdad:
1. Aplicamos la negación a p y r.
2. Aplicamos la conjunción de p q
1 2 4 1 3
p q r p p q r pr
V V V F F V F F
V V F F F F V V
V F V F F V F F
V F F F F F V V
F V V V V V F V
F V F V V V V V
F F V V F F F V
F F F V F F V V
El operador de mayor jerarquía es el que determina los valores de verdad del esquema molecular.
Es un procedimiento corto y fácil, se necesita conocer los valores de verdad de cada variable y aplicar las tablas de
certeza lógica:
Ejemplos:
Solución:
q ( p r )
V F V
F
Luego la proposición: q (p r), es falsa.
Si: “p” es falsa “q” es verdadera y “r” es verdadera. El conector dominante es el bicondicional encontrar el valor de
verdad del esquema por medio del diagrama del árbol:
Solución:
( p q) (p r)
V V F F
V V
Los esquemas moleculares se clasifican según el resultado que se obtenga en el operador de mayor jerarquía,
pueden ser:
CONTINGENTES
p q r (p q ) (p r)
V V V F F V V V F F
V V F F F V F V V V
V F V F F F V V F F
V F F F F F F V V V
F V V V V V V F V F
F V F V V V V F V V
F F V V F F F F V F
F F F V F F F F V V
El esquema es contingente.
TAUTOLOGÍA
Es una proposición que siempre es verdadera, independientemente del valor lógico de las proposiciones simples
que la componen. Se puede decir también que un esquema es un tautológico cuando los valores de verdad del
operador principal son todos verdaderos.
Ejemplo: Si p y q son proporciones simples distintas, demuestre mediante tablas de certeza que el siguiente
esquema proposicional es una tautología.
(p q) (p q)
p q (p q) (p q)
V V V V V V V V V
V F V F F V V F F
F V F F V V F F V
F F F F F V F V F
Es un esquema tautológico
CONTRADICCIÓN
Es cuando en el resultado todos los valores de verdad son falsos o Un esquema A es una contradicción si “no A” (
A), es una contradicción cuando todos los valores del operador de mayor jerarquía son falsos.
p q r ( p q) r [r ( p q )
V V V F F V V F F V F F V V F
V V F F F V V V F F F F V V F
V F V F F F V F F V F F V V V
V F F F F F V V F F F F V V V
F V V V V V F F F V V V F F F
F V F V V V V V F F F V F F F
F F V V F F V F F V F F F V V
F F F V F F V V F F F F F V V
OBSERVACIÓN:
TALLER
1. Indique el valor de verdad de las siguientes proposiciones:
2. Sabiendo que p es verdadera, q es falsa y r es verdadero, hallar el valor de verdad de las siguientes
proposiciones compuestas por medio del diagrama de árbol.
A. q (p q)
B. ( p q) (p r)
C. ~p (~q r)
D. p (~p r)
E. (~r (p q)) (r q)
3. Comprobar por medio de una tabla de verdad que las siguientes proposiciones son una tautología, una
contingencia o una contradicción:
A. ~p ~q
B. (p q) (p q)
C. (p (p q)) p
D. ~p (~q r)
E. ({[(p q) r] ~q} q) (r q)