Logica Taller 3

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 12

CENTRO REGIONAL DE EDUCACIÓN A DISTANCIA

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.

 Lógica es la ciencia que estudia la estructura EL ENUNCIADO


del pensamiento, prescindiendo del
Es la expresión verbal o escrita del juicio.
contenido.

Tutor: Héctor Oñate A. E-mail: [email protected] Cel. 315 3753073


Ejemplos:  p: La tierra es plana.

 Lucas es estudiante de la Universidad de  q: -17 + 38 = 21


Pamplona.
 r: x > y-9
 x+2=7
 s: Atlético nacional será campeón en la
 3+2=5 presente temporada de fútbol.

No son enunciados:  t: Hola ¿cómo estás?

 Las oraciones exclamativas. (Sentimientos,  w: Lava el coche por favor.


interjecciones). Ej.: ¡socorro!, ¡auxilio! ¡te
quiero! Los incisos p y q sabemos que pueden tomar un
valor de falso o verdadero; por lo tanto, son
 Las oraciones imperativas. (Órdenes), Ej.: proposiciones válidas. El inciso r también es una
Cierra la puerta; te vas afuera. proposición válida, aunque el valor de falso o
verdadero depende del valor asignado a las variables
 Las desiderativas. (Deseos, súplicas). Ej.: x y y en determinado momento. La proposición del
Ojalá no haya clases. inciso s, es válida. Sin embargo, los enunciados t y w
no son válidos, ya que no pueden tomar un valor de
 Las oraciones interrogativas. (Preguntas). falso o verdadero, uno de ellos es un saludo y el otro
Ej.: ¿Qué hora es? es una orden.
RAZONAMIENTO VALOR DE VERDAD
Es un conjunto de afirmaciones o juicios Una proposición es verdadera o es falsa; si es
relacionados de manera al que se supone que uno de verdadera se denotará por la letra “V” o el “1” y si es
ellos (llamado conclusión) se desprende o infiere del falsa se denotará por “F” o por el “0”. Si no se puede
o los otros (llamados premisas). La pretensión de determinar su valor de verdad, se podrá analizar los
que la conclusión se deriva de las premisas se posibles valores de verdad (tablas de certeza).
manifiesta a través de expresiones especiales como:
por lo tanto, luego, por consiguiente, etc. CLASES DE PROPOSICIONES

LA PROPOSICIÓN Las proposiciones se clasifican en proposiciones


simples o atómicas y proposiciones compuestas o
Es un enunciado que puede ser falso o verdadero, moleculares:
pero no ambas cosas a la vez. La proposición es un
elemento fundamental de la lógica matemática; 1. Proposiciones simples: Son aquellas
generalmente se las expresa en oraciones proposiciones que no se pueden
declarativas o aseverativas, tales como: descomponer.

 Oraciones afirmativas. (Informan). Ej.: Ejemplo:


Mañana es lunes.
 p: Todo organismo viviente se adapta a su
 Oraciones descriptivas. (Describen). Ej.: La medio físico.
tiza es blanca
 q: Si un número es divisible por 4 también lo
 Oraciones explicativas. (Explican). Ej.: Si es por 2.
hace frío entonces es invierno
 r: (a +b)2 = a2 + 2ab + b2
A continuación, se tienen algunos ejemplos de
proposiciones válidas y no válidas, y se explica por 2. Proposiciones compuestas o moleculares:
qué algunos enunciados no son proposiciones. Las Son aquellos enunciados que están
proposiciones se indican por medio de una letra formados por dos o más proposiciones
minúscula, dos puntos y la proposición propiamente simples y unidos por término lógico.
dicha. Ejemplo:
Ejemplos:
 p: La niña María canta y su hermano Luis Podemos observar en los ejemplos anteriores que
toca el piano. tanto p como q están compuestas de dos
proposiciones simples. Los conectivos lógicos son
 q: Ecuador es un país Amazónico y elementos gramaticales que unen dos o más
latinoamericano. proposiciones simples; estos son:

CONECTIVOS LÓGICOS

OPERADOR LÓGICO LÓGICA SIMBÓLICA TERMINOLOGÍA LÓGICA

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

