Tomo I - Raz. Logico
Tomo I - Raz. Logico
RAZONAMIENTO
LÓGICO
Ciclo quintos
I FASE 2025 2024
CEPRUNSA
RAZONAMIENTO LOGICO CEPRUNSA I FASE - 2025
1 DEFINICIÓN
-
El término lógica proviene del griego λόγος (logos) y tiene diversos
TEMA 1: Heráclito, por ejemplo, utiliza el término para describir que el devenir
del mundo está gobernado por un logos que es la razón universal que
QUÉ ES LA LÓGICA
domina el mundo y que hace posible un orden, una justicia y un
destino.
Podemos definirla como una disciplina que estudia los métodos, reglas,
leyes o principios que se utilizan para distinguir el buen razonamiento
(correcto), del mal razonamiento (incorrecto). Es una disciplina que
reflexiona acerca de los principios o reglas fundamentales del correcto
razonar.
BIOMEDICAS 1
CEPRUNSA I FASE – 2025 RAZONAMIENTO LOGICO
Aprender lógica como disciplina tiene sus ventajas, fundamentalmente Es un tipo de oración que cumple la función descriptiva del lenguaje,
- Fortalecer la coherencia argumentativa en la investigación. negativas. Difieren de las preguntas (que se responden), las
exclamaciones (que se pronuncian) y las órdenes que se dan; este
En la coherencia y fundamentación del conocimiento está presente la último grupo de oraciones, en sentido riguroso, no son proposiciones.
lógica. La importancia de la lógica radica en su aplicación; representa
una parte importante al interior de lo que se pretende consolidar, Las proposiciones no son propias del lenguaje alguno; se refieren al
aseverar y demostrar. Está presente en campos científicos como en no contenido. Toda proposición es una oración, pero no toda oración es
científicos, pero es en el primer campo donde se hace objetiva y una proposición. Dos oraciones pueden ser distintas y tener el mismo
pretende consolidarse como ciencia, respaldando el carácter significado, pero es una misma proposición,
metodológico de cualquier disciplina.
Por ejemplo:
2 BIOMEDICAS
RAZONAMIENTO LOGICO CEPRUNSA I FASE - 2025
Hay otras oraciones que tampoco son proposiciones como las - [1] X es mamífero. enunciado abierto
oraciones exclamativas y las oraciones directivas. Ejemplos: - [2] El gato es mamífero. proposición
- [3] Cierra la puerta [1] y [3] Para que puedan ser consideradas proposiciones se debe
reemplazar la variable individual por una constante.
[1] Expresa sorpresa, es una oración exclamativa, no es una
[4] Es una información matemática y aunque no está expresada de
proposición.
forma extensiva como oración, cumple los requisitos básicos para que
[2] Es una pregunta, cuya respuesta no es implícita, se desconoce, por sea una proposición: guarda un sentido completo de información y
Las oraciones son parte de una lengua, pero las proposiciones no están
[3] Es una orden, no es una proposición.
atadas a ninguna lengua dada, se refieren al contenido.
BIOMEDICAS 3
CEPRUNSA I FASE – 2025 RAZONAMIENTO LOGICO
- [1] It is raining. (inglés) En ambos ejemplos tenemos tres proposiciones. La tercera es la
- [2] Está lloviendo. (castellano) conclusión, las dos primeras son las premisas. La conclusión está
respaldada en las proposiciones que se les denominan premisas.
- [3] Il pleut. (francés)
- [4] Qui sto piovendo (italiano) En los dos siguientes ejemplos no existe conclusión, por lo que
[1], [2], [3] y [4] están expresadas en diferente lengua, pero tienen un tampoco habría premisas, además tampoco se denominaría
solo significado, se pueden emplear para aseverar la misma argumentos al conjunto de esas proposiciones.
proposición.
- Las plantas no son inteligentes.
Los eucaliptos son vegetales.
3.2 PREMISA
∴ Los claveles son flores.
4 BIOMEDICAS
RAZONAMIENTO LOGICO CEPRUNSA I FASE - 2025
3.2.1 PRIMER MODO - (a) Si el león tiene hambre y (b) está solo en el desierto,
entonces dadas las condiciones, (c) puede morir de inanición.
Por ejemplo:
Algunos indicadores de premisas y conclusión son:
- Siendo la milicia bien preparada, necesaria para la seguridad de
un Estado libre, (b) el derecho del pueblo de poseer y portar PREMISA CONCLUSIÓN
armas no debe ser vulnerado.
Pues, porque, pero, mas, En suma, en conclusión,
Una forma de reconocer las premisas, es que estas son el sustento, que sin embargo, puesto que, así pues, por lo tanto, por
dan base y explicación a la conclusión. Así, si nos hacemos la pregunta ya que, dado que, la consiguiente, en
¿por qué el derecho del pueblo de poseer y portar armas no debe ser razón es que, se puede consecuencia, se sigue
vulnerado?, se responde con (b) Porque tiene una milicia bien derivar de, se sigue de, a que, de ahí que, se
preparada. causa de, por las concluye que, implica que,
siguientes razones, como se deduce que, se deriva
3.2.2 SEGUNDO MODO
es indicado por, etc. que, se colige que, se
infiere que, etc
Cuando se utilizan ciertos indicadores para reconocer si son premisas o
conclusión.
BIOMEDICAS 5
CEPRUNSA I FASE – 2025 RAZONAMIENTO LOGICO
3.3 CONCLUSIÓN razonamiento de tal modo que exista una relación lógica entre
premisas y conclusión. Algunas inferencias son:
Es toda proposición que se asevera sobre la base de una o más
proposiciones que le sirven de garantía, apoyo, sustento o respaldo. 3.4.1 MEDIATA
Para aceptar la conclusión su contenido debe hacer referencia a lo que
las premisas aseveran. Por ejemplo: Es cuando de dos o más premisas se obtiene una conclusión. Algunas
de estas inferencias corresponden a los silogismos, en el que a partir
- Cada mamífero es vertebrado. Garantía (premisas)
El hombre es mamífero. de dos premisas se obtiene otra proposición denominada conclusión.
∴ Por lo tanto, el hombre es vertebrado. Conclusión
- Todo profesional es un ser humano.
Todo ingeniero es profesional.
Las proposiciones que respaldan a una conclusión pueden estar antes ∴ Todo ingeniero es un ser humano.
o después de ella, según su modo de organización formal o no formal.
En el siguiente caso la conclusión es la parte subrayada. 3.4.2 INMEDIATA
6 BIOMEDICAS
RAZONAMIENTO LOGICO CEPRUNSA I FASE - 2025
- Si A es verdadera, entonces E es falsa. - Algunos insectos son acuáticos. = verdad
3.5 VERDAD
- Un triángulo que tiene cuatro lados. = falso
Decir de lo que es que no es, o de lo que no es que es, es falso, mientras - Todo felino es carnívoro,
que decir de lo que es que es, o de lo que no es que no es, es verdadero. Todo leopardo es felino.
∴ Todo leopardo es carnívoro.
Existen otro tipo de estructuras lógicas que se les puede evaluar según
su grado de probabilidad o consistencia, mas no ser considerados como
BIOMEDICAS 7
CEPRUNSA I FASE – 2025 RAZONAMIENTO LOGICO
válidos o inválidos (en la inducción, por ejemplo). O también lo que no general, verificando si cumple cada una de las reglas básicas que se
es válido en la lógica clásica, podría ser considerado como planteó para que la relación y conexión de premisas-conclusión sea la
razonamiento correcto en la lógica no clásica (en la abducción, por correcta.
ejemplo).
Ejemplo:
Ejemplo:
- Se dice que los peruanos son creativos.
Muchas de las personas trabajadoras que conozco son peruanos.
- Todos los miembros de la ONU son países que se comprometen
∴ Muchas de las personas trabajadoras que conozco también son
a mantener la paz mundial.
Perú es miembro de la ONU. creativas.
∴ Por lo tanto, Perú se compromete a mantener la paz mundial.
8 BIOMEDICAS
RAZONAMIENTO LOGICO CEPRUNSA I FASE - 2025
Es un conjunto finito de proposiciones, de las cuales una, denominada
conclusión, se sigue de otra u otras, denominadas premisas, las que
pretenden fundamentar o apoyar su veracidad o plausibilidad. No es
RAZONAMIENTO LÓGICO una simple reunión de partes, es una estructura que puede ser formal
o no formal y se constituye como resultado de un proceso de
TEMA 2: razonamiento. El argumento más simple está compuesto de una
2 TIPOS DE ARGUMENTOS
En este tipo de argumentos existe una relación muy estrecha y rigurosa Este tipo de argumento no pretende demostrar la aseveración tajante,
entre premisas y conclusión. Una conclusión se sigue de las premisas sino sólo de manera factible, probable, razonable, verosímil; no tiene
con necesidad absoluta e independientemente de cualquier otro hecho una relación de implicación necesaria entre premisas y conclusión
que pueda suceder en el mundo sin admitir grados. como en el modelo deductivo.
- Todo hombre es mortal, No pueden ser considerados como válidos ni inválidos, sino como
Sócrates es hombre.
∴ Sócrates es mortal mejores o peores, según el grado de intensidad con la que las premisas
apoyan la conclusión. Mientras mayor sea la intensidad con la que las
Es posible que, siguiendo ciertas lecturas de historia de la filosofía, premisas apoyan a la conclusión, mayor será la estimación de un
descubramos que Sócrates fue guerrero o quizás navegante, sin argumento inductivo como tal.
embargo, en nada afecta a la conclusión porque,
Los argumentos inductivos presentan un razonamiento que va de los
Primero, la nueva información no se consideró en el argumento hechos a una generalización causal. Supone que, si algo es cierto en
anterior. algunas situaciones, también lo debe ser en situaciones similares,
Segundo, son datos que muy bien pueden ser considerados en aunque aún no se haya verificado.
otros procesos argumentativos, y
Tercero, la existencia de nuevos datos no niega la mortalidad de Por ejemplo:
10 BIOMEDICAS
RAZONAMIENTO LOGICO CEPRUNSA I FASE - 2025
- La suma de los ángulos internos de un triángulo rectángulo es igual - En áreas muy inmensas de superficies esféricas o incluso en
a 180°, lo mismo sucede con un triángulo escaleno y con un pequeñas áreas con superficies negativamente curvadas la
triángulo equilátero. Por lo tanto, es factible que la suma de los suma de los ángulos internos puede ser mayor o menor a 180°
ángulos internos de cualquier triángulo sea igual a 180° respectivamente.
La conclusión se sigue de sus premisas solo de manera probable. Es La conclusión originaria pareciera debilitarse, puesto que no se sabe
cuestión de grado y depende de las premisas que se consideren en su con certeza si cuando hablamos, por ejemplo, de triángulos equiláteros
estructura y las condiciones del campo de estudio. se refiere también a superficies negativamente curvadas.
BIOMEDICAS 11
CEPRUNSA I FASE – 2025 RAZONAMIENTO LOGICO
de descubrimiento, la inducción sólo forma parte del proceso de probar - Un automóvil puede ser conducido con exceso de velocidad
Un automóvil al frenar puede provocar marcas del frenazo en
los descubrimientos.
el pavimento.
∴ Un automóvil al ser conducido con exceso de velocidad, al
Los objetivos que corresponden a la abducción científica se pueden frenar puede provocar marcas del frenazo en el pavimento.
resumir en dos:
Hipótesis (abducción)
-Generar nuevas hipótesis para obtener nuevos conocimientos - Si un automóvil es conducido con exceso de velocidad, al frenar
-Seleccionar hipótesis para su posterior examen o verificación. puede provocar marcas de frenada en el pavimento.
Un automóvil al frenar provocó marcas del frenazo en el
Por ejemplo, para determinar responsabilidades en un accidente de pavimento.
∴ Un automóvil fue conducido con exceso de velocidad
tránsito los peritos pueden aseverar que un vehículo iba a exceso de
velocidad (conclusión) por las marcas del frenazo en el pavimento La abducción admite relacionar diversos aspectos para enunciar una
(premisa). hipótesis explicativa aceptable. Podemos encontrar una similitud con
la deducción en el sentido que ésta refiere de una proposición nueva;
Comparando los tipos de argumento tenemos:
sin embargo, luego surge la distinción: la proposición nueva de la
deducción en la conclusión siempre está implícita en las premisas; pero
Deducción
en la abducción no está implícita, sino que lo explicita, lo confirma,
- Si un automóvil es conducido con exceso de velocidad, al frenar primer objetivo.
puede provocar marcas del frenazo en el pavimento.
Un automóvil es conducido con exceso de velocidad
∴ Un automóvil al frenar puede provocar marcas del frenazo en Segundo objetivo, pero no es el caso que la conclusión sea definitiva,
el pavimento. sino tan solo es un “candidato” para explicar lo que en el consecuente
se asevera y tiene que ser analizado. Significa que tal propuesta debe
Inducción
ser consistente con el conocimiento previo, además debe estar atento
12 BIOMEDICAS
RAZONAMIENTO LOGICO CEPRUNSA I FASE - 2025
a las consecutivas actualizaciones del cuerpo de conocimiento. Ello - En muchas culturas diferentes, las obras de arte que evocan
emociones profundas son altamente valoradas.
conlleva a afirmar que, para la vigencia de la propuesta de
La valoración de estas obras de arte parece aumentar con el
conocimiento nuevo, se debe confirmar lo que se pretende sustentar tiempo.
en la conclusión, caso contrario, también es posible refutar. ∴ Probablemente la capacidad de evocar emociones profundas
sea una característica valiosa en las obras de arte.
Ejemplos:
Argumento abductivo
Argumento deductivo:
- Todo efecto conocido tiene una causa.
- Todos los cuadrados son rectángulos.
El universo comenzó a existir en algún momento.
Esta figura es un cuadrado.
∴ La mejor explicación es que el universo tuvo una causa
∴ Por lo tanto, esta figura es un rectángulo.
primordial.
- Si una acción causa sufrimiento innecesario, entonces esa En los siguientes casos identificar si el argumento es deductivo,
acción es moralmente incorrecta. inductivo o abductivo.
La tortura causa sufrimiento innecesario.
● Todos los mamíferos tienen corazones. Los delfines son
∴ Por lo tanto, la tortura es moralmente incorrecta. mamíferos. Por lo tanto, los delfines tienen corazones.
Argumento inductivo ● Juan ha llegado tarde a clase todos los días de esta semana.
Por lo tanto, Juan llegará tarde mañana.
- En todas las observaciones pasadas, el agua ha hervido a 100°C
al nivel del mar. ● Hay huellas húmedas en el suelo y el paraguas de Sara está
No hay evidencia de que el punto de ebullición del agua haya mojado. La mejor explicación es que Sara acaba de llegar de la
cambiado. lluvia.
∴ El agua podría continuar hirviendo a 100°C al nivel del mar
en el futuro.
BIOMEDICAS 13
CEPRUNSA I FASE – 2025 RAZONAMIENTO LOGICO
14 BIOMEDICAS
RAZONAMIENTO LOGICO CEPRUNSA I FASE - 2025
2.2.1 PROPOSICIONES SIMPLES − 5 + 5 = 10, pero 5 × 5 = 25
P1 P2
Tanto las predicativas como las relacionales pueden ser simples o 2.2.7 PROPOSICIONES PROBLEMÁTICAS
compuestas
Son aquellas proposiciones que se clasifican dentro de lo
hipotético, de lo factible. Una probabilidad puede darse bajo ciertas
Cuidado, no confundir:
condiciones, a partir del cual puede ocurrir o no ocurrir según lo
planificado.
− Luis y Juan son hermanos. (proposición simple relacional)
− Luis y juan son abogados. (proposición compuesta predicativa) − Especialistas en construcción afirman que, de haber un sismo
de 8 grados en Lima, el saldo de muertos sería de 55 mil, debido
2.2.5 PROPOSICIONES APODÍCTICAS a que la informalidad es un problema y no cumple con los
estándares de construcción.
Son aquellas proposiciones que necesariamente son verdaderas y de En conjunto, esta clasificación de proposiciones se da en función de un
carácter apriorístico. elemento distintivo propio de cada proposición. No obstante, luego de
ser plenamente identificados, entre ellos también pueden interactuar.
− Lo que es medible, es extensible.
− Todo triángulo tiene tres lados
− Si A =B y B = C, A = C Por ejemplo, la siguiente proposición cumple con ser simple, relacional,
asertórica y problemática.
2.2.6 PROPOSICIONES ASERTÓRICAS
− Arequipa tiene 1 millón 316 mil habitantes formación de los tipos de proposiciones. Esta tipología refiere de la
16 BIOMEDICAS
RAZONAMIENTO LOGICO CEPRUNSA I FASE - 2025
interacción de las diversas proposiciones de manera simultánea; − Hay flores en primavera o hay flores en otoño.
fundamentalmente son las siguientes:
2.3.3 DISYUNCIÓN EXCLUSIVA
2.3.1 CONJUNCIÓN
Es la unión de dos proposiciones mediante el operador ( v ) que
también se lee “o”. Suele denominarse disyunción fuerte porque no
Es cuando se relacionan dos proposiciones mediante el operador ();
acepta ambas proposiciones con el mismo valor.
se lee “y”. En lenguaje natural existen además otros términos análogos:
pero, sin embargo, aunque, además, también, asimismo.
En los siguientes ejemplos su representación formal es: p v q
Además, pueden utilizarse otros términos de enlace como: ya que, En los siguientes ejemplos su representación formal es: p q
puesto que, porque, siempre que, sólo si, etc. Pero estas
− Un número es divisible por dos si y sólo si es un número par.
representaciones tienen la característica de que antes de su conectiva − Hoy es lunes si y sólo si mañana es martes.
va el consecuente y después de ella, el antecedente.
2.3.6 NEGACIÓN
18 BIOMEDICAS
RAZONAMIENTO LOGICO CEPRUNSA I FASE - 2025
− Es imposible que si hoy es lunes, mañana no sea martes. ~(p → Segundo. Determinar la estructura formal de la proposición
~q)
distinguiendo las conectivas proposicionales.
− La Teoría de la relatividad es incomprensible ~p
− Caravelí y Condesuyos son provincias de Arequipa
Naturalmente la estructura de una proposición puede variar, sin p (y) q
embargo, como el significado es el mismo, sigue portando el mismo
Tercero. Obtener el símbolo de la proposición distinguiendo el alcance
valor, el último ejemplo visto podría cambiar en su estructura del
de sus operadores. El tipo de proposición se reconoce por el operador
siguiente modo
principal.
− La Teoría de la relatividad no es comprensible ~p
− No es cierto que la Teoría de la relatividad sea comprensible ~p − Caravelí y Condesuyos son provincias de Arequipa
(p ∧ q) proposición conjuntiva
3 FORMALIZACIÓN DE PROPOSICIONES
A partir de este ejemplo podemos construir sus variantes
Es la representación en lenguaje simbólico o formal lo que antes pudo
− Caravelí es una provincia de Arequipa, Condesuyos no.
identificarse como proposición en lenguaje natural. Para tal efecto se (p ∧ ~q)
debe seguir las siguientes pautas: − Caravelí no es una provincia de Arequipa, Condesuyos tampoco.
(~p ∧ ~q)
− Caravelí no es una provincia de Arequipa, pero Condesuyos sí.
Primero. Representar cada proposición simple por una variable
(~p ∧ q)
proposicional. − Es falso que Caravelí y Condesuyos sean provincias de Arequipa.
~(p ∧ q)
− Caravelí es una provincia de Arequipa.
p
4 VARIABLES Y OPERADORES
− Condesuyos es una provincia de Arequipa .
q
− Caravelí y Condesuyos son provincias de Arequipa
p q
BIOMEDICAS 19
CEPRUNSA I FASE – 2025 RAZONAMIENTO LOGICO
Las variables y operadores proposicionales son un conjunto de − Disyunción inclusiva p q
− Disyunción exclusiva p v q
símbolos que se utilizan para traducir y representar proposiciones del
− Condicional p → q
lenguaje ordinario o lenguaje natural a un lenguaje formal. − Bicondicional p q
− Negación conjunta p ↓ q
4.1 VARIABLES PROPOSICIONALES − Negación alterna p | q
Son símbolos que representan proposiciones. Usualmente se utiliza 4.2.2 OPERADORES MONÁDICOS
letras minúsculas p, q, r, s, etc., también suele usarse las mayúsculas A,
B, C, etc., en algunas ocasiones también se usa x, y, z, etc. En cualquier Se le denomina así porque sólo interactúa con la proposición que le
caso, cada variable representa una proposición en el mismo sentido en sucede, sea simple o compuesta. Nunca con la proposición que le
todo el contexto literario en mención. antecede. Es el caso de la negación (~). Por ejemplo,
también existirían (fnbf), por ejemplo: es posible que ambas sean verdaderas; es imposible que ambas sean
falsas. Por lo menos una debe ser verdadera
− (p → q~)
− (p q)
- Todos los peruanos son americanos
Veamos algunos ejemplos de formalización de proposiciones: - Algún conocimiento es abstracto
- Iré al cine y a jugar futbol Son proposiciones afirmativas, además son predicativas, el predicado
p q se atribuye al sujeto.
- Si no es el caso que ambas Elena y Alicia desayunen en casa, - Ningún peruano es europeo
entonces ambas Alicia y Sophía desayunan en casa. - Algún animal no vuela
~(p q) → (q r)
Las anteriores son proposiciones negativas, además predicativas-
En conjunto, veamos otros ejemplos:
- Mollendo esta al sur de Camaná, pero al norte de Ilo
Juan viene acompañado de tres jóvenes: Antonio, Luis y Roberto. Se - Ninguna serpiente es más venosa que la Taipán del interior
sabe que de estos tres, dos son hijos de Juan. Entonces es factible
construir la siguiente proposición: Son proposiciones relacionales, molecular y atómica, respectivamente
BIOMEDICAS 21
CEPRUNSA I FASE – 2025 RAZONAMIENTO LOGICO
- Un número primo es un número natural mayor que 1
5 TABLAS DE VERDAD
TEMA 4:
Por ejemplo, la proposición
FÓRMULAS PROPOSICIONALES
− Es invierno
En este tema abordamos la formulación de estructuras Como posibilidades de (V) y (F) tiene dos alternativas:
proposicionales, de acuerdo con los tipos de proposiciones
y según el tipo de conector; se utilizan variables,
− Es verdad que es invierno
operadores proposicionales y símbolos auxiliares para la − Es falso que es invierno
demostración mediante tablas veritacionales
Otro caso,
22 BIOMEDICAS
RAZONAMIENTO LOGICO CEPRUNSA I FASE - 2025
− Es invierno y hace frío. Al unir dos proposiciones con un operador surge un tercer valor, el cual
se determina según el tipo de operador.
Su interpretación semántica se extiende a cuatro combinaciones de
valores de (V) y (F): 5.1 CONJUNCIÓN
− Es verdad que es invierno y es verdad que hace frío. Dadas dos proposiciones (p q), al contrastar sus valores de (V) Y (F),
− Es verdad que es invierno y es falso que hace frío.
la conjunción es verdadera únicamente cuando sus dos componentes
− Es falso que es invierno y es verdad que hace frío.
− Es falso que es invierno y es falso que hace frío. son verdaderos. En cualquier otra posición es falsa.
p q p q
Pero esto no nos brinda un valor como totalidad, sino solamente de las
V V V
proposiciones individuales. Para el valor como totalidad, debemos
V F F
construir una matriz al lado izquierdo de la tabla conteniendo la
F V F
cantidad de proposiciones existentes en la fórmula a evaluar. En la
F F F
parte derecha, denominada “cuerpo” se establece la fórmula de donde
obtendremos el valor como totalidad a partir de su operador principal. 5.2 DISYUNCIÓN INCLUSIVA
Al simbolizar, tenemos: el número de valores se obtiene aplicando la
Dadas dos proposiciones (p q), es verdadera cuando por lo menos
fórmula 2n, donde 2 es la constante y n es el número de variables que
una proposición es verdadera. Es falsa sólo cuando sus dos
exhibe la fórmula.
componentes son falsas.
p q
V V
V F
F V
F F
BIOMEDICAS 23
CEPRUNSA I FASE – 2025 RAZONAMIENTO LOGICO
p q p q V V V
V V V V F F
V F V F V V
F V V F F V
F F F
5.3 DISYUNCIÓN FUERTE O EXCLUSIVA Respecto de sus variantes, Recíproca, Inversa, Contrarrecíproca, etc.,
cualquiera de ellas contiene en esencia lo que la proposición
Dadas dos proposiciones (p v q), la disyunción es verdadera sólo
condicional.
cuando una de las dos proposiciones es verdadera, pero no ambas. Es
5.5 BICONDICIONAL
falsa cuando tienen el mismo valor.
5.4 CONDICIONAL V F F
F V F
Dadas dos proposiciones (p → q), el resultado es falso sólo cuando el
F F V
antecedente es verdadero y el consecuente es falso. Es verdadero en
5.6 NEGACIÓN
cualquiera de las otras opciones.
V F F y el brazo derecho,
F V F p q p ~q
F F V V V
V F
5.8 NEGACIÓN ALTERNA
F V
Es una proposición disyuntiva inclusiva con sus componentes negados.
F F
p q p | q
V V F Luego trasladamos el valor de cada proposición al “cuerpo” de la tabla
V F V según corresponda.
F V V p q p ~q
F F V V V V F
V F V V
F V F F
BIOMEDICAS 25
CEPRUNSA I FASE – 2025 RAZONAMIENTO LOGICO
F F F V
P Q p ~q
V V V F F
V F V V V
F V F F F
F F F F V
Fórmula válida
Según la regla de la conjunción, la respuesta es: FVFF, Contingente.
En síntesis:
EJEMPLO:
26 BIOMEDICAS
RAZONAMIENTO LOGICO CEPRUNSA I FASE - 2025
se demuestra la validez. El procedimiento es al revés, mientras que en
RAZONAMIENTO LÓGICO
las tablas se comienza por las variables y operadores de menor
V V F
V V F (p q) r → (r → q)
V F V V F
Aplicando la tercera regla:
F¿? V F
(p q) r → (r → q)
F F V V F Lo que deberíamos hacer es darle otro valor a ‘p’, entonces con ello
(p q) r → (r → q)
28 BIOMEDICAS
RAZONAMIENTO LOGICO CEPRUNSA I FASE - 2025
F F V V F 8. Cori R. y Lascar D. (2003). Logique mathématique, 1. Calcul
propositionnel, algèbre de Boole, calcul des prédicats. Paris: Dunod
V V F 9. Couturat, Louis. (1980). L’algebra de la logique. Paris: Albert
Blanchard.
10. Deaño, A. (2009) Introducción a la lógica formal. Madrid: Alianza
Otro ejemplo
Editorial.
11. Fernandez, M. et all. (1996). Lógica elemental. México:
Universidad Autónoma Metropolitana.
{[(p → q) → (~r → s)] (~q → s)} → (~s r) 12. Gamut, L. (2002). Introducción a la Lógica. Argentina: Eudeba
V V V V F V F F 13. García, C. (2008). El arte de la Lógica. Madrid: Tecnos.
V V 14. Haack, S. (1978). Filosofía de las lógicas. Madrid: Cátedra.
V V F 15. Mosterín, J. y Torretti, R. (2010). Diccionario de lógica y filosofía de
la ciencia. Madrid: Alianza Editorial.
16. Quine. W. (1969). Los métodos de la lógica. Barcelona: Ariel.
17. Tymoczko, T. y Henle, J. (2002). Razón, dulce razón. Barcelona:
Ariel.
Bibliografía