Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Logica Proposicional AP

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

FACULTAD DE ESTUDIOS A DISTANCIA – FESAD

ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

LÓGICA PROPOSICIONAL
Contenido:

1. Proposición definición
a. Concepto de lógica.
b. Enunciado
c. Proposición
2. Valor de verdad
3. Clasificación de las proposiciones
a. Postulados
b. Teoremas
c. Corolarios
d. Proposiciones simples
e. proposiciones compuestas
f. Enunciados que no son proposiciones
4. Notación de las proposiciones
5. Conectores lógicos (operadores lógicos o conectivos proposicionales)
6. Operaciones lógicas y Tablas de verdad
a. Negación
b. Conjunción
c. Disyunción no exclusiva
d. Disyunción exclusiva
e. Implicación (Condicional)
f. Doble implicación (Doble implicancia o Bicondicional)
g. Tautologías
h. Contradicciones lógicas.
i. Contingencia
7. Equivalencias en lógica proposicional (leyes y principios lógicos)
a. Leyes Lógicas Clásicas
b. Equivalencias Notables o Leyes Equivalentes
c. Implicaciones Notables o Reglas de Inferencias
8. Cuantificadores
a. Cuantificador universal
b. El cuantificador existencial
c. Negación de los cuantificadores
d. Proposiciones con dos cuantificadores

1
Esp. Alejandro Palacios Cel.: 315 213 8206 – E-mail: alejo_pal556@yahoo.es
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

1. Proposición definición

1.1. Concepto de lógica.

La lógica es una de las ciencias más antiguas, es llamado también como la ciencia de los pensamientos. Su
denominación está directamente relacionada con la palabra griega logos cuyo significado es “pensamiento”,
“razón” o “conocimiento”, se trata del estudio de la forma en que funciona la facultad humana de pensar y
razonar.

El ser humano es un animal racional, la característica que distingue a los humanos del resto de los animales: la
razón o logos. Los seres humanos somos animales con logos. ¿qué significa tener logos?

1.2. Enunciado:
Un enunciado es toda frase u oración del lenguaje cotidiano.
1.3. Proposición:
Es un enunciado respecto del cual se puede afirmar que su contenido es verdadero (V) o falso (F) pero no
ambos cosas a la vez, cumpliendo así, con la propiedad fundamental de bivalencia de una proposición.

2. Valor de verdad de una proposición:

Es la propiedad o valor de un enunciado, mediante el cual se indica, cuándo dicho enunciado es verdadero (V) o
en su defecto, el enunciado es falso (F).

El valor verdadero se representa con la letra V; si se emplea notación numérica, se expresa con un uno (1); en
un circuito eléctrico, equivale a decir que el circuito está cerrado.

El valor falso se representa con la letra F; si se emplea notación numérica se expresa con un cero (0); en un
circuito eléctrico, equivale a decir que el circuito está abierto.

El valor de verdad de una proposición simple depende exclusivamente del enunciado de la proposición.

Ejemplos:

a. Dos es un número par. (verdadero).


b. Cero es mayor que cuatro. (Falso).
c. Tres más cinco es mayor que cuatro. (Verdadero).
d. Carmen es prima de José. (Este enunciado puede ser, en efecto, verdadero o falso dependiendo del
entorno en el que se enuncie esta proposición).
e. x - 6 = 24 (Nótese que según el valor que adopte la variable x, este enunciado puede ser verdadero o
falso).

2
Esp. Alejandro Palacios Cel.: 315 213 8206 – E-mail: alejo_pal556@yahoo.es
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

f. El triángulo ABC es equilátero, (la proposición puede ser verdadera o falsa según el ámbito en el
cual se esté enunciando).

3. Clasificación de las proposiciones

En matemáticas, algunas proposiciones reciben nombres especiales:

3.1. Postulados:

Son aquellas proposiciones que se dan como ciertas desde un principio.

Ejemplo:

"Por dos puntos distintos, pasa siempre una recta y sólo una".

3.2. Teoremas:

Son aquellas proposiciones cuya certeza es demostrada por un razonamiento, conforme a las leyes de la lógica.

Ejemplo:

“En un triángulo rectángulo, la suma de los cuadrados de los catetos, es igual al cuadrado de la
hipotenusa”

3.3. Corolario:

Es un término que se utiliza en lógica para designar la evidencia de un teorema o de una definición ya
demostrados, sin necesidad de invertir esfuerzo adicional en su demostración. En pocas palabras, es una
consecuencia tan evidente que no necesita demostración.

Ejemplo:

A la afirmación “La suma de los ángulos interiores de un triángulo es igual a 180°”, le sigue el corolario

“En un triángulo rectángulo la suma de los dos ángulos contiguos a la hipotenusa es igual a 90°”.

(Dado que la hipotenusa es la arista ubicada frente al ángulo de 90°, la suma de los ángulos del triángulo
contiguos a esa línea es igual a 180° - 90° = 90°).