PROPOSICIONES COMPUESTAS Y CONECTIVOS LÓGICOS

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)

Se utiliza para conectar dos proposiciones que se Ejemplo:


deben cumplir para que se pueda obtener un
resultado verdadero. Su símbolo ˄ que se lee “y”. El Un automóvil enciende cuando tiene gasolina en el
enunciado es verdadero cuando ambas tanque y tiene corriente la batería.
proposiciones son verdaderas; Se lo conoce como la
multiplicación lógica y tiene estrecha relación con la p: un automóvil enciende cuando tiene gasolina en el
intersección de conjuntos. La siguiente es la tabla de tanque
la verdad:
q: tiene corriente la batería
p q p˄q
p q p˄q
V V V
V V V
V F F
V F F
F V F
F V F
F F F
F F F

DISYUNCION (OR)

Es la unión de dos proposiciones simples con el Ejemplo:


conectivo lógico “o”.
Una persona puede entrar al cine si compra un
Simbólicamente se lo representa así: p˅q que se lee p boleto u obtiene un pase.
ó q. El enunciado es verdadero cuando alguna de las
proposiciones es verdadera o ambas son verdaderas; p: una persona puede entrar al cine si compra un
Se conoce también como la suma lógica y se boleto.
relaciona estrechamente con la unión de conjuntos.
Su tabla de verdad es: q: obtiene un pase.

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

El enunciado es verdadero cuando las proposiciones p q p↓q


simples que la forman son falsas. La conjunción
negativa de dos preposiciones p y q, se representa V V F
por p↓q o por p⨁q, que se lee ni p, ni q. su tabla de
verdad es: V F F
F V F

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

El enunciado es verdadero cuando p es verdadero y Ejemplo:


q es falso o viceversa. Simbólicamente se lo
representa por p  q que se lee p o q pero no ambas. Carmen es hija de José o Vicente.
A continuación, se muestra la tabla de la verdad.
p: Carmen es hija de José.
p q p⊻q q: Carmen es hija de Vicente.
V V F
p q p⊻q
V F V
V V F
F V V
V F V
F F F
F V V
F F F

DISYUNCIÓN NEGATIVA

El enunciado es falso cuando las proposiciones Ejemplo:


simples que la forman son verdaderas. La disyunción
negativa de proporciones se representa por p / q; No eres pintor o no eres artistas.
que se lee no p ó no q. la siguiente es la tabla de
verdad. p: no eres pintor.

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
pq 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.
qp q cada vez que p
p: si salgo electo presidente de la República del
q dado que p Colombia.

q porque p q: recibirán un 25% de aumento en su sueldo el


próximo año.
q ya que p
p q pq
En este caso, se caracterizan porque después de cada
uno de estos conectivos está el antecedente o V V V
condición.
V F F
Su tabla de verdad es:
F V V
p q pq F F V
V V V

PROPOSICIÓN BICONDICIONAL

Sean p y q dos proposiciones simples entonces se Ejemplo:


puede indicar la proposición bicondicional de la
siguiente manera: p↔q, que se lee p si y solo si q. Luis es un excelente estudiante, si y solo si, tiene
promedio de 5.0.
Es decir, que p es verdadera si y solo si q es también
verdadera. O bien p es falsa si y solo si q también es p: Luis es un excelente estudiante.
falsa.
q: tiene promedio de 5.0.
p q p↔q
p q p↔q
V V V
V V V
V F F
V F F
F V F
F V F
F F V
F F V
SIGNOS DE PUNTUACIÓN, AGRUPACIÓN Y ORDEN DE LOS OPERADORES O CONECTIVOS LÓGICOS

Los signos de agrupación más conocidos tenemos: el Ejemplos:


paréntesis, corchete y llaves ( ); [ ] ; 
pq r = (p  q)  r
Estos signos reemplazan a los signos gramaticales:
punto (.), la coma (,), el punto y como (;), y los dos pq rvs = (p  q)  (r v s)
puntos (:). Los signos de agrupación se usan en
lógica cuando se trata de obtener esquemas lógicos pq rs = (p  q)  (r  s)
más complejos con el fin de evitar la ambigüedad de
las fórmulas: Si la proposición compuesta está escrita con
paréntesis, la ubicación de éstos nos indicará cual es
Si las proposiciones tienen el mismo tipo de el operador predominante:
operador o conectivo lógico, se debe colocar los
paréntesis de izquierda a derecha así: Ejemplo:

pqr = (p  q)  r pqr = (p  q) v r Es un esquema


disyuntivo
pqrs = [(p  q)  r ]  s
pqrvs = (p  q)  (r v s) Es
pqrs = [(p  q)  r]  s un esquema condicional

Si no hay signos de puntuación ni paréntesis se debe p  q r  s = (p  q)  (r  s)


considerar el siguiente orden de menor a mayor Es un esquema bicondicional.
jerarquía de los operadores y de izquierda a derecha,
para ubicar los paréntesis. Debemos recordar que un esquema molecular es la
combinación de las variables, operadores lógicos y los
signos de agrupación

, , , , 

VALORES DE VERDAD DE PROPOSICIONES COMPUESTAS

Hay dos formas de establecer los valores de verdad:

Por medio de las tablas de verdad

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.

Para una proposición (n = 1), tenemos 21 = 2 combinaciones.

V
F

Para dos proposiciones (n = 2), tenemos 22 = 4 combinaciones.


p Q

V V

V F
F V
F F

Para tres proposiciones (n = 3), tenemos 2 3 = 8 combinaciones.

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

Para n proposiciones tenemos 2n combinaciones.

Ejemplo: dado el siguiente esquema molecular, construir su tabla de valores de verdad: ( p  q)  (p  r)

Pasos para construir la tabla:

1. Determinamos sus valores de verdad 2 3 = 8 combinaciones

2. Determinamos las combinaciones:

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

3. Aplicamos la condicional de pr

4. Aplicamos la bicondicional de ( p  q)  (p  r)

1 2 4 1 3

p q r p p q  r pr

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.

POR MEDIO DEL DIAGRAMA DE ÁRBOL

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:

1. Sabiendo que p es falsa, q es verdadera y r es verdadera. Cuál es el valor de verdad de la proposición q 


(p  r).

Solución:

q  ( p  r )

V F V

F
Luego la proposición: q  (p  r), es falsa.

2. Dado el siguiente esquema molecular: (  p  q)  (p   r)

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

Luego la proposición: (  p  q)  (p   r) es verdadera

CONTINGENTES, TAUTOLOGÍAS Y CONTRADICCIONES

Los esquemas moleculares se clasifican según el resultado que se obtenga en el operador de mayor jerarquía,
pueden ser:

CONTINGENTES

Cuando en su resultado hay por lo menos una verdad y una falsedad,

Ejemplo: dado el siguiente esquema: (  p  q)  (p   r)

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.

Indeterminación: es la sentencia que ni es verdadera ni falsa.

Ejemplo: Dado el siguiente esquema molecular:

(  p  q)   r   [ r   ( p   q ), determinar si se trata de una contradicción:

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:

 A la tautología se la simboliza con la letra T


 A la idea de tautología se la relaciona con el conjunto universal
 A la contradicción se la simboliza con la letra C
 A la contradicción se la relaciona con el conjunto vacío.
 La negación de una tautología es una contradicción
 La negación de una contradicción es una tautología.

TALLER
1. Indique el valor de verdad de las siguientes proposiciones:

A. a= “4 es un numero par y 5 es múltiplo de 2”

B. b= “La víbora es un reptil o el canario es un pez”

C. c= “Si el oro es un metal, entonces es un buen conductor de la electricidad”

D. d= “La guacamaya es un pez si y solo si el tiburón en un ave”

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)

4. Demuestre que [p ∧ (p ⇒ q)] ⇒ q es una tautología.

5. Demuestre que (p ∨ [∼p ∧ q]) ⇔ (p ∨ q) es una contradicción.

6. Demuestre que (p ∨ [∼r ∧ q]) ⇔ (p ∨ q) es una tautología.

También podría gustarte