Unidad Académica:

Programa de Estudios Básicos y

Complementarios

UNIDAD I
LOGICA PROPOSICIONAL

PRÁCTICAS

1
 CONTENIDO GENERAL

Introducción …………………………………………………………. 3
Unidad I
I. Práctica N° 1: Introducción a la lógica proposicional……………… 4
II. Práctica N° 2: Implicancias Lógicas. Cuantificadores............... 10
III. Práctica N° 3: Inferencias Lógicas………………….................... 14

2
 Introducción

La presente guía de práctica de la asignatura de Matemática Básica, es un

material renovado y actualizado orientado para el estudiante del primer ciclo
del Programa Académico de Estudios Básicos de la Universidad Norbert
Wiener. El objetivo de esta guía de prácticas es consolidar el aprendizaje de la
asignatura, el cual, facilitara un compendio de conceptos, propiedades y
ejercicios clasificados en cuatro unidades, además de un conjunto de ejercicios
y problemas propuestos para ser desarrollados por los estudiantes en trabajo
individual o grupal.

Ésta guía de prácticas ha sido elaborado para los estudiantes de todas las
carreras profesionales de la universidad, como son: Farmacia y Bioquímica,
Ingeniería, Administración y Negocios Internacionales, Derecho y Ciencias
Políticas, Odontología, Obstetricia, Enfermería, Tecnología Médica, Psicología,
entre otros. Contiene el desarrollo del silabo presentados en las unidades de
lógica, conjuntos, sistemas de números y sus propiedades y relaciones y
funciones en dos variables. Para el logro de las competencias, el estudiante
presentara en un portafolio los ejercicios y problemas resueltos, los mismos que
deben tener una presentación de calidad, tanto en el proceso lógico, ordenado
y cuidado de sus ilustraciones correspondientes.

Solicitamos a los docentes de la especialidad hacernos llegar las sugerencias

de mejora, para superar esta publicación.
.

Los Autores

3
 UNIDAD I

Práctica Nº1: Introducción a la Lógica Proposicional

1.1. Marco Teórico

La Lógica Proposicional, es parte de la lógica que trata del carácter verdadero o falso de
los enunciados. Mediante el uso racional de sus conceptos y sus propiedades permite
analizar y determinar si un argumento es válido o no. La lógica proposicional estudia la
validez de las relaciones entre argumentos o enunciados.

Enunciado
Es una expresión oral o escrita, como una frase u oración.
Ejemplos:
1. Buenos días
2. ¿Resolviste los problemas?
3. 3 es un número impar

Proposición
Es un enunciado que tiene el valor de verdadero (V) o falso (F).
Ejemplos
1. p: Lima es la capital del Perú
2. q: 6 + 8 = 10
3. r: la tierra es el planeta del universo donde existe vida.
4. La ingeniería es una carrera que impulsa el desarrollo tecnológico.

Conectivos lógicos
Se llama conectivos lógicos a las palabras o letras que vincula dos o más proposiciones.
Los conectivos lógicos de mayor uso son:
 La conjunción: vincula dos proposiciones mediante el símbolo  , que se lee“y”.
 La disyunción inclusiva: vincula dos proposiciones por el símbolo , que se lee “o ”
 La disyunción exclusiva: vincula proposiciones mediante , que se lee “O, ..ó.. ”
 La Condicional: se vincula por la expresión simbólica que se lee “si... entonces”.
 La Bicondicional: vinculada por el conectivo  , que se lee “si solo si”.
 La negación: denotada por – o ~ se lee “no”.

Proposición Simple y Compuesta

Una proposición simple o atómica es aquella que no posee conectivos lógicos.
Una proposición compuesta o molecular está formada por dos o más proposiciones
simples mediante el uso de los conectivos lógicos.
Ejemplos
1. Mi nombre es Marcos. (P. Simple)
2. La matemática se usa como herramienta para resolver problemas..(P. Simple)
3. Si Mercedes presenta su portafolio entonces demuestra su trabajo realizado. (P.
Compuesta)
4. Se hará un reconocimiento al alumno sí y sólo sí logra buenas calificaciones.(P.
Compuesta)

4
 En la siguiente matriz se presenta el tipo de proposición, los símbolos que las
representan, cómo se denotan y sus respectivos valores de verdad.

CONECTIVO LÓGICO SÍMBOLO LECTURA VALOR DE VERDAD

1 Conjunción pq p y q , pero, sin embargo Es V, si ambos son V.
2 Disyunción inclusiva pq póq Es V, si por lo menos una es V.
3 Disyunción exclusiva pq Opóq Es V, solo cuando una es V
4 Condicional pq p entonces q Es F, si p es V y q es F, los
p implica q demás son V.
q si p
5 Bicondicional pq p si solo si q Es V solo si p y q son de igual
p es condición necesaria valor.
y suficiente para q