3.4. Proposición simple (atómica):

3
Esp. Alejandro Palacios Cel.: 315 213 8206 – E-mail: alejo_pal556@yahoo.es
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

Una proposición es simple o atómica, si ninguna parte de ella es a su vez una proposición. Para denotar
proposiciones simples o atómicas, se usan las letras minúsculas p, q, r, s,...etc.

Ejemplos:

a. p = tres es un número impar


b. q = siete menos cuatro es menor que cinco

3.5. Proposiciones compuestas:

Las proposiciones son proposiciones compuestas cuando están formados de proposiciones simples enlazadas o
unidas por partículas gramaticales o denominadas conectivos lógicos. El valor de verdad de una proposición
compuesta, depende completamente del valor de verdad de cada proposición simple y del modo como se les
reúne o conecta para formar la proposición compuesta.

Ejemplo:

“el sol calienta y el ambiente esta frio”

3.6. Enunciados que no son proposiciones

Algunos enunciados, no son proposiciones, porque no se les puede asignar un valor de verdad de verdadero o
de falso. En general, las frases del tipo imperativas o frases interrogativas, no son proposiciones.

Ejemplos:

a. ¡Dile que pase!


b. ¡Pon el libro en la estantería!
c. ¿Será eso cierto?

En el enunciado “Todas las personas tienen que estudiar”, tampoco constituye una proposición, puesto que la
partícula “todas” indica que el enunciado debe cumplirse en todos los casos, y por tanto ser siempre verdadero,
con lo que desaparece el carácter de bivalencia que caracteriza a toda proposición. De haber suprimido esta
palabra, el enunciado resultante “las personas tienen que estudiar”, sí constituiría una proposición, ya que
dicho enunciado podría ser verdadero o falso.

4. Notación de las proposiciones

Las proposiciones simples o atómicas se denotan por letras minúsculas del alfabeto p, q, r, s,...etc.

Ejemplo:

4
Esp. Alejandro Palacios Cel.: 315 213 8206 – E-mail: alejo_pal556@yahoo.es
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

a. p = Luis viene pronto.


b. q = Me marché del laboratorio sin avisar.

5. Conectores lógicos (operadores lógicos o conectivos proposicionales)

En la práctica, es poco frecuente encontrar enunciados constituidos por una única proposición. Lo usual es que
aparezcan enunciados formados por dos o más proposiciones simples o elementales enlazadas mediante
partículas gramaticales, tales como “no”..., “y”, “o”, “si… entonces…”, denominadas por su carácter de
elemento de enlace: conectores lógicos, conectivos proposicionales u operadores lógicos.

Nombre Conector Símbolo


Negación no, not , N, 
Conjunción y, and 
Disyunción inclusiva o, or 
Disyunción exclusiva o…o, xor 
Implicación simple si..entonces…, if-then 
Doble implicación si y solo si, if-then 
Equivalencia igual =

6. Operaciones lógicas y Tablas de verdad

Para la representación abreviada de las proposiciones compuestas, y ya que interesa la estructura de la


proposición, es decir, la configuración de una proposición a partir de varias proposiciones simples, más que el
significado concreto de la proposición, pueden utilizarse las siguientes reglas:

6.1. Negación (No)  , N, 

Es aquel conectivo que niega la proposición, y normalmente se utiliza anteponiendo la partícula gramatical
“no”, o anteponiendo la frase “es falso que”. Este conector proposicional es el único que actúa sobre una única
proposición p y consiste, dada una proposición p, en su negación. Además podemos afirmar que la negación es
un operador lógico que se ejecuta, sobre un único valor de verdad, devolviendo el valor contradictorio de la
proposición p considerada.

En general “cuando una proposición es verdadera su negación es falsa y viceversa”

Simbólicamente la negación se puede representar en lenguaje matemático, de diferentes formas:

a. Anteponiendo el símbolo “”. p se lee “no p”.


b. Sobreponiéndole una barra p se lee “no p”.

5
Esp. Alejandro Palacios Cel.: 315 213 8206 – E-mail: alejo_pal556@yahoo.es
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

c. Anteponiendo el símbolo “”. p se lee “no p”.


d. Anteponiendo el símbolo “”.  p se lee “no p”.
e. Anteponiendo el símbolo “N”. Np se lee “no p”.

Ejemplo1:

La negación de la proposición “Pedro desea bailar”, es “Pedro no desea bailar”.

Ejemplo2:

p = el sol calienta
 p = el sol no calienta

Tabla de verdad. Como es natural, los valores de la negación de una proposición,  p, son los contrarios a
los valores que adopte la proposición p. Es decir, si una proposición p es verdadera, su negación  p es
falsa, y si p es falsa, su negación es verdadera.

Tabla de verdad Tabla de verdad


Negación Negación
p p p p
V F 1 0
F V 0 1

En matemática, con frecuencia trabajamos con funciones proposicionales, pues contiene variables no
especificadas. Esto ocurre con las fórmulas, por ejemplo:

