UNIVERSIDAD NACIONAL FEDERICO VILLARREAL

FACULTAD DE PSICOLOGÍA

ESCUELA DE PSICOLOGÍA

ALUMNO(A): XIOMARA ALEXA INGA ZAPATA

DOCENTE: LIC. REYNALDO NARVÁEZ CANGALAYA

CURSO: RAZONAMIENTO MATEMÁTICO

Lima, noviembre del 2024

 Índice

1. ¿Qué es la lógica proposicional?

2. Proposiciones
3. Simbología de la lógica proposicional
4. Conectivos Lógicos
5. Las tablas de verdad
6. Cuantificadores universales y existenciales
7. Falacias
8. Circuitos lógicos
9. Leyes de inferencia
10. Bibliografía
 Lógica proposicional

1. ¿Qué es la lógica proposicional?

La lógica proposicional, también conocida como lógica de enunciados o lógica de las
funciones de verdad, es la rama más antigua de la lógica matemática. Se enfoca en el
análisis de proposiciones, afirmaciones o enunciados, así como en las relaciones que se
establecen entre ellos mediante conectores lógicos y las propiedades que surgen de esos
enlaces.
Características de la lógica proposicional:
 También se le conoce como lógica de enunciados o lógica de las funciones de
verdad.
 Es la rama más antigua de la lógica matemática y se enfoca en estudiar las
relaciones entre los conectores lógicos y los enlaces que surgen de ellos
 Se considera una ciencia que permite el razonamiento a través de un sistema que
aborda primero problemas simples y luego los más complejos.
 Es un tipo de lenguaje simbólico que analiza los razonamientos del lenguaje
natural. Posee un alfabeto, una sintaxis y una semántica propios.
 Su función principal es traducir el mensaje simbólico presente en las oraciones
del lenguaje natural, de manera que se entienda de forma completa.
 Los enunciados de la lógica proposicional deben ser necesariamente verdaderos
o falsos.
2. ¿Qué son las proposiciones?

Una proposición es una declaración que puede ser verdadera o falsa, pero no ambas
simultáneamente. Las proposiciones son las unidades fundamentales de la lógica
proposicional y se suelen representar mediante las letras minúsculas p, q, r, s, entre
otras.

Ejemplos:

1. La psicología tiene varias dimensiones.

2. Los enfoques de psicología son 5.
3. La psicología positiva se divide en dos estructuras.

El valor de verdad de una proposición es una de las dos posibles opciones: verdadero
(V) o falso (F). Determina si la información expresada en la proposición es correcta o
incorrecta en relación con la realidad.

3. Simbolización de las preposiciones

Para representar proposiciones, se emplean símbolos que corresponden a las
proposiciones mismas. Estos símbolos son llamados variables de proposición o letras
proposicionales. Generalmente, se utilizan letras minúsculas del abecedario, como p, q,
r, s, t, para designar diferentes proposiciones.

Ejemplos:

 La teoría humanista es para los emotivos y la teoría psicoanalítica es para los

examinadores.

natural a través de la expresión “y”, la cual se simboliza con: ∧.

Se está utilizando la conectiva denominada conjunción, la cual se expresa en el lenguaje

P: La teoría humanista es para los emotivos

q: La teoría psicoanalítica es más para examinadores

p∧q
 Si el psicólogo es burlón entonces el paciente no se va a sentir cómodo.
La conectiva que se utiliza es el condicional, que se expresa mediante “si…entonces” y
que se simboliza con →.
P: El psicólogo es burlón
q: El paciente no se va a sentir cómodo

p→q
 La pseudociencia no es aceptada por los psicólogos
Tenemos la conectiva lógica que se llama negación, que se expresa en el lenguaje
natural o cotidiano con la expresión “no” y que se simboliza con: ~.
P: la pseudociencia es aceptada por los psicólogos

~p