TABLA DE VALORES DE LAS PROPOSICIONES COMPUESTAS

p q pq pq pq pq pq

V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V

Si n es el número de variables de una proposición compuesta, entonces el número total de

arreglos posibles de los valores de verdad es 2n.

Ejemplos:
1) Si existen tres variables: p, q, r, (n = 3), entonces el número de arreglos de valores de
verdad es: 23=8
2) Si hay 4 variables (n =4), el número de arreglos de valores de verdad es: 24=16

Agrupamiento de Proposiciones
En el desarrollo de una tabla de valores, se inicia con el conectivo lógico de menor jerarquía y se
concluye con el de mayor jerarquía.
La jerarquía de los conectivos lógicos cuando no hay signos de colección, de mayor a menor es:

; ; ∆; ( ; ); y ~

Tautología, Contradicciones y Contingencias

Una proposición compuesta se dice que es una tautología si el resultado global de la tabla es
verdadero. A las tautologías se les llama también leyes o principios lógicos.
Una proposición es una contradicción, si el resultado global es falso.
Una proposición compuesta se dice que es una contingencia si en el resultado final
aparecen verdaderas y también falsas.

5
Ejemplo. La proposición [(p  q)  p] q es una tautología

p q [( p  q )  p ]  q
V V V V V V V
V F F F V V F
F V V F F V V
F F V F F V F