x2 + y2 = z2 ; x3 + z4  y2 + x

aún cuando no son proposiciones podemos negarlas y obtener

x2 + y2  z2; x3 + z4 < y2+ x

podemos también formar expresiones más complejas, por ejemplo

Si x  5 y y  8, entonces y2 - x2  39

y así podemos hablar de la recíproca, inversa o contrarecíproca. En este ejemplo tenemos.

Si y2 - x2  39, entonces x  5 y y  8

Uso inadecuado de la doble negación


6
Esp. Alejandro Palacios Cel.: 315 213 8206 – E-mail: alejo_pal556@yahoo.es
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

Es frecuente en la vida diaria utilizar la negación dos o mas veces, hecho que genera, en algunos casos
confusiones. En efecto, se presentan ambigüedades, cuando se pronuncian frases como estas:

1. Nunca digas un nunca


2. Yo no miento nunca
3. No estoy dentro

Así por ejemplo, en la frase yo no miento nunca, se está utilizando dos veces la negación: cuando se dice no y
cuando se dice un nunca. En matemáticas, cuando se usa dos veces la negación, estas funcionan como los
signos negativos, es decir, se eliminan mutuamente. En la frase “no es cierto que no fui al cine”, lo que está
diciendo es que si fui al cine.
Cabe advertir, que se debe tener mucho cuidado cuando se utilizan expresiones como doble negación.

 Conjunción (Y) -  



Este conector, como el resto de conectores que siguen, necesita de dos proposiciones p y q para su utilización.

La conjunción es aquel operador lógico que une dos proposiciones, incluyéndolas obligatoriamente a ambas.
Su presencia se detecta por la aparición de la partícula “y” como conectivo de conjunción, el cual expresa la
circunstancia de que ambas proposiciones se verifican a la vez.

Simbólicamente la conjunción “y” se representa en lenguaje matemático con el símbolo “”. En general:

La conjunción genera una proposición compuesta verdadera, cuando ambas proposiciones (simples o
compuestas) sobre las cuales se opera, son proposiciones verdaderas.

Ejemplo:

p = el sol calienta
q = hace calor

Es fácil observar que la conjunción “y” denota que se verifican las dos cosas al mismo tiempo.

p  q = el sol calienta y hace calor.

Tabla de verdad. Para elaborar la tabla de verdad correspondiente al conector proposicional conjunción (p  q),
se tiene en cuenta que la conjunción de dos proposiciones p y q, será verdadera únicamente cuando sean
verdaderas las dos proposiciones p y q componentes. En otro caso, cuando una de ellas sea falsa, o ambas, la
proposición p  q será falsa.

7
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

Tabla de verdad Tabla de verdad


Conjunción Conjunción
p q pq p q pq
V V V 1 1 1
V F F 1 0 0
F V F 0 1 0
F F F 0 0 0

La proposición conjuntiva p  q lo identificamos con los circuitos eléctricos diseñados en serie. Se observa
cuando los interruptores están cerrados pasa corriente y la lámpara se enciende, lo representamos con uno (1),
cuando el interruptor está abierto no pasa corriente y la lámpara está apagada y lo representamos



 Disyunción no exclusiva (O) 

La utilización de este conector precisa de dos proposiciones elementales, que pueden denominarse p y q de
manera genérica.

La Disyunción no exclusiva (O) se caracteriza por observar dentro de una proposición la partícula gramatical
“o”, que indica la circunstancia de que pueda verificarse una de las proposiciones, p, o la otra q, o bien ambas
proposiciones p y q al mismo tiempo (ya que se trata de disyunción no exclusiva, y en consecuencia, una
proposición no excluye a la otra). Una proposición compuesta con la disyunción exclusiva es verdadera solo en
el caso de que una de sus dos componentes sea verdadera.

Una proposición compuesta con la disyunción no exclusiva, es verdadera cuando por lo menos una de
sus dos proposiciones componentes es verdadera.

Ejemplo:

Se considera la proposición “iremos a pasear o cantaremos”; se comprende fácilmente que son posibles tres
opciones:

p = iremos a pasear
q = cantaremos

8
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

Es fácil observar que la disyunción “o” denota que se verifican las dos cosas al mismo tiempo.

p  q = Ir a pasear y cantar al mismo tiempo.

Tabla de verdad. La proposición resultante de la Disyunción no exclusiva (p  q) es verdadera, siempre que


sea verdadera una de las dos proposiciones p o q operadas con la disyunción no exclusiva, o las dos a la vez, o
lo que es lo mismo:

p  q es falsa, solo cuando las dos proposiciones p y q, lo sean al mismo tiempo.

Tabla de verdad Tabla de verdad


Disyunción no exclusiva Disyunción no exclusiva
p q pq p q pq
V V V 1 1 1
V F V 1 0 1
F V V 0 1 1
F F F 0 0 0