4. Conectivos lógicos
Los conectivos lógicos son palabras que nos permiten conectar dos o más proposiciones
para formar una nueva proposición con un valor de verdad propio. Lo seis conectivos
lógicos más usados son:

Negación (¬): Representa la falsedad de una proposición y se lee como "no" o "es falso
que". Por ejemplo: El Alzheimer es una enfermedad neurodegenerativa. (¬p) El
Alzheimer no es una enfermedad neurodegenerativa.

Conjunción (∧): Indica la combinación de dos o más proposiciones que deben ser
verdaderas al mismo tiempo para que la expresión completa sea verdadera. Se lee como
"y" o "pero". Por ejemplo: Un paciente está experimentando alucinaciones y delirios al
mismo tiempo.

Disyunción (∨): Representa una alternativa entre dos o más proposiciones. Al menos
una de ellas debe ser verdadera para que la expresión completa sea verdadera. Se lee
como "o". Por ejemplo: La memoria es un proceso cognitivo o la atención es un proceso
superior.

Disyunción exclusiva (⊻): Representa una alternativa entre dos proposiciones, pero
solo una de ellas puede ser verdadera para que la expresión sea cierta. Se lee como "o...
pero no ambos". Por ejemplo: O la paciente está experimentando ansiedad o esta
experimentando estrés, pero no ambos.

Condicional o implicación (→): Establece una relación de causa y efecto entre dos
proposiciones. La primera proposición (antecedente) implica la segunda (consecuente).
Se lee como "si... entonces". Por ejemplo: Si el hipocampo se lesiona entonces puede
generar problemas en la memoria.

Bicondicional o doble implicación (↔): Expresa una equivalencia lógica entre dos
proposiciones. Ambas deben ser verdaderas o falsas al mismo tiempo. Se lee como "si y
solo si". Por ejemplo: Habrá problemas intensos en la articulación de palabras si y solo
si hay una lesión en el área de Broca.

5. Las tablas de verdad

Las tablas de verdad son una herramienta esencial tanto en lógica como en informática.
Permiten representar de forma clara y resumida las relaciones entre las proposiciones
lógicas y sus valores de verdad asociados. Se utilizan para determinar si una expresión
lógica es verdadera o falsa, según los valores de verdad de sus elementos componentes.
De este modo, las tablas de verdad facilitan el análisis y diseño de circuitos
informáticos, y son fundamentales para los estudiantes de lógica y los profesionales de
la informática.
6. Cuantificadores universales y existenciales
Cuantificador universal: Son aquellas que hablan de un grupo o conjunto de todo o
ninguno. Ejemplo:
 Afirmativa universal: Todos los trastornos del neurodesarrollo son generados
por el entorno familiar.
 Negativa universal: Ningún trastorno del neurodesarrollo es generado por el
entorno familiar.
Estas proposiciones tienen la forma del tipo “si… entonces”. Así, por ejemplo, cuando
decimos que “Todos los trastornos del neurodesarrollo son generados por el entorno
familiar” lógicamente estamos diciendo, “Si hay un trastorno del neurodesarrollo,
entonces es generado por el entorno familiar”.
Cuantificador existencial: Son aquellas que hablan solo de algunos mientras de un
grupo o conjunto. Ejemplo:
 Afirmativa existencial: Algunos trastornos del neurodesarrollo son generados
por el entorno familiar.
 Negativa existencial: Algunos trastornos del neurodesarrollo no son generados
por el entorno familiar.

7. Falacias
Falacias formales: En las falacias formales, hay un defecto en la relación entre las
distintas cosas que se dicen. Es decir, los argumentos mencionados no tienen
coherencia.
 Negación del antecedente: Esta falacia consiste en un razonamiento negativo,
donde se asume que la conclusión será negativa: «Si ocurre A, entonces ocurrirá
B; como no ha ocurrido A, se concluye que B no ocurrirá».

 Afirmación del consecuente: Esta falacia consiste en un razonamiento en el que