Ejemplos:
1. Si pV ; q F ; rV, determine el valor de verdad de:
q(pt) (rt)
Para resolver reemplazamos los valores dados
 [(F)  ( (V) v  t )   (  (V)  t )}
{ [ (V)  (V)   ( (F)  t )}
{ [ V   (V )}
De donde concluimos que la proposición es verdadera

2. Dada las siguientes equivalencias: (  p  q )  V ; ( r   q)  F

Determine el valor de verdad de:
(pr)(qr)

De las condiciones dadas,

( r   q)  F
V F
Luego r  V, q  V
De (  p  q )  V
V V
Luego, p  F y q V.
Estos resultados reemplazamos en la proposición dada:
(pr)  (q  r)
 ( (F)  (V) )  ((V)   (V)) 
 ( (V)  (V) )  ((V)  (F)) 
 (V)  (V)   V
Por lo tanto, La proposición es verdadera

1.2. Logros de aprendizaje

Identifica y aplica las propiedades del lenguaje lógico, elaborando un esquema básico de
demostración que facilite la expresión del propio pensamiento para justificar y presentar
resultados y conclusiones de forma clara y coherente. En los trabajos en equipos,
mostrando tolerancia y respeto a los demás.

1.3. Materiales y Equipos

Se utilizarán libros de la bibliografía del sílabo, la presente guía de prácticas, hojas
cuadriculadas, lapiceros a colores, lápiz, corrector. Todo el trabajo se consolidará en el
portafolio.

1.4. Procedimiento
El profesor resolverá algunos de los ejercicios planteados, orientará la solución de otros y
el resto lo desarrollarán los alumnos en trabajo individual o grupal. Estos, se presenta al
término de cada unidad o cuando lo solicite el profesor, Son considerados parte de la
evaluación y permiten medir el logro de las competencias de la unidad.

6
1.5. Resultados
Se aplicará los instrumentos de evaluación a través de la lectura Nº 1, ejercicios y problemas
planteados en el cuestionario Nº1 para evidenciar el logro de competencias en esta
práctica.
1.6. CUESTIONARIO Nº1

1. En la lectura Nº 1: “SOBRE LA LOGICA FORMAL Y MATERIAL”, tomada de

https://ar.answers.yahoo.com/question/index?qid=20070501145228AA9gP7h ,
Lea comprensivamente:

La lógica formal, llamada también lógica pura - que es la lógica propiamente

dicha - es precisamente la “ciencia” (en cuanto conocimiento) que determina
cuáles son las formas correctas y válidas de los raciocinios. Lo hace
considerándolos en sí mismos o con prescindencia de los contenidos concretos
de los razonamientos. Si se consideran esos contenidos como entes lógicos
abstractos, entonces las leyes a aplicar tienen validez para cualquier contenido
concreto.

El raciocinio puede definirse como un proceso del pensamiento exclusivamente

humano que a partir de ciertos conocimientos establecidos (llamados premisas),
conduce a adquirir un conocimiento nuevo (contenido en la conclusión). Para
ello no es necesario recurrir a nuevas constataciones u observaciones sensibles
distintas o adicionales a las ya contenidas en las premisas.

Por lo tanto, la verdad a que conduce la lógica formal, es una verdad formal; que
será verdad en tanto sea verdad el contenido de las premisas, e indicará
solamente que existe una congruencia de ese raciocinio, consigo mismo. Si en
un razonamiento existe falsedad en las premisas y la conclusión asimismo es
falsa, entonces el razonamiento será correcto o válido como razonamiento
lógico.

La lógica material, llamada también lógica aplicada, es aquella en que un

proceso de raciocinio o de pensamiento se analiza en consideración al
contenido real de sus premisas, y por lo tanto debe conducir a una verdad
material, una conclusión que sea concordante con la realidad.

Mientras que las premisas (o predicados) que toma en consideración la lógica

pura constituyen entidades abstractas y absolutamente precisas, respecto de
las cuales no es requerido que exista ningún objeto de la realidad que los
verifique. Es difícil encontrar en la realidad conceptos de origen empírico-
sensible que presenten exactamente las características de los objetos lógicos.

Aparte de ello, si un concepto es de origen empírico, entonces es posible

concebir pero también se encuentran en la realidad experimental.

Por lo tanto, respecto de proposiciones lógicas que utilicen esos conceptos, las
leyes de la lógica formal solamente serán aplicables con sustento de sus
propiedades formales. Las leyes de la lógica formal resultarán aplicables con
alcance estricto en el campo de las ciencias puramente exactas y abstractas,

7
 tales como las matemáticas, la propia lógica, la mecánica, y aquellas disciplinas
exclusivamente normativas y abstractas tales como la interpretación jurídica.

1.1 De la lectura, defina cada concepto en dos líneas.

_______________________________________________________________________
_______________________________________________________________________
_______________________________________________________________________
_______________________________________________________________________
1.2 Escriba dos enunciados centrales.

_______________________________________________________________________
_______________________________________________________________________
_______________________________________________________________________
1.3 Escriba cuatro proposiciones simples. Dos verdaderas y dos falsas,

_______________________________________________________________________
_______________________________________________________________________
_______________________________________________________________________
_______________________________________________________________________
1.4 De la lectura, extraiga dos proposiciones compuestas, simbolice y deduzca su
valor de verdad
_______________________________________________________________________
_______________________________________________________________________
_______________________________________________________________________
_______________________________________________________________________
_______________________________________________________________________
_______________________________________________________________________
_______________________________________________________________________

2. Determine cuáles de los siguientes enunciados son proposiciones:

3.1 La lógica aplicada es el proceso de raciocinio que se analiza en
consideración al contenido real de sus premisas.
3.2 Norbert Wiener fue un matemático que impulsó la cibernética.
3.3 La contaminación ambiental, afecta a la salud humana, por lo que es necesario y
urgente su control.
3.4 En la educación debería implementarse una política de mayor cultura física para
mejorar la opción de clasificación para el próximo mundial de futbol.
3.5 El derecho es el orden normativo de la conducta humana que regula el
comportamiento de la sociedad.
3.6 Desarrolle los ejercicios de la guía de prácticas.
3. Simbolice las siguientes proposiciones:
4.1 Si los números son múltiplos de 4, entonces son divisibles por 2.
4.2 Si el nivel de glucosa de un paciente supera 120, entonces es altamente probable que
adolece de la diabetes.
4.3 No es verdad que, un estudiante sea a la vez de derecho y de ingeniería de
sistemas.
4.4 Viajare becado a Brasil, a menos que no cubra los requisitos establecidos.
4. Si p : 13 > 5, q : 5 + 2 = 7, r : 14 es múltiplo de 5, deduzca el valor de verdad de las
siguientes proposiciones:
4.1 ( p  q )  ( p  r )
4.2 (~ q  r ) p
4.3 ~ ( q  r ) v (p  r)

8
5. Si p  q  r  s es falsa, determine el valor de verdad de  p  q  r   s

6. Si  [p  (q   s)]   ( r  t) es falsa y p es falso, determine el valor de

 [ ( p  q)  ( r  s )]  [ ( r  t)   ( t  p)] .

7. Si ( p  q )  (~ r  s ) es falsa, determine el valor de verdad:

7.1 (~ p  ~ q )  ~ q
7.2 [ (~ r  q)  q]  [(~ q  r )  s]
7.3 ( p  r )  [ ( p  q )  ~ q ]

8. Sean las proposiciones: p: esta lloviendo. q: Iré al centro de Lima. r: tengo tiempo.
A. Escribir usando conectivos lógicos la expresión simbólica de cada una de las siguientes
proposiciones:
8.1 Si no está lloviendo y tengo tiempo, entonces iré al centro de Lima.
8.2 Iré al centro de Lima, si y solo si tengo tiempo.
8.3 No está lloviendo, pero iré al centro de Lima porque tengo tiempo.
B. Enunciar literalmente las afirmaciones que corresponden con cada una de las siguientes
proposiciones simbólicas:
8.4 q ⟺ (r ∧ ¬p) ,
8.5 ¬ (r ∧ q),
8.6 (- q → r) ∧ (- r → q).

9. Determinar si es una tautología, una contradicción o una contingencia, las siguientes

proposiciones:
9.1 - [(p → q) ∨ - (r → s)] ⟺ [(p ∨ r) → - (q ∨ s)]
9.2 [(p ←→ q) ∧ (q ←→ r)] =⇒ (p ←→ r)
9.3 ¬ (p ∨ q) → ¬ p

10. La conjetura de Goldbach y su solución por un matemático peruano.

Los Investigadores matemáticos del mundo tomaron como gran desafío resolver la conjetura
débil de Goldbach, que data de 1742. El matemático peruano Harald Andrés Helfgott ha dado
una respuesta positiva. A sus 35 años, Harald Helfgott logró algo imposible para muchos
hombres de números del todo el mundo, y demostró la solución del problema irresuelto
desde hace 271 años. La conjetura débil de Christian Goldbach, dice: "Todo número impar
mayor que cinco puede expresarse como suma de tres números primos". Esta afirmación se
convirtió desde ese instante en un dolor de cabeza para los matemáticos de los tres últimos
siglos. Si no habría ocurrido la hazaña del matemático peruano, dicho problema seguiría
abierto y sin solución.
De esta lectura:
10.1 Escribir una proposición simple y otra compuesta
10.2 Dé un ejemplo particular de la conjertura de Goldbach
10.3 Mediante tres proposiciones describa la hazaña del compatriota Harald.

1.7. FUENTES DE INFORMACIÓN

1. Espinoza Ramos Eduardo. (2012) Matemática Básica. Editorial Servicios Gráficos J.J.
Gareth..
2. Bustamante Alfonso. (2009). Lógica y argumentación. México: Pearson Educación de
México S.A. de C.V.;

9
3. Rosales D. (2009). Lógica. 3a ed. Perú: San Marcos;
4. http://www.larepublica.pe/24-05-2013/peruano-resuelve-problema-matematico-que-
llevaba-271-anos-irresuelto

10
 Práctica Nº2
Equivalencias e Implicaciones Lógicas. Cuantificadores
2.1.Marco Teórico
La Equivalencia Lógica es una relación lógica que se presenta cuando dos proposiciones
moleculares se vinculan a través de una bicondicional y que luego generan tablas
tautológicas. Si dos proposiciones son equivalentes se representa por el símbolo  o 
La Implicación Lógica es una relación lógica que se presenta cuando dos proposiciones
moleculares se unen a través de una condicional y que generan tablas de valores
tautológicos.

Principales Equivalencias Lógicas

Ley de Involución ~ (~p)  p
Ley de Idempontencia ppp, ppp
Ley Conmutativa Pqqp , pqqp
(p  q)  r  p  (q  r)
Ley Asociativa
(p  q)  r  p  (q  r)
pq ~pq
Ley Condicional
~(pq) p~q
p  q  ( p  q )  ( ~p  ~ q )
Ley Bicondicional
~( p  q )  ( p  ~ q )  ( ~ p  q )
p  ( q  r)  ( p  q )  ( p r)
p  ( q  r )  ( p  q )  ( p  r)
Ley Distributiva
(p  (q  r))  ( p  q )  ( p  r )
(p  (q r) )  ( p  q )  ( p  r )
pq~q~p
Ley Contra reciproca
p q  ~ q  ~ p
~ (p  q)  ~p  ~ q
Leyes de Morgan
~ (p  q)  ~ p  ~ q
p(pq)p
p(pq)p
Ley de Absorción p(~pq) pq
p(~pq)  pq
p  T  p, p  C  p
Elemento Neutro
p  T T, p  C  C
Tautología y Contradicción p~p  T, p~p  C
Principales Implicaciones Lógicas
Modus Ponens [(p→q)  p] q
Modus Tollens [(p→q)  ~q] ~p
Silogismo Hipotético [(p→q) (q→r)] (p → r)
Silogismo Disyuntivo [(p  q)  ~p]  q
[(p  q)  ~q]  p
Ley de Simplificación pqq, pqp
Ley de Adición p pq , q  pq

Función Proposicional
Una función proposicional es un enunciado que contiene una o más variables y que toma
los valores de V o F, según los valores particulares que adopte cada variable.

11
Ejemplos: Son funciones proposicionales:
1) x es múltiplo de 7,
2) y es un insecto,
3) z es divisible entre 3.
En la función proposicional x + y > 10
Es verdadera, si x = 4 , y = 8, y es falsa si x = 0, y = 6.
A la función proposicional se le llama también enunciado abierto o proposición abierta.
Para representar la función proposicional se usa letras mayúsculas y las variables se
representan con letras minúsculas x, y, z, ..., .
Si una función proposicional contiene la variable x se denota por P(x). Si contiene variables
x e y se denota por P(x,y).