La proposición disyuntiva p  q lo identificamos con un circuito eléctrico instalado en paralelo, en el cual si los
dos interruptores están cerrados pasa corriente y se prende la lámpara, de igual modo si uno de ellos está
cerrado pasa corriente y se prende el foco, solo si los dos están abiertas no pasa corriente y la lámpara está
apagada.

6.4. Disyunción exclusiva (O...o...)  

La utilización de este conector proposicional presupone la existencia de dos proposiciones componentes, que
pueden denominarse, de manera genérica, p y q.

9
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

La disyunción exclusiva se detecta dentro de una proposición por la aparición de las partículas gramaticales
“o...o...”, es un caso particular de la disyunción. La disyunción exclusiva es un conector proposicional que
indica que puede cumplirse una u otra de las dos proposiciones elementales de la proposición, pero no ambas a
la vez (de aquí la denominación de disyunción exclusiva, que indica que una de las proposiciones excluye a la
otra).

La distinción entre la disyunción no exclusiva ( y la disyunción exclusiva ( , no siempre es evidente,
puesto que en la práctica se suprime la “o” inicial en las disyunciones exclusivas y su aspecto formal es
idéntico. Sin embargo, se considerará que la disyunción es exclusiva cuando aparezca con suficiente claridad la
imposibilidad (física o mental) de que se verifiquen las dos proposiciones componentes al mismo tiempo.

Ejemplo1:

"Un triángulo abc es o rectángulo o acutángulo"; aquí la disyunción es exclusiva: si es verdadero que
el triángulo ABC es acutángulo, no es rectángulo, pues no existen triángulos que sean a la vez
rectángulos y acutángulos.

Ejemplo2:

"Nos vamos o nos quedamos" puede representarse p q. Como ambas cosas no pueden ser ciertas al
mismo tiempo, la proposición será siempre verdadera.

Ejemplo3:

“O atiendes a la conferencia, o te vas al cine”.

Tabla de verdad. Para elaborar la tabla de verdad correspondiente al conector proposicional disyunción
exclusiva, se tiene en cuenta que la proposición p q es verdadera, cuando una y solo una de las dos
proposiciones componentes, sea verdadera; mientras que en los dos casos restantes (las dos proposiciones
componentes son verdaderas o falsas al mismo tiempo), la proposición p q será falsa.

Tabla de verdad
Disyunción exclusiva
p q p q Tabla de verdad
V V F Disyunción exclusiva
V F V p q P q
F V V 1 1 0
F F F 1 0 1
10
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

0 1 1
0 0 0

6.5. Implicación o Condicional (Si... entonces...)   

La utilización de este conector proposicional presupone la existencia de dos proposiciones componentes, que
pueden denominarse, de manera genérica, p y q.

Se caracteriza por el uso de las partículas gramaticales “si...entonces...”. El nombre de implicación no está
relacionado con una posible relación causal (causa-efecto) entre las proposiciones componentes, hace referencia
a la forma externa “si...entonces...”, que denota la presencia de este conector proposicional.

La proposición p que precede al signo suele denominarse antecedente, mientras que la proposición q que
sigue a dicho signo  se denomina consecuente.

La mayoría de las proposiciones matemáticas o teoremas tienen esta estructura


p  q
  
Antecedente (condición) consecuente
 
Hipótesis (condición) conclusión

Se puede de enunciar de varias formas

 q entonces q
 q solo si q
 que si q
 q es suficiente para q
 q es necesaria para q

Analicemos el valor de verdad para el condicional

11
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

Ejemplo 1:

Si los libros cantan, entonces los árboles lloran.

Se trata, por la estructura formal de la proposición (si... entonces...), de un conector implicación , por lo que
se puede representar esta proposición mediante habiendo denominado p a la proposición “los libros cantan” y q
a la proposición “los árboles lloran”.

p = los libros cantan.


q = los árboles lloran.

P q = Si los libros cantan, entonces los árboles lloran.

Ejemplo 2:

"Si calentamos un cuerpo, entonces el cuerpo se dilata" será una proposición verdadera si, supuesto que el
cuerpo se calienta, el cuerpo se dilata; es decir, la proposición p  q es verdadera si supuesto que p es
verdadera resulta q verdadera. Este hecho, inexplicable a primera vista, se aplica en el lenguaje ordinario
infinidad de veces.

Ejemplo 2:

Cuando decimos “si no apruebo este examen, me retiro”, usamos tanto un antecedente como un consecuente
falsos, ya que, en realidad, no pienso retirarme, y sin embargo, la relación de implicación es verdadera.

Tabla de verdad: Para elaborar la tabla de verdad correspondiente al conector proposicional Implicación o
Condicional (Si... entonces...), se tiene en cuenta que la verdad o falsedad del condicional p  q está
condicionada a la verdad o falsedad de las proposiciones componentes.

Tabla de verdad
Implicación simple
p q pq
V V V
V F F
F V V
F F V

12
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

Analizando el razonamiento de los valores para p  q que aparecen en la tabla de verdad de la implicación ,
observamos:

1. Si p es verdadera, y q es verdadera, p  q es verdadera.


La verdad de p y verdad de q, si se cumple p, entonces q se cumple, con lo que el valor de verdad de p  q
sería verdadero.

Si se parte de una hipótesis verdadera y nuestro razonamiento ha sido correcto nos conduce a una conclusión
verdadera, por lo tanto, la implicación es verdadera.

2. Si p es verdadera, y q es falsa, p  q es falsa.


Si p se cumple o es verdadera, y q no se cumple o es falsa, no puede decirse que si p se cumple entonces q se
cumple, con lo que el valor de verdad de p  q sería falso.

Si la hipótesis es verdadera, nos conduce a una conclusión falsa, es porque hemos cometido un error en el
razonamiento y finalmente el condicional es falso.

3. Si p falsa es, y q es verdadera, p  q es falsa.


Si p falsa y q verdadera, se concluye que p  q es verdadero. Este resultado expresa que siempre que el
consecuente q sea verdadero, p  q también lo será, lo que está relacionado con el hecho de que la verdad de q
es independiente de la verdad o falsedad de p (hecho que no es contrario a la lógica).

Si se parte de una hipótesis falsa y razonando correctamente, podemos llegar a una conclusión verdadera. En
caso, el condicional es verdadero.
4. Si p y q son falsas, p  q es verdadero.
Si las proposiciones p y q son falsas, se concluye que el valor de verdad de la proposición p  q es verdadera.

Si partimos de una hipótesis falsa y razonando correctamente podemos llegar a una conclusión falsa. Por tanto,
el condicional es verdadero.

6.6. Doble implicación o Bicondicional (…si y solo si…)  

La doble implicación no se trata de un conector proposicional, sino que este conector se forma, como su
nombre indica, a partir de dos conectores implicación, pero de sentidos contrarios. Su presencia en el contexto

13
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

de una proposición se reconoce por las partículas gramaticales “si y sólo si”, que pueden estar, como sucedía
para los otros conectores proposicionales, implícitas en la proposición, es decir, no aparecer de manera expresa.

A este conector se le denomina usualmente Bicondicional, ya que dadas dos proposiciones p y q, p si y solo si
q, es equivalente a la doble implicación entre p y q, es decir:

si p , entonces q : p  q
p q
si q , entonces P: q  P

p q  p  q q p, en donde significa doble implicación y  significa “equivale a”.

Ejemplo 1:

p  Se llenarán los pantanos


p Se llenarán los pantanos
p  q = Se llenarán los pantanos, si y sólo si, Se llenarán los pantanos

En el condicional es muy importante tener en cuenta que no se afirma la verdad o falsedad del antecedente, sino
que en el supuesto de que éste sea verdadero, el consecuente será verdadero.

Ejemplo 2:

Sea la proposición: “Lloverá si y sólo si los árboles cantan”, dada su estructura formal, que corresponde al tipo
de conector proposicional bicondicional, se puede representar abreviadamente esta proposición del siguiente
modo:

p = Lloverá
q = los árboles cantan

p  q = Lloverá si y sólo si los árboles cantan

Ejemplo 3:

"El triángulo ABC es rectángulo si y sólo si tiene un ángulo recto"

Ejemplo 4:

El uso del condicional puede dar origen a proposiciones que podrían calificarse de absurdas. Ellas se presentan
cuando no existe relación entre el antecedente y el consecuente.

14
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

La proposición "Si mi perro tiene cinco patas, entonces yo volaré montado en una escoba" puede parecer
extraña, sin embargo es una proposición verdadera.

Tabla de verdad: La tabla de verdad correspondiente a este conector proposicional doble implicación, se
deduce de la tabla de verdad del conector implicación y del conector conjunción, ya que:

p  q  p  q q  p.

Tabla de verdad
Doble implicación
p q p  q
V V V
V F F
F V F
F F V

6.7. Tautologías

Una tautología es una fórmula bien formada de un sistema de lógica proposicional que resulta verdadera para
cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas
atómicas. La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula
cualquiera es una tautología o no.

(~p  q )  ( p  q)

6.8. Contradicciones lógicas.

Una contradicción es una fórmula lógica que es falsa para cualquier valor lógico que se le asigne a sus variables
proposicionales.

En el caso contrario, ejemplificado con la proposición p q, en el que por el principio de no contradicción no
pueden ser verdad ambos términos a la vez, la tabla de verdad sólo puede tomar valores falsos: este tipo de
fórmulas se denominan absurdos o contradicciones lógicas.

~(pq)(~p~q)

6.9. Contingencia

15
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

Una contingencia es una fórmula lógica cuando por lo menos hay una verdad y una falsedad de su operador
principal.

7. Equivalencias en lógica proposicional (leyes y principios lógicos)

Un esquema o fórmula lógica es una ley lógica, si y sólo si es verdadera para cualquiera de sus valores de las
variables componentes. Las principales leyes o principios lógicos podemos clasificar en grupos:

7.1. Leyes Lógicas Clásicas

7.1.1. Ley de identidad. Una proposición es idéntica a sí misma.

pp
pp

7.1.2. Ley de no contradicción. Una proposición no puede ser verdadera o falsa a la vez.

~  p  ~p 

7.1.3. Ley del tercio excluido. Una proposición es verdadero o es falso, no hay una tercera posibilidad.

p.  . ~ p

7.2. Equivalencias notables o Leyes Equivalentes:

7.2.1. La ley de la doble negación o involución. La negación de la negación de p es una afirmación p.

~ . ~ .p..  .p

7.2.2. La ley de idempotencia :

p  p  p
p  p  p

7.2.3. Ley conmutativa :

p  q  q  p
p  q  q  p
p  q  q  p

16
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

7.2.4. Ley asociativa :

p  q  r   p  q  r
p  q  r   p  q  r
p  q  r   p  q  r

7.2.5. Leyes distributivas :

p  q  r   p  q  p  r ; p  q  r   p  q  p  r 
p  q  r   p  q  p  r ; p  q  r   p  q  p  r 

7.2.6. Leyes de de morgan :

~ p  q  ~ p  ~ q
~ p  q  ~ p  ~ q

7.2.7. Leyes del condicional :

p q  ~p  q
~ p  q  p  ~ q
7.2.8. Leyes del bicondicional:

p  q  p  q  q  p
p  q  p  q  ~ p ~ q

7.2.9. Leyes de absorcion:

p   p  q   p; p  ~ p  q   p  q
p   p  q   p; p  ~ p  q   p  q

7.2.10. Leyes de transposicion:

p q  ~q~p
p  q  ~q  ~p

7.2.11. Ley de exportacion:

p  q  r  p  q  r 

7.2.12. Ley de los elementos neutros:

17
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

p  V   p; p   F F
p  V   V; p   F p

7.2.13. Leyes del complemento:

p  ~ p  F; ~ V   F
p  ~ p  V; ~ F   V

7.3. Implicaciones notables o reglas de inferencias :

7.3.1. Modus ponendo ponens (pp): el modus (método) ponendo ponens, nombre tomado del latín, nos
dice que afirmando (ponendo) el antecedente de un condicional se puede afirmar (ponens) el
consecuente.
p q
p ó [( p q) p] q
q

7.3.2. Modus tollendo tollens(tt):

p q
~q ó [(p q) ~q]~p
~ p
7.3.3. Silogismo disyuntivo(sd) o modus tollendo ponens:

P  q p  q [(p  q)~q] p
~q ; ~p ó
p q [(p  q)~p] q

7.3.4. Silogismo hipotético (sh):

p q
q r ó (p q)(q r)(p r)
 p r

7.3.5. Ley de simplificación (ls):

P  q ; p  q (p  q)  p
ó
p  q (p  q)  q

7.3.6. Ley de adición (la):

P ; q ó p  (p q)

18
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

p  q p q q  (p q)

7.3.7. Ley de la conjunción o adjudicación( a ):

p
q ó p  q  p  q
p  q

7.3.8. Dilema constructivo (dc): si en la conjunción de dos condicionales afirmamos los dos
antecedentes disyuntivamente, se concluye afirmando los dos consecuentes disyuntivamente.
Simbólicamente:
Pq
R s ó ( p  q )  ( r  s )  (p  r)  (q  s)
P  r
q  s
7.3.9. Dilema destructivo (dd): si en la conjunción de dos condicionales afirmamos los dos
antecedentes disyuntivamente, se concluye afirmando los dos consecuentes disyuntivamente. En
símbolos:
pq
r s ó ( p  q )  ( r  s )  ( q   s)  ( p   r)
q   s
 p   r

19
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

8. Cuantificadores

Los términos “algunos, todos, existe al menos un…, cada uno…, ningún”, que indican cantidad, son llamados
cuantificadores. Se distinguen principalmente dos cuantificadores:

8.1. Cuantificador universal. -   

Los términos “Todos”, “cada uno”, “ninguno””, etc, son llamados cuantificadores universales. Un
cuantificador universal se representa por el símbolo , que se lee “Para todo”.

Al cuantificar a la función proposicional p(x) mediante el cuantificador universal obtenemos la proposición:

Para todos los elementos x de A, se cumple la propiedad expresada por la proposición P(x), que se simboliza
por:

“ x  A : p(x)” y se lee “para todo x de A tal que se cumple p(x)”

Esta proposición recibe el nombre de proposición universal.

La proposición  x A : p(x) es verdadera si y solo si p(x) es verdadero para todos los elementos de A, esto es
si el dominio de verdad de p(x) coincide con A; y es falsa si hay al menos un elemento de A que no cumple la
propiedad p(x).

Ejemplo 1:

Simbolizando la proposición “Todo número natural es mayor o igual a cero” y:

 n  N : p(n) : n  0 es ( V );
Determinando el valor lógico de esta proposición se evidencia que es verdadera, pues “n” puede asumir: 0, 1, 2,
3. . . ; y todos ellos son mayores o igual a cero.

Ejemplo 2:

Simbolizando la proposición “Todo número natural es mayor que 2”, se tiene:

 n  N : p(n) : n > 2 es ( F ) para n = 1 no es cierto : 1> 2 es ( F ) .

Ejemplo 3:

Sea E = { 0, 2, 4, 6, 8 } y P(x) : 2 es divisor de x; entonces :

“ x  E : P(x)” es ( V ), pues 2 divide a todos los x de E.

20
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

8.2. El cuantificador existencial. -   

El término “algunos” o “existe al menos uno”, se llama cuantificador existencial. Y se representa por la
partícula: , que se lee “existe al menos uno”.
Al cuantificar a P(x) con el cuantificador existencial obtenemos la proposición “Existe al menos un elemento x
de A tal que cumple P(x), que se simboliza por :

“  x  A / p(x)”, y se lee “existe al menos un x de A, tal que se cumple p(x)”.

Esta proposición recibe el nombre de proposición existencial.

La proposición  xA / p(x) es verdadera si y solo si p(x) es verdadera para al menos un elemento x de A; y,
es falsa si ningún elemento de A cumple la propiedad p(x).

Ejemplo 1:

Simbolizar la proposicion “Existe un número natural mayor que 20”

 nN / n > 20, al buscar al menos un número que sea mayor que 20, n = 21, 22, etc. tal que si n = 21, p(21) :
21 > 20 y determinando su valor lógico se concluye que la proposición es verdadera ( V ).

Ejemplo 2:

Existe al menos un número entero cuyo cuadrado es 25.

 nZ / n2 = 25, si existe al menos un número entero n = 5 / P(5) : 52 = 25 es ( V )

Ejemplo 3:

Existe un número natural cuyo cubo es 81


 nN / n3 = 81, ¿existe un número que elevado al cubo sea igual a 81?, sabemos que no exis- te tal
número, por lo que la proposición es falsa.
Ejemplo 4:

Existe un número par de A. Sea A ={ 1, 3, 5, 7} y P(x) : x es par.

 xA / x es par, observamos que los elementos de A son impares, por lo que la proposición es también falsa.

8.3. Observación:

En las proposiciones existenciales, puede existir un único elemento que hace verdadera y se denota por:

! xA / P(x).

21
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

Ejemplo 1:

Existe un único número entero que sumado con 7 da 11.

! xZ / x + 7 = 11, es ( V ), pues con x = 4 cumple.

Ejemplo 2:

Existe un único número entero cuyo cuadrado es 36.

! xZ / x2 = 36, es ( F ),

Porque existen dos números enteros que elevados al cuadrado es 36.

8.4. Negación de los cuantificadores

Para negar una proposición con cuantificadores, se cambia el cuantificador; de universal a existencial o de
existencial a universal, y se niega la proposición cuantificada. Estas reglas de la negación de cuantificadores se
representan:

~ [  x  A : P(x) ]   xA / ~ P(x).

~ [  xA / P(x) ]   x  A : ~ P(x)

Ejemplo:

Hallar la negación de las siguientes proposiciones cuantificadas:

Proposiciones cuantificadas Negación de proposiciones cuantificadas


1  xN / x3 = 1 ~ [  xN / x3 = 1]   x  N : ~ (x3 = 1)   x  N : x3  1
2  nN / n + 3 = 0. ~ [  nN / n + 3 = 0 ]   n N : ~ (n + 3 = 0 )   n N : n + 3  0
3 xZ:x3 ~[xZ:x3]  xZ / ~ ( x  3 )   xZ / x < 3
4  x  R : x2  2  x = 3 ~ [ x  R : x  2  x = 3 ]   xR / ~ (x  2  x = 3 )
2 2

  xR / ~ (x2  2 )  ~ ( x = 3 )
  xR / x2 < 2  x  3

8.5. Proposiciones con dos cuantificadores

A una función proposicional la podemos cuantificar 2 veces una por cada variable que posee.
Sea P(x, y) una función proposicional con dominios x A , y  B; de los cuales existen 8 combinaciones
posibles:
1.  x  A,  y  B : P(x, y) 5.  x  A,  y  B : P(x, y)
22
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

2.  y  B,  x  A : P(x, y) 6.  y  B,  x  A : P(x, y)
3.  x  A,  y  B / P(x, y) 7.  x  A,  y  A / P(x, y)
4.  y  B,  x  B / P(x, y) 8.  y  B,  x  A / P(x, y).

Ejemplo 1:

Sean A = { 1, 2, 3 } y B = {-2, 1, 0 }; establecer el valor lógico de cada una de las siguientes proposiciones:

a)  y  A,  x  B / x + y < 3 c) ! y  B, ! x  A / x.y < 0.