se da por supuesto que algo es cierto, y luego se utiliza esa suposición para
determinar si la conclusión también es verdadera o falsa. Su estructura es la
siguiente: «Si con A se obtiene B, entonces si obtengo B, debo haber hecho A».

Falacias Informales: Las falacias informales son aquellas que contienen un error
lógico en su contenido. Lo que se expone no conduce de manera válida a la conclusión
que se afirma. Son argumentos ilógicos que se emplean para dar la impresión de que lo
que se dice es verdadero.
 Falacia Ad verecundiam o de la apelación a la autoridad: Esta falacia ocurre
cuando se defiende un argumento como verdadero porque quien lo dice tiene
cierta autoridad. Ejem: El Papa Francisco dice que solo los que van a terapia
son bienvenidos al eterno paraíso así que debe ser verdad, si lo dice él.
 Falacia ad Hominem o «contra el hombre»: Sucede cuando se desacredita a
la persona que presenta el argumento o al sujeto en cuestión, en lugar de refutar
el argumento mismo. Ejem: La psicóloga dice que también pasó por un episodio
 depresivo, así que todo lo que ha dicho hasta ahora debe ser falso ya que no está
sana.
 Falacia Populista o ad Populum: La falacia populista se basa en un argumento
que, como está aprobado por la mayoría, entonces debe ser cierto. Ejem: La
mayoría de los pacientes enfermos dicen que esa medicación para la ansiedad es
muy buena así que debe ser cierto.
 Falacia ad Baculum: Este tipo de falacias intentan que un argumento sea válido
a través de la fuerza, provocando temor o amenazando al oponente. Ejem: Si no
le dices a tu psicólogo lo que te pasa nunca más te pago una terapia, así que
mejor hazlo ya.
 Falacia Ad Ignorantiam: Esta falacia ocurre cuando se afirma que algo es
cierto solo porque hasta el momento no se ha probado que es falso, o viceversa.
Ejem: No se ha demostrado que las técnicas de mindfulness no curen la
ansiedad, por lo que deben ser una cura.
 Falacia de Generalización apresurada: Es la falacia que ocurre cuando
tratamos de llegar a una conclusión general basándonos en evidencia
insuficiente.
Ejem: Desde hace un tiempo estoy asistiendo a ese tipo de terapia que me
recomendaste, pero no me sirve, entonces esa terapia es insuficiente para las
demás personas.
 Falacia de Ambigüedad: Esta falacia utiliza premisas erróneas con un
significado ambigüo, que puede tener varios significados. Ejem: El éxito de una
terapia depende de cómo te comprometas.
 Falacia de composición: Esta falacia se basa en que, si algo es verdadero en su
composición, todo el conjunto será verdadero. Ejem: Si una persona tiene buena
memoria para las matemáticas, entonces debe ser buena en todas las tareas
cognitivas.

8. Circuitos lógicos
Los circuitos lógicos son representaciones visuales que emplean símbolos y diagramas
para mostrar las relaciones entre proposiciones y sus valores de verdad. Estos circuitos
permiten comprender de manera intuitiva cómo funcionan las conectivas lógicas y cómo
se determinan los valores de verdad, comparándolos con el flujo de corriente en un
circuito eléctrico con uno o varios interruptores. Tipos de circuitos lógicos:

Circuitos lógicos combinacionales: son aquellos en los que la salida depende

exclusivamente de las entradas actuales, sin tener en cuenta entradas previas. Estos
circuitos no poseen memoria, por lo que su estado no se ve influenciado por
información anterior. Algunos ejemplos comunes de circuitos combinacionales
incluyen:

 Puertas lógicas: AND, OR, NOT, NAND, NOR, XOR, XNOR.

 Multiplexores: Eligen una entrada de varias opciones disponibles.
 Desmultiplexores: Dirigen una entrada hacía varias salidas.
 Codificadores y decodificadores: Convierten datos de un formato a otro.