Ejemplos:
1. P(x): x es una universidad con certificación de calidad ISO 9001
2. Q(x): x2 + 3x > 4
Para x = 3 Q(x) es V, si x = 0, Q(x) es F. Q(x) es una proposición abierta.
3. R(x, y, z): x + y = z
4. S(x, y, z, w): x2 + 3y + w = z

Cuantificadores
Son operadores lógicos que transforman proposiciones abiertas en concretas. Son de dos
formas:
1. Cuantificador Universal “Para Todo” ,“”, simbolizado por
x DP / P(x), o también  x Dp : P(x)
Se lee: “Para todo elemento x del dominio de la proposición, se verifica P(x)”.
Una función proposicional cuantificada universalmente es verdadera si y solo si son
verdaderas para cada uno de todas sus variables particulares.

2. Cuantificador Existencial “Existe”, “”, denotada por

xDp / P(x) o también xDp: P(x)
Esta proposición se lee: “Existen elementos x del dominio D, tales que se verifica P(x)”.
Una función proposicional cuantificada existencialmente es verdadera si y solo si al menos
una de las proposiciones particulares son verdaderas.
Ejemplo.
Analizar el valor de verdad de las siguientes proposiciones
1.  x  / x2 + 2x = 3, es V, notemos que se cumple para x = 1.
2.  x  / x2 + 2x >3, es F, pues falla para x = 0, por ejemplo.

