2º.

BASICO II UNIDAD 1

LÓGICA

La lógica es la ciencia formal y rama tanto de la filosofía como de las matemáticas que
estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción
de verdad.

La lógica matemática es la rama más matemática de la lógica, que estudia la inferencia

mediante sistemas formales como la lógica proposicional, la lógica de primer orden y la lógica modal.

Ejemplos de argumentos deductivamente válidos son los siguientes:

1. Todos los planetas giran

1. Si está soleado, 1. Si no es lunes, entonces
alrededor del Sol.
entonces es de día. es martes.
2. Marte es un planeta.
2. Está soleado. 2. No es lunes.
3. Por lo tanto, Marte gira
3. Por lo tanto, es de día. 3. Por lo tanto, es martes.
alrededor del Sol.

Para que un argumento sea deductivamente válido, no es necesario que las premisas o la
conclusión sean verdaderas. Sólo se requiere que la conclusión sea una consecuencia lógica de las
premisas. La lógica formal exige únicamente una relación condicional entre las premisas y la
conclusión. Esto es: que si las premisas son verdaderas, entonces la conclusión también lo es (esta
es la caracterización semántica de la noción de consecuencia lógica); o alternativamente: que la
conclusión sea deducible de las premisas conforme a las reglas de un sistema lógico (esta es la
caracterización sintáctica de la noción de consecuencia lógica). Si un argumento, además de ser
válido, tiene premisas verdaderas, entonces se dice que es sólido.

Las expresiones de las que depende la validez de los argumentos se llaman constantes
lógicas, y la lógica las estudia mediante sistemas formales.

Verdad

La verdad es la coincidencia entre una afirmación y los hechos, o la realidad a la que dicha
afirmación se refiere o la fidelidad a una idea. El término se usa en un sentido técnico en diversos
campos como la ciencia, la lógica, las matemáticas y la filosofía.

El uso de la palabra verdad abarca asimismo la honestidad, la buena fe y la sinceridad

humana en general; también el acuerdo de los conocimientos con las cosas que se afirman como
realidades: los hechos o la cosa en particular; y, finalmente, la relación de los hechos o las cosas en
su totalidad en la constitución del Todo, el Universo.

Las cosas son verdaderas cuando son «fiables», fieles porque cumplen lo que ofrecen.
 2
TABLA DE VERDAD

Una tabla 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 verdad que se pueda asignar.

DEFINICIONES EN EL CÁLCULO LÓGICO

Para establecer un Sistema formal se establecen las definiciones de los operadores. Las
definiciones se harán en función del fin que se pretenda al construir el sistema que haga posible la
formalización de argumentos:

 Como razonamientos deductivos lógico-lingüísticos

 Como construcción de un sistema matemático puro
 Como una aplicación lógica en un Circuito de conmutación.

VERDADERO
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, el circuito está cerrado cuando está presente
la afirmación de V.
FALSO
El valor falso F; si se emplea notación numérica se expresa con un cero: 0; en un
circuito eléctrico, el circuito está abierto.
VARIABLE
Para una variable lógica A, B, C, ... pueden ser verdaderas V, o falsas F, los
operadores fundamentales se definen así:
NEGACIÓN
La negación operador que se ejecuta, sobre un único valor de verdad, devolviendo el valor
contradictorio de la proposición considerada.
CONJUNCIÓN
La conjunción es un operador, que actúa sobre dos valores de verdad, típicamente
los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero
cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir, es
verdadera cuando ambas son verdaderas.

En términos más simples, será verdadera cuando las dos proposiciones son
verdaderas.

DISYUNCIÓN
La disyunción es un operador lógico que actúa sobre dos valores de verdad,
típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad
verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso
cuando ambas son falsas.