b) ! y  B /  x  A : x – y > 1 d)  x  A,  y  A : 2x = y.

Solución :

a. Para cada x  A se tiene : Existe un y  B :


x=1 y = - 2 tal que : 1 + (-2) < 3 ( V )
x=2 y=0 “ “ : 2+0 <3 (V)
x=3 y = -2 “ “ : 3 + (-2) < 3 ( V )
Por lo tanto :  y  A,  x  B / x + y < 3 es ( V ).

b) Existe un único y  B : Para cada x  A se tiene :


y = -2 tal que x = 1 : 1 - (-2) > 1 ( V )
y = -2 tal que x = 2 : 2 - (-2) > 1 ( V )
y = -2 tal que x = 3 : 3 - (-2) > 1 ( V )
Por lo tanto : ! y  B /  x  A : x – y > 1 es ( V ).

c) Existe un único y  B : Existe también un único x  A :


y = -2 tal que x = 2 tal que : (-2) x 2 < 0 es ( V ).
Por lo tanto : ! y  B, ! x  A / x.y < 0 es ( V ).

23
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

Taller de Lógica Proposicional

1. Consulte y realice un resumen acerca de los significados de proposición, valor de verdad de una
proposición, Clasificación de las proposiciones, conectivos lógicos, las tablas de verdad, Tautología,
Contradicción y Contingencia, Silogismo, inferencia.
2. Realice un mapa conceptual en el cual sintetice las Leyes de la lógica.
3. A continuación se enuncian unas proposiciones. En la siguiente tabla se encontrara una serie de
enunciados. Usted debe marcar con una X si es o no es una proposición. En caso de ser una proposición,
escribir a qué clase de proposición corresponde cada enunciado y especificar el respectivo valor de
verdad (V/F).
No es Es Valor de
N° Expresión Clase de proposición
proposición proposición verdad
1
Marte está lleno de marcianitos
2 Él es inteligente o estudia todos los días”
3 5+2=6
4 Compra cinco azules y cuatro rojas
5 x+y≤5
6 p: los estudiantes de lógica aprobarán el curso, si su nota final es
mayor de 3
7 s: Cinco más siete es grande.
8 x=2
9 El número 8 es un número primo
10 ¿Te vas?
11 p: Existe Premio Nobel de informática
12 El número1 es un número entero, pero 2 no lo es
13 Ven a verme
14 Gabriel García Márquez escribió el coronel no tiene quien le escriba
15 Él está triste
16 El próximo viernes caerá un meteorito en mi casa
17 La Matemática es mi asignatura preferida y Mozart fue un gran
compositor.
18
¿Está lloviendo?
19 El año empieza con el mes de marzo
20 Las proposiciones lógicas se suelen representar por las letras p, q y r
21 p: La tierra es una esfera
22 q: La tierra es el único planeta del Universo que tiene vida
23 p: Mi perro es negro
24 r: Teclee Escape para salir de la aplicación.
25 p(x) = x es una marca de autos