Negación de Proposiciones que contienen Cuantificadores

La negación de una proposición cuantificada universalmente es equivalente a un
existencial, pero negada la propiedad. La negación de una proposición cuantificada
existencialmente genera una proposición universal pero negada la propiedad, tal como se
expresa a continuación
Negación de un cuantificador universal ~ (  x Dp / P(x))  x Dp / ~ P(x)
Negación de un cuantificador existencial ~ (  x Dp / P(x))  x Dp / ~ P(x)

Ejemplos.
Negar las siguientes proposiciones
a)  x/ x  A  x  B
b)  x / x  A  x  B
c)  x / x < 4  x2 = 16
Solución:

12
 a) x / ~ ( x A  x  B )  x / x  A  x  B
b)  x /x  A  x  B
c)  x / x < 4  x2 16

2.2. Logro de aprendizaje

El estudiante reconoce los casos en que dos proposiciones son equivalentes o
implicativas, mediante el uso y dominio de las expresiones simbólicas y el manejo de las
tablas de verdad.

2.3.Materiales y Equipos
Se utilizarán libros de la bibliografía del sílabo, la presente guía de prácticas, hojas
cuadriculadas, lapiceros a colores, lápiz, corrector. Todo el trabajo se consolidará en su
portafolio.

2.4.Procedimiento
El profesor resolverá algunos de los ejercicios planteados, orientará la solución de otros y
el resto lo desarrollarán los alumnos en trabajo individual o grupal. Estos ejercicios
resueltos se deben presentar oportunamente, son considerados parte de la evaluación y
permiten medir el logro de las competencias de la I unidad.

2.5.Resultados
Se aplicará los instrumentos de evaluación a los ejercicios y problemas planteados en el
cuestionario Nº 2 para evidenciar el logro de competencias en esta práctica.

2.6. CUESTIONARIO Nº2

1. Formalizar y determinar si las proposiciones dadas son equivalentes
1.1 A: Estudia ingeniería de sistemas o ingeniería industrial.
B: No estudia ingeniería de sistemas pero sí ingeniería industrial.
1.2 A: No es cierto que sea cirujano y pediatra a la vez.
B: O es cirujano o es pediatra.
1.3 A: La lectura es agradable si y solo si entiendes el contenido.
B: La lectura no es agradable por ello no lo entiendes.
1.4 A: Aprobé el examen porque estudié con profundidad.
B: Estudié con profundidad o aprobé el examen.

2. Determinar si los siguientes esquemas determinan una relación de Implicación Lógica