Los circuitos secuenciales: A diferencia de los circuitos combinacionales, los circuitos
lógicos secuenciales cuentan con memoria, por lo que su salida depende tanto de las
entradas actuales como del estado previo. Algunos ejemplos de circuitos secuenciales
son:

 Flip-flops: Guardan un bit de información.

 Contadores: Realizan un seguimiento de los pulsos del reloj.
 Registros: Almacenan varios bits de información.

9. Leyes de inferencia
Las leyes de inferencia son patrones o procedimientos que permiten obtener una nueva
proposición válida a partir de una o más proposiciones premisas consideradas
verdaderas. Estas reglas son esenciales para desarrollar argumentos lógicos sólidos y
realizar razonamientos de forma precisa.
1. Modes Ponens: Esta regla de inferencia establece que, si se cuenta con una expresión
condicional, se puede afirmar el consecuente a partir de la afirmación del antecedente.
Ejem: Si un paciente sufre de depresión es probable que necesite antidepresivos.
Alberto, un paciente, tiene depresión, por lo tanto, es probable que necesite tomar
antidepresivos.
2. Modes Tollens: Esta regla de inferencia establece que, en una proposición
condicional, si se niega el consecuente, se puede concluir la negación del antecedente.
Ejem: Si una persona es inestable emocionalmente, entonces tendrá tendencia suicida.
Julia no es inestable emocionalmente, por lo tanto, no tendrá tendencia suicida.
3. Ley de Doble negación: La ley de doble negación establece que la negación de una
negación equivale a una afirmación. Es decir, si niegas que algo no es verdadero, estás
afirmando que es verdadero.
Ejem: No es cierto que un paciente con medicación no sufra de efectos secundarios.
Entonces es cierto que un paciente con medicación sufra de efectos secundarios.

4. Ley de Generalización: Esta ley es un principio lógico que permite hacer una
afirmación general a partir de un caso específico. Es decir, si se demuestra que algo es
cierto en una situación particular, se puede concluir que es cierto para todos los casos
dentro de una categoría o grupo similar.

Ejem: Todos los casos de trastorno de la personalidad múltiple son un caso perdido.
Jorge padece de trastorno de la personalidad múltiplo, por lo tanto, es un caso perdido.

5. Silogismo hipotético: Esta regla de inferencia se utiliza en silogismos que parten de

hipótesis, y a partir de la afirmación o negación de una de ellas, se puede concluir la
veracidad de la otra.
Ejem: Si un psicólogo es empático con sus pacientes (p), van a querer regresar a
consulta (q). Si regresan otra vez a consulta (q) entonces el psicólogo podrá conocerlos
mejor (r). Si el psicólogo es empático con sus pacientes (p) entonces podrá conocerlos
mejor (r).
10. Bibliografía
Machado, D. (2024, June 4). Lógica Proposicional: ¿Qué es? Conceptos y Ejemplos.
Flamath; Daniel Machado. https://flamath.com/logica-proposicional
Gabriela, B. V. (2021, August 22). Lógica proposicional. Euston96.
https://www.euston96.com/logica-proposicional/
Ejemplos de Reglas De Inferencia. (n.d.). ejemplosde.com. Retrieved November 8,
2024, from https://www.ejemplosde.com/29-logica/1701-
ejemplos_de_reglas_de_inferencia.html
C. M. (B. (2021, January 9). ¿Qué son las falacias lógicas? YuBrain.
https://yubrain.com/humanidades/filosofia/que-son-las-falacias-logicas/
La lógica en la psicología: importancia y aplicaciones. (2020, October 26). Colegio de
Psicólogos. https://colegiodepsicologossj.com.ar/logica-de-la-psicologia/
Lógica 09: cuantificación universal y existencial. (2019, February 28). CrossExamined
En Español. https://es.crossexamined.org/logica-09-cuantificacion-universal-y-
existencial/