4. Determine el valor de verdad completando las tablas lógicas mostradas a continuación:

a. ~ (P Λ Q) ↔ [(~P) V (~Q)]

24
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

P Q PΛQ ~(P Λ Q) ~P ~Q (~P) V (~Q) ~ (P Λ Q) ↔ [(~P) V (~Q)]

1 1
1 0
0 1
0 0

b. (A → ~B) → ~ [(B V A) ↔ (A Λ ~B)]

A B ~B A → ~B BVA A Λ ~B (B V A) ↔ (A Λ ~B) ~ [(B V A) ↔ (A Λ ~B)] (A → ~B) → ~ [(B V A) ↔ (A Λ ~B)]


1 1
1 0
0 1
0 0

25
FACULTAD DE ESTUDIOS A DISTANCIA – FESAD
ESCUELA DE CIENCIAS TECNOLÓGICAS

Lógica y Técnicas de Pensamiento

c. [P Λ (Q V R)] → R

P Q R QVR P Λ (Q V R) R [P Λ (Q V R)] → R
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0

d. [(A V B) Λ ~C]↔[ (A Λ B) V (C Λ ~C) ]

A B C ~C AΛB AVB C Λ ~C (A V B) Λ ~C (A Λ B) V (C Λ ~C) [(A V B) Λ ~C]↔[ (A Λ B) V (C Λ ~C) ]


1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0

5. Demostrar si las siguientes tablas de verdad son tautologías, negaciones o contingencias:

a. P V (~P)
b. ~ (~P) ↔ P
c. P Λ (P)
d. P V (~Q)
e. {P → [Q Λ (~Q)]} → (~P)
f. [(P V Q) → Q] → (~P V Q)
g. (P → Q) → [(P Λ R) → (Q Λ R)]
h. ~ [(~P → Q) Λ ~ (P Λ Q)] Λ Q
i. [(P → Q) Λ (Q → R)] → (P → R)

26

También podría gustarte