2.1 A: Es un buen odontólogo dado que es experto en tratamientos dentales.
B: No es un buen odontólogo o no es experto en tratamiento s dentales.
2.2 A: Los paiches están en extinción no obstante continua su pesca indiscriminada, de
ahí que es necesario cautelar con medidas de preservación de la especie.
B: Si es necesario tomar una medida de preservación de la especie entonces ya no
existe pesca indiscriminada o no es cierto que los piches están en extinción.
2.3 A: Aprobaré el examen si y solo si estudio todo el curso.
B: Estudio todo el curso o desaprobaré el examen.

3. Analizar si las siguientes proposiciones son equivalencias o implicaciones:

3.1 ~[(pq)→r]  pq~r 3.3 {[ p→ (q  r) ]  p}  ( q  r)
3.2 [(pq)→r) ~r] q 3.4 p  p  q

4. Determine el esquema que es implicado por A, donde A se define por:

13
 A =[(p→q)(~p→~q)]
i. ~pq
ii. ~(pq) iii. ~(p→~q)
iv. ~(pq)
5. Determine el valor de verdad de los siguientes enunciados, considerando como universo
los números enteros:
5.1 x: x3 = x 5.3 x/ 2x = x
5.2 x/ x2 - 3x + 2 = 0 5.4 x: x – 3 < x

6. Si U = {5; 6 ; 7 ;…; 99} determinar cuáles de las siguientes proposiciones son verdaderas.
6.1 xU / x + 3 = 4x 6.3 xU / | x – 8 | = 5
6.2 xU / x -1  U 6.4 xU / x – 3  7x

7. Si U = {1; 3 ; 5 ;…; 11} determinar cuáles de las siguientes proposiciones son verdaderas.

7.1 xU / x + 3 = 2x 7.3 xU / | x – 15 | = 7

7.2 xU / x – 2  U 7.4 xU / x + 5  6x

8. En el conjunto A = {0; 1; 2; 3; 4;5}. Determinar el valor de verdad en:

8.1 xA / x3 = x 8.3 xA / x – 5  7x

8.2 xA / x2 - 8 = 2x 8.4 xA / 4x2 – 12 = 5x

9. Sea A = {0; 1; 2; 3; 4; 5 }. Determinar el valor de verdad de las siguientes proposiciones:

9.1  x  A / x + 3 = 7 9.3  x  A / x – 2 < 9

9.2  x  A / x + 3 < 7 9.4  x  A / 2x – 11  3

10. Negar las siguientes proposiciones cuantificadas:

10.1 Todos los ingresantes a la UW que obtienen promedio de mas de 16 puntos tienen
opciones de beca o semi beca.
10.2 Algunos profesores del ciclo básico también dictan en la Facultad de Farmacia.
10.3 Es falso que algunos números impares no son primos.
10.4 Ningún hombre deshonesto podrá mostrar calidades para algún cargo público.
11. Deducir la negación de las siguientes proposiciones:
11.1 x/ P(x)  Q(x)
11.2 x/P(x)Q(x)
11.3 x,y/ x y= 0
11.4 x:P(x) x/ Q(x)
11.5 y/ P(y)x:Q(x)
11.6 x / P(x)  x: Q(x)
11.7 x y/ [P(x)  Q(y)]
11.8 x y/ [P(x,y)Q(y)]
11.9 x y/ [P(x)  Q(y)]
11.10x y z/P(x,y,z)

14
 PRÁCTICA Nº3
Inferencias Lógicas y Falacias

3.1. Marco Teórico

Se llama Inferencia Lógica ó Argumento Lógico a toda proposición condicional de la
forma:
(p1 p2 … pk)  q
Donde las proposiciones p1, p2, …,pk se llaman Premisas, y originan como consecuencia
otra proposición “q”, llamada Conclusión. Se encuentra después de luego, por
consiguiente, por tanto, de modo que, en consecuencia, en tanto, en suma, se infiere
que, se deduce que; y antes de: ya que, dado que, puesto que, pues, si recordamos que,
etc.
Si una inferencia es una Tautología, es decir una implicación, entonces recibe el nombre
de Argumento Válido o Inferencia Válida. Si la condicional no es una tautología
entonces se denomina Falacia.
Ejemplos:
1. Si la temperatura del paciente es de 38 grados entonces adolece de alguna infección;
el paciente tiene 38 grados de temperatura, por lo tanto adolece de alguna infección.
[(p → q )  p]  q
Note que esta proposición toma la forma del Modus Ponens (MP)
2. Si hay incremento de haberes entonces crece el consumo; si crece el consumo,
entonces requiere mayor producción; por lo tanto, si hay incremento de haberes
entonces requiere mayor producción.
[( p→q ) ( q→r )] (p → r)
La conclusión es válida por el Silogismo Hipotético (SH).