En términos más simples, será verdadera cuando por lo menos una de las proposiciones es
verdadera de lo contrario será falsa.
14. Ejercicios Resueltos de Lógica Proposicional
Ejercicios Resueltos de Lógica Proposicional
Ejercicio 1:
Averigüe qué proposiciones son verdaderas o falsas:
1. La luna es cuadrada y mi perro tiene cuatro patas.
2. Si 1+1=21+1=2, entonces 10<1510<15.
3. O la derivada de x2x2 es 2x2x o la integral indefinida 2x2x es x2x2.
4. Todos los humanos nacieron en Ganímedes o en la Tierra.
5. En Photoshop se edita documentos texto o en Office Word se edita imagen.
Solución:
Proposición 1:
Naturalmente nos referimos a la Luna que orbita la tierra, esta Luna, es redonda y no
cuadrada, en cuanto al perro, en efecto, tiene cuatro patas, tenemos:
o La luna es cuadrada Falso La luna es cuadrada ⏟Falso
o Mi perro tiene cuatro patas Verdadero Mi perro tiene cuatro patas⏟Verdadero
y como son unidas por un conectivo conjuntivo, la proposición es:
La luna es cuadrada F y mi perro tiene cuatro patas V La luna es cuadrada⏟F y mi perro tiene
cuatro patas⏟V⏞F
naturalmente falsa.
Proposición 2:
Si 1+1=2 V, entonces 10>15 FSi 1+1=2⏟V, entonces 10>15⏟F⏞F
La proposición es falsa.
Proposición 3: O la derivada de x2 es 2x V o la integral definida de 2x es x2 V O la
derivada de x2 es 2x⏟V o la integral definida de 2x es x2⏟V⏞F
Esta proposición es falsa porque se trata de una disyunción fuerte o exclusiva a pesar de que
no existe contradicción en cada uno de los argumentos por separado. Sería verdadera su
fuese una disyunción inclusiva.
Proposición 4:
Todos los humanos nacieron en Ganimedes F o en la Tierra V Todos los humanos nacieron
en Ganimedes⏟F o en la Tierra⏟V⏞V
Esta es una disyunción débil o inclusiva, es verdadera ya que elegimos la proposición simple
verdadera, esto es “todos los humanos nacieron en la tierra“.
Proposición 5:
En photoshop se editan documentos de texto F o en Word se editan imágenes F En
photoshop se editan documentos de texto⏟F o en Word se editan imágenes⏟F⏞F
Y por ultimo, tenemos otra disyunción inclusiva, en este caso, la proposición es falsa.
Ejercicio 2:
Diga cuales de las siguientes proposiciones o enunciados abiertos son atómicas y
moleculares, expréselo simbólicamente luego de identificarlos correctamente:
1. La gallina pone huevos porque es hembra.
2. El pavo será para mañana antes de las 12 de la noche.
3. O Luis es buen jugador o es afortunado.
4. Hoy esta lloviendo.
5. Mi perro es bonito pero huele feo.
6. Perú se encuentra al lado izquierdo de Brasil y Brasil se encuentra en américa.
7. Mi gato no quiere comer.
8. Escribo con un lapicero si y sólo si tiene tinta.
9. Los tiburones les gusta la carne.
10. Puedes usar una dona de plata o una esfera de plata en tu pulsera de piedras.
Solución:
1. La proposición “La gallina pone huevos porque es hembra” se puede desdoblar así:
o pp :La gallina pone huevos.
o qq: La gallina es hembra.
¿Cual es la razón de que la gallina ponga huevos?, Que sea hembra, podemos escribir este
enunciado así:
o Si la gallina es hembra, entonces pondrá huevos.
Por tanto, la simbolización esta proposición condicional es q→pq→p. Aunque la manera
correcta de escribirlo es así:
o La gallina es hembra, por tanto, pone huevos.
Este es una implicación lógica simbolizado así q⇒pq⇒p.
2. Se puede separar en dos proposiciones diferentes:
o pp :El pavo será para mañana.
o qq: El pavo es antes de las 12 de la noche.
Se podía haber escrito “El pavo será para mañana y antes de las 12 de la noche“. Para este
caso, su esquema molecular es p∧qp∧q.
3. igualmente
o pp :Luis es buen jugador.
o qq: Luis es afortunado.
Por tanto, estamos tratando con una proposición conjuntiva por el conectivo “y” como en el
caso anterior Por tanto, su esquema molecular es p∧qp∧q.
4. La proposición “hoy está lloviendo” indica que un juicio a un suceso, aquellas
proposiciones de un solo juicio son proposiciones simples sin conectivos lógicos.
o pp: hoy está lloviendo.
5. Aquí “Mi perro es bonito pero huele feo.“
o pp: Mi perro es bonito.
o qq: Mi perro huele feo.
El conectivo “pero” representa al conectivo conjuntivo “y“, su esquema molecular es p∧qp∧q.
6. “Perú se encuentra al lado izquierdo de Brasil y Brasil se encuentra en américa“, se puede
separar así:
o pp: Perú se encuentra al lado izquierdo de Brasil.
o qq: Brasil se encuentra en américa.
Estas proposiciones están unidas por el conectivo “y“, por tanto, su esquema molecular
es p∧qp∧q.
7. “Mi gato no quiere comer”, esta proposición es compuesta pero no un es un conectivo
lógico, de aquí podemos extraer el siguiente enunciado:
o pp: Mi gato quiere comer (Afirmación).
Como existe una negación “no” de simbolizado por “∼∼”, la proposiciones debe escribirse
así ∼p∼p.
8. “Escribiré con un lapicero si y sólo si tiene tinta“, esta proposición se puede separar así:
o pp: Escribiré con un lapicero.
o qq: El lapicero tiene tinta.
La conectiva “si y sólo si” es una bicondicional, por tanto, la proposición debe escribirse
así p↔qp↔q.
Ejercicio 3:

Simbolizar el siguiente argumento detectando sus conectivas logicas escritos literalmente.

o Si los cerdos vuelan y me hablan, creerían que estoy loco y me meterían en el manicomio.
Solución:
Para identificar cada una de los conectivos lógicos, vamos a colorearlo con color
rojo y azul.
 o Si los cerdos vuelan y me hablan, creerían que estoy loco y me meterían en el
manicomio.
En este argumento, vemos una proposición del tipo condicional de la forma “Si … , entonces
…“, en este caso, el “entonces” se sobreentiende, significa que la proposición es una
condicional con símbolo “→→” esto indica que es una es una conectiva de mayor
jerarquía, lo podemos escribir así:
o Los cerdos vuelan y me hablan →→ creerían que estoy loco y me meterían en el
manicomio.
El conectivo “y” de color azul es una conjunción lógica simbolizado por “∧∧”, nuestro
argumento se puede escribir así (sin olvidar la jerarquía de la condicional):
o (Los cerdos vuelan ∧∧ me hablan) →→ (creerían que estoy loco ∧∧ me meterían en el
manicomio).
De aquí podemos identificar las siguientes proposiciones simples dentro de este argumento y
son:
o pp: Los cerdos vuelan.
o qq: los cerdos me hablan.

o rr: Creerían que estoy loco.

o ss: Me meterían preso.

Finalmente, nuestro argumento queda formalmente simbolizado de la siguiente manera:

(p∧q)→(r∧q)(p∧q)→(r∧q)
Ejercicio 4:

De los siguientes enunciados:

1. Descansa en paz.
2. ∫x3=x44∫x3=x44
3. Él está cojo.
4. Que alegría.
5. 3–5>33–5>3
Cual de las alternativas siguientes son correctas:
a. 2 de ellas son proposiciones
b. 3 son enunciados abiertos
c. 3 son enunciados declarativos
d. 1 de ellas no son proposiciones ni enunciados abiertos
Solución:
Describamos rápidamente cada uno de los enunciados.
1. Descansa en paz: es un mandato, por tanto, no es un enunciado declarativo.
2. ∫x3=x44∫x3=x44 es una proposición ya que la integral definida
de ∫xn∫xn es xn+1n+1xn+1n+1.
3. Él está cojo, es un enunciado abierto, ya que no se sabe a quien se esta
refiriendo.
4. Que alegria, es una expresión emocional y no es un enunciado declarativo.
5. 3–5>33–5>3 es −2>3−2>3, es imposible que −2−2 sea mayor que 33, por lo
que, estamos tratando con una proposición falsa.
De aquí, contabilizamos los tipos de enunciados que podamos encontrarnos:
o Hay 3 enunciados declarativos, esta son la 2, 3 y 5.
o Hay 2 proposiciones y son la 2 y la 5.
o También encontramos 2 enunciados no declarativos, nos referimos a la 1 y
la 4, es decir, no son proposiciones ni enunciados abiertos.
o Encontramos también un único enunciado abierto, el enunciado número 3.
por tanto, sólo las alternativas a. y c. son correctas.
Ejercicio 5:

Describir formalmente la siguiente proposición gramatical:

Si Renato va a trabajar tarde, entonces le pagarán menos y si no va a trabajar tarde, le
pagarán más, por tanto, si va a trabajar tarde o no, le pagaran menos o mas.
Si no entendiste lo que quise decir, mejor te lo digo de esta manera “transforma
el enunciado anterior en términos pp, qq, rr junto con símbolos conectivos de la
siguiente proposición”:
Solución:
Vamos a trazar con color amarillo tanto enunciados abiertos simples como
proposiciones simples de la proposición original que estamos planteando.
 Si Renato va a trabajar tarde, entonces le pagarán menos y si no va a trabajar tarde,