Tipos de Demostración
• Demostración directa: a partir de las premisas, usando las leyes lógicas se llega a la
conclusión o tesis.
• Demostración indirecta o por reducción al absurdo o por contradicción; se niega la tesis
y se coloca como hipótesis auxiliar, utilizando las leyes de la lógica se deduce una
contradicción. Esta se produce porque la hipótesis auxiliar es falsa, por lo tanto lo
contrario de la hipótesis auxiliar es verdadera.
•Prueba o Demostración condicional: se utiliza cuando la conclusión es una implicación.
El método consiste en colocar como premisa adicional el antecedente de la implicación
que aparece como conclusión; a partir de allí se llega al consecuente de la conclusión.
Ejemplos:
Demostrar la conclusión en los ejercicios siguientes:
A) Demostración Directa
1. p →q
2. q →r
3. p \r
En efecto,
4. p →r (1 y 2, SH)
5. r (4 y 3, MP)
B) Demostración por absurdo
1. ~ p →r
2. ~ (p q)

15
 3. ~ r →q \ r
4. ~ r (hipótesis auxiliar)
5. p (1,4 MT)
6. q (3,4 MP)
7. p q (conjunción 5 y 6)
8. 2 y 7 contradicción
\ ~ r es Falsa. Consecuentemente r será verdadera
C) Si el descubrimiento de la mecánica en la física es una revolución newtoniana,
entonces es un modelo de la revolución científica. Si es modelo de la revolución
científica, genera consecuencias socioculturales. Por lo tanto, si el descubrimiento de
la mecánica en la física es una revolución newtoniana, entonces genera consecuencias
socioculturales.
1. p →q
2. q →r \ p →r
3. p (premisa adicional)
4. q (1,3 MP)
5. r (2,4 MP)
6. p →r (3,5) . Es un ejemplo de la prueba condicional

Análisis de una Inferencia por el Método Abreviado

Primero se supone verdadero el antecedente y falso el consecuente, luego se determinan
los valores de las variables del consecuente de manera que expresen la falsedad de este.
A continuación se trasladan estos valores al antecedente y se determinan los valores de
las demás variables tratando de hacer verdadero el antecedente. Si se verifica la hipótesis,
la fórmula es no tautológica, en consecuencia, la inferencia correspondiente será invalida;
si no se verifica la hipótesis, la formula será tautológica, en consecuencia, la inferencia
correspondiente será válida.
Ejemplo
Si eres fiscal eres abogado. Si eres profesional, eres abogado. Luego, Si eres Fiscal, eres
profesional.
[(p→ q)(r→ q)] → (p→ r)

Primero suponemos que el antecedente es verdadero (V) y el consecuente falso (F)

V F
[(p→ q)(r→ q)] → (p→ r)
Se determina el valor de las variables del consecuente
V F
[(p→ q)(r→ q)] → (p→ r)
V F
Se Trasladan estos valores el antecedente y se asignan los valores a las demás variables:
V F
[(p→ q)(r→ q)] → (p→ r)
V V F V V F
Se verifica la hipótesis, luego, la fórmula no es tautológica; es decir, la inferencia
correspondiente es inválida.

Otro Ejemplo. Simbolizar las proposiciones del texto siguiente y demostrar la conclusión.
El gerente de una empresa es el encargado de muchas labores importantes. Si es así,
entonces ser gerente es un cargo para profesionales capacitados. La gente dice que, o los
gerentes son personas de las que depende la empresa, o que solo se dedican a contratar
trabajadores. Pero si ellos se dedican solo a contratar trabajadores, entonces ser gerente
no es un cargo difícil de manejar. Además, si la gerencia no es un cargo que solo quienes
se ha preparado para ello lo merecen, entonces seria falso que la gente diga que, los
gerentes son personas de las que depende la empresa y que el gerente es el encargado

16
 de muchas labores importantes. Por lo tanto, el gerente es un cargo que solo quienes se
han preparado para ello lo merecen.
Solución
P: El gerente de una empresa es el encargado de muchas labores importantes,
Q: Ser gerente es un cargo para profesionales capacitados
R: La gente dice que los gerentes son personas de las que depende la empresa.
S: La gente dice que los gerentes solo se dedican a contratar trabajadores.
T: La gerencia es un cargo que solo quienes se han preparado para ello lo merecen.
Del enunciado y la expresión simbólica, podemos escribir:
1. P
2. P→ Q
3. R ٧ S
4. S→ - Q
5. -T→ - (R ۸ T)
6. Q (MPP1-2)
7. –S (MTT 4-6)
8. R (MTP 3-7)
9. R ۸ P (Ad. 1-8)
10. –(- T) (MTT 5-9)
11. T (Dn 10)