le pagarán más. Por tanto, si va a trabajar tarde o no, le pagarán menos o más.
De aquí, podemos simbolizar con letras minúsculas a las proposiciones simples
como enunciados abiertos simples tenga la proposición matriz.
o pp = Renato va a trabajar tarde.
o qq = le pagaran menos.
o rr = le pagarán más.
Pero también encontramos otras premisas tiene relación a las
premisas pp, qq y rr:
o no va a trabajar tarde es lo mismo que Renato no va a trabajar
tarde (∼p∼p).
o va a trabajar tarde es lo mismo que Renato va a trabajar tarde pp.
o no es lo mismo que Renato no va a trabajar tarde (∼p∼p)

o más es lo mismo que le pagaran mas (rr)

Como se habrán dado cuenta, tan solo son variantes de pp y rr, pero ninguna
en qq. La proposición inicial se puede separar en dos partes, lo podemos hacer
desde el punto aparte,quedando así:
1. Si Renato va a trabajar tarde, entonces le pagarán menos y si no va a trabajar tarde,
le pagarán más
2. Por tanto, si va a trabajar tarde o no, le pagarán menos o más.
en el primer fragmento de la proposición hemos marcado el conjuntivo “y” de
color rosa como mayor jerarquía porque une dos proposiciones condicionales. Lo
podemos escribir así:
1. Si Renato va a trabajar tarde, entonces le pagarán menos ∧∧ si no va a trabajar tarde,
le pagarán más
donde simbólicamente encontramos que:
o Si Renato va a trabajar tarde, entonces le pagarán menos = p→qp→q
o Si no va a trabajar tarde, le pagarán más = ∼p→r∼p→r.
el primer fragmento quedaría así:
(p→q)∧(∼p→r)(p→q)∧(∼p→r)
En el segundo fragmento, encontramos una coma lo cual para este caso está
representado por la letra “y”, lo podemos escribir de la siguiente manera:
2. Por tanto, si va a trabajar tarde o no ∧∧ le pagarán menos o más.
donde simbólicamente también encontramos que:
 o si va a trabajar tarde o no = p∨∼pp∨∼p.
o le pagarán menos o más = q∨rq∨r.
nuestro segundo fragmento quedaría así:
Por tanto (p∨∼p)∧(q∨r)(p∨∼p)∧(q∨r)
Luego, vemos que en el segundo fragmento encontramos un “Por tanto“. En la
entrada de la condicional explicamos que la implicación “Por tanto” es diferente
a la condicional “Si … entonces..”. Para diferenciarlo simbólicamente, debemos
de representarlo así “⇒⇒”
El “por tanto” significa que el primer
fragmento (p→q)∧(∼p→r)(p→q)∧(∼p→r) es el antecedente del segundo
fragmento (p∨∼p)∧(q∨r)(p∨∼p)∧(q∨r) que es el consecuente pero sin el “por
tanto“
Finalmente, nuestra proposición original quedaría así:
[(p→q)∧(∼p→r)]⇒[(p∨∼p)∧(q∨r)][(p→q)∧(∼p→r)]⇒[(p∨∼p)∧(q∨r)]
Ejercicio 6:

Formalizar simbólicamente el siguiente argumento.

o Si viene corriendo, llegará antes de la 5 pm; si viene con bicicleta, llegará antes de
la 5 pm. Luego, si viene corriendo o con bicicleta, llegará antes de la 5 pm.
Solución:
Si leemos detenidamente este argumento, resulta ser una implicacion lógica, vea
por usted mismo.
o Si viene corriendo, llegará antes de la 5 pm; si viene con bicicleta, llegará antes de
la 5 pm. Luego, si viene corriendo o con bicicleta, llegará antes de la 5 pm.
En este caso, la palabra “luego” es lo mismo que “por tanto” y se encuentra
simbolizado por una flecha de este tipo “ “, en la
sección lacondicional material puedes encontrar la diferencia con la implicacion
lógica. Nuestro argumento lo podemos escribir así:
o Si viene corriendo, llegará antes de la 5 pm; si viene con bicicleta, llegará antes de

la 5 pm si viene corriendo o con bicicleta, llegará antes de la 5 pm.

Note también que encontramos un total de 3 condicionales lógicas en este
argumento y son:
o Si viene corriendo, llegará antes de la 5 pm. (p→q)(p→q)
o Si viene con bicicleta, llegará antes de la 5 pm. (r→q)(r→q)
o Si viene corriendo o con bicicleta, llegará antes de la 5 pm. ((p∨r)→q)((p∨r)→q)
El punto y coma “;” que se encuentra entre las
esquemas (p→q)(p→q) y (r→q)(r→q), representa en este caso a una
conjunción lógica. Por tanto, nuestro argumento queda representado así:
(p→)∧(r→q)⇒(p∨r)→q(p→)∧(r→q)⇒(p∨r)→q