3.6. CUESTIONARIO Nº 3

Escribir simbólicamente los enunciados y analizar si los razonamientos son válidos:

1.1 Si el triángulo es equilátero entonces tiene tres lados iguales. Pero, el triángulo no
tiene tres lados iguales; por lo tanto, no es equilátero.
1.2 Los pueblos sin beneficios del canon reclaman si y sólo si no tienen atención del
estado, pero si los pueblos no reclaman, o han sido atendido en asuntos de
educación o de salud.
1.3 El juez defiende la ley y la justicia, pero defendió la justicia; por tanto si defendió la
justicia, entonces defendió la ley.
1.4 Si se prueba una equivalencia lógica entonces es tautológica, si es una tautológica
es un principio lógico valido. Pero resulta que no es principio lógico valido. Por lo
tanto, no se ha probado la equivalencia lógica.
1.5 Si Francisco es ingeniero de sistemas, conoce diferentes algoritmos de
programación y de organización de una empresa, por consiguiente, si no sabe
algoritmos de programación o la organización de una empresa, entonces no es
ingeniero de sistemas.
1.6 Si Norma asiste a su reunión del martes por la mañana, entonces ese día deberá
levantarse muy temprano. Si va al concierto de rock el lunes por la noche,
entonces llegará a su casa después de las de las 11pm. Si Norma llega a su casa a
esa hora y se levanta temprano al día siguiente, tendrá que ir ha trabajar después
de dormir menos de siete horas. Por desgracia Norma no puede trabajar con menos
de siete horas de descanso. Norma no deberá ir al concierto de rock o deberá faltar
ha su reunión del martes por la mañana.
1.7 Si Domingo asiste a la carrera de autos, Elena se enojará. Si Rafael juega cartas
toda la noche, Carmen se enojará. Si Elena o Carmen se enojan, le avisarán a
Verónica (su abogado). Verónica no ha tenido noticias de estos dos clientes. En
consecuencia, ni Domingo fue a las carreras ni Rafael jugó cartas toda la noche.
1.8 O hay muchos gatos o hay pocos ratones. Hay muchas flores. Si hay pocos
ratones y hay muchas flores habrá muchos abejorros. Por tanto, hay muchos gatos
o hay pocos ratones.

17
2. Analizar cada enunciado, exprese simbólicamente y deduzca la conclusión respectiva.
2.1 Si un triángulo tiene tres ángulos, un cuadrado tiene cuatro ángulos rectos. Un
triángulo tiene 3 ángulos y su suma vale 180 grados. Si los rombos tienen 4
ángulos rectos, los cuadrados no tienen 4 ángulos rectos. Por lo tanto los rombos
no tienen 4 ángulos rectos.
2.2 La exploración de Marte es importante, si las áreas oscuras son desconocidas o se
obtienen minerales raros. Si hay sólo gases tóxicos, la exploración de Marte no es
importante. Pero, no es el caso que no se obtenga minerales raros o no hayan
gases tóxicos. Luego, si las áreas oscuras de Marte son conocidas entonces la
investigación científica explicará los hallazgos logrados.
2.3 Pitágoras descubrió el teorema que lleva su nombre entonces fue un geómetra.
Luego si fue un geómetra, creó el método matemático para resolver el teorema.
Descubrió el teorema que lleva su nombre.
2.4 Las leyes de la mecánica son exactas si Newton dice la verdad, si y sólo si el
movimiento no es relativo. Si el movimiento no es relativo, la fórmula de la velocidad
de la luz no es absoluta. Por lo tanto, si las leyes de la mecánica son exactas
entonces la fórmula de la velocidad de la luz no es absoluta.
2.5 O el crecimiento económico de Perú no se ha detenido o la inflación ha sido alta, si
y solo si es imposible que la inflación haya sido alta. De ahí que, el crecimiento
económico en Perú no se ha detenido, no obstante el volumen de las exportaciones
ha descendido o la inflación ha sido alta.
2.6 Los refrescos suben de precio si y solo si se venden en el verano o en las fiestas
privadas. Si baja la temperatura entonces los refrescos no son caros, y si los
refrescos no son congelados entonces no se venden en las fiestas privadas. Pero,
no es el caso que baja la temperatura y los refrescos sean congelados. Por lo
tanto, o los refrescos no se venden en las fiestas privadas o no están congelados.

3. Cuantificar los siguientes enunciados y determinar el valor de verdad si se

considera como universo todos los enteros diferentes de cero:
a) x.y =0 b) 2x –y=3
c) x+2y =3  x+y =2 d) x3- 1=26 v 4x-19=29

18