UNIVERSIDAD NACIONAL ABIERTA

CENTRO LOCAL TÁCHIRA

SAN CRISTÓBAL- ESTADO TÁCHIRA

TRABAJO PRÁCTICO DE LÓGICA

ESTUDIANTE: VELAZCO CHACÓN MARÍA ALEJANDRA

CI: V-27.989.324

CORREO: MVALEJANDRA20@GMAIL.COM

COD: 612 ADMINISTRACIÓN DE EMPRESAS

CÓDIGO CURSO: 107 LÓGICA

TRABAJO PRÁCTICO DE LÓGICA.

ENTREGA: 15 DE ABRIL DEL 2023

ASESOR: JEANETTE CELY

San Cristóbal, Abril del 2023

 INTRODUCCIÓN

En este trabajo se expondrán algunos de los temas de Lógica. La lógica es una

ciencia que forma parte de la filosofía y de las matemáticas. Se ocupa de estudiar qué

procedimientos del pensamiento son válidos y cuáles no, distinguiendo la verdad de las

paradojas o las falacias. Por ende es de gran importancia ya que permite desarrollar el

sentido crítico de la persona, mediante el análisis de las circunstancias que ocurren

diariamente.

A continuación se presenta el desarrollo de las actividades y objetivos de este

curso…
 TRABAJO PRÁCTICO DE LÓGICA

OBJETIVO 1.1: INFOGRAFÍA.

OBJETIVO 1.2: MAPA CONCEPTUAL.

Lógica proposicional

Una proposición
puede ser expresada Una proposición
Tiene por objeto Argumentación puede entenderse
Proposición es un enunciado como
atómica sus componentes
que posee sujeto, son
cópula y
predicado.
por establecer la oración producto
Ejemplo: criterios declarativa es las premisas,
distintas Proposición lógico del
mañana que la conclusión y
oraciones molecular pensamiento
lloverá permitan la cadena
de un humano
mismo distinguir argumentativa
lenguaje Proposición no un
razonamie se expresa
Contienen alguna extensional nto mediante una
una entidad lengua
conjunción deductivo gramatical
válido o natural
Sean gramatical típica, que comunica
verdaderas conectiva o adverbio No cumplen con una no. una situación
o falsas “no”. Ejemplo: el función o valor de o estado de en lenguaje
tiempo es absoluto o verdad. Ejemplo: hechos natural esos signos
creo que los duendes son caracteres
relativo. ejemplo: "Simón escritos
Proposición existen
Bolívar libertó a
conectiva Lista exhaustiva de todo
Venezuela"
aquello a lo cual se aplica.
en el lenguaje
Ejemplo: planetas del
simbólico son
conexiones entre proposiciones que permiten Proposición sistema solar son urano,
signos arbitrarios
construir nuevas oraciones con complejidad lógica. extensional tierra, plutonio…
Ejemplo: disyunción, condición material,
h bicondicional y negación conjunta
OBJETIVO 1.3: RESOLUCIÓN DE EJERCICIOS.

Ejercicio #1: Sea p “Enrique escribe cartas” y sea q “Enrique lee versos” y sea r “Estudia

matemáticas”. Escribe cada uno de los siguientes enunciados de manera simbólica:

1) Enrique escribe cartas o lee versos pero no estudia matemáticas.

RESPUESTA: p  q   r

2) Enrique escribe cartas y lee versos, o no escribe cartas y estudia matemáticas.

RESPUESTA: ( p  q )  (  p  r)

3) No es cierto que Enrique escribe cartas, pero no estudia matemáticas.

RESPUESTA:  (p   r)

4) No es cierto que Enrique estudia matemática o lee versos, pero no escribe cartas.

RESPUESTA:  r   q  p

Ejercicio #2: Construir la tabla de verdad de las siguientes proposiciones:

a) p  ( q^ ~p)

Tabla de verdad

p q (~p) ( q^ (~p)) p ( q^ ~p)

V V F F F

V F F F F

F V V V V

F F V F V

La expresión p ( q^ ~p) es una contingencia.

 b) [ ( p  ~ q ) ∧ q ] ~ p

Tabla de verdad

p q ~ q (p ( ~ q )) (p ( ~ q ) ∧ q) ~p [ ( p  ~ q ) ∧ q ] ~ p

V V F V V F V

V F V F F F V

F V F V F V V

F F V V F V V

La expresión [ ( p  ~ q ) ∧ q ] ~ p es una tautología.

c) [ ( p  q ) ∧ ~p] p

Tabla de verdad

p q ( p  q ) (~p) ( p  q ) ∧ (~p) [ ( p  q ) ∧ ~p] p

V V V F F F V V

V F F F F F F V

F V V V V V F F

F F V V V V F F

La expresión [ ( p  q ) ∧ ~p]p es una contingencia.

 d) [(~p → ~q) ∧ ((p ∧ q) → (q → p))] → ~ ~ ~q

p q ~p ~q (~p → ~q) (p ∧ q) (~p → ~q) ∧ (q → p) [(~p → ~q) ~q ~(~q) ~ (~(~q) [(~p → ~q) ∧ ((p ∧ q) → (q → p))] → ~ ~

(p ∧ q) ∧ ((p ∧ q) → ~q

(q → p))]

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

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

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

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

La expresión [(~p → ~q) ∧ ((p ∧ q) → (q → p))] → ~ ~ ~q es una contingencia.

Ejercicio #3: Determinar si las proposiciones son tautologías, contradicción o

contingencia.

A. (~p → ~r) ∨ ~q

p r q ~p ~r (~p → ~r) ~q (~p → ~r) ∨ (~q)

V V V F F V F V

V V F F F V V V

V F V F V V F V

V F F F V V V V

F V V V F F F F

F V F V F F V V

F F V V V V F V

F F F V V V V V

La expresión (~p → ~r) ∨ ~q es una CONTINGENCIA.

 B. ~[~(p → ~q) ∧ r]

p q r ~q (p → (~q)) (~(p → ~q)) (~(p →( ~q)) ∧ r) ~[~(p → ~q) ∧ r]

V V V F F V V V V F

V V F V F V V F F V

V F V V V F F F V V

V F F V V F F F F V

F V V V V F F F V V

F V F V V F F F F V

F F V V V F F F V V

F F F V V F F F F V

La expresión ~[~(p → ~q) ∧ r] es una CONTINGENCIA.

C. [(~p ∧ ~q) ∨ r → ~r → p ]

p q r (~p) (~q) (~p) ∧ (~q) ((~p )∧( ~q) ∨ r ) (~r) (((~p )∧( ~q) ∨ r ) →( ~r )) ((((~p )∧( ~q) ∨ r ) →( ~r )) → p)

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

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

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

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

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

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

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

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

La expresión [(~p ∧ ~q) ∨ r → ~r → p ] es una CONTINGENCIA.

 D. (~p ∧ ~q) → (r ∨ ~p )

p q r (~p ) ( ~q) ((~p) ∧( ~q)) (r) (~p ) (r )∨ (~p ) ((~p) ∧( ~q) → (r )∨ (~p ))

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

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

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

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

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

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

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

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

La expresión (~p ∧ ~q) → (r ∨ ~p ) es una TAUTOLOGÍA

OBJETIVO 1.4: ESQUEMA.

Antecedente: es el componente que

Estudia las consecuencias
de los argumentos. Para
lograr esto es necesario
tener información previa.
sigue inmediato al "sí".
Consecuente: es el componente que
sigue inmediato al "entonces".
Enunciado condicional : compuesto
de la forma "sí" p "entonces" q.
Implicación: relación entre el
antecedente y consecuente en un
enunciado condicional.

Proposición recíproca: se intercambia las

posiciones del antecedente y el consecuente. Ejemplos: Recíproca
Proposición inversa: negación del "q->p"
antecedente y consecuente. No siempre se
LA Se clasifica en infiere a una condicional. Inversa "p -> q"
PROPOSICIÓN Proposición contrarrecíproca: Es como una Contrarrecíproca
CONDICIONAL proposición recíproca pero con su "q-> p"
antecedente y consecuente negado.

Enunciado condicional generalizado : a partir de un hecho en particular

Un enunciado hace inferencia para extraer leyes generales o consecuencias.
condicional es Enunciado contrafáctico : plantea alternativas a aeventos ocurridos.
compuesto de la
forma "sí" p, Enunciado material: es una función de verdad binaria que se vuelve falso
entonces "q". cuando B es falsa siendo A verdadera y se vuelve verdadero en cualquier
otro caso.
Enunciados
condicionales y
tautología del Una tautología es una
condicional fórmula que resulta
verdadera para todas las Ejmplos: (p q) -> (pq)
asignaciones posibles de La tarde esta serena pero Pedro no
valores veritativos a sus llega.
letras proposicionales. Pedro no llega.
OBJETIVO 1.5: RESOLUCIÓN DE EJERCICIOS.

Demostrar que las siguientes expresiones son equivalentes:

a) p(qr)(pq)(pr)

p q r (qr) p(qr) (pq) (pr) (pq)(pr)

V V V V V V V V V V V V V V V V V V

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

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

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

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

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

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

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

p(qr)  (pq)(pr)

V V V

F V F

F V F

F V F

V V V

V V V

V V V

V V V
Tienen igual resultado en sus tablas de verdad, el resultado es tautología, por lo tanto son

EQUIVALENTES.

b) [(pq) r ]  (pr) (qr)

p q r (pq) r (pq) r (pr) (qr) (pr) (qr)

V V V V V V V V V V V V V V V V V V V

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

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

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

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

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

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

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

[(pq) r ] (pr) (qr)

V V V

F V F

V V V

F V F

V V V

F V F

V V V
 V V V

Tienen igual resultado en sus tablas de verdad, el resultado es tautología, por lo tanto son

EQUIVALENTES.

c) p(qr) (pq)(pr)

p q r (qr) p(qr) (pq) (pr) (pq)(pr)

V V V V V V V V V V V V V V V V V V

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

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

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

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

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

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

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

p(qr)  (pq)(pr)

V V V

V V V

V V V

F V F

V V V

V V V

V V V

V V V
Tienen igual resultado en sus tablas de verdad, el resultado es tautología por lo tanto son

EQUIVALENTES.

d) [ (pq) r ]  p(qr)

p q r (pq) (pq) r (qr) p(qr)

V V V V V V V V V V V V V V V

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

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

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

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

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

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

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

[ (pq) r ]  p(qr)

V V V

F V F

V V V

V V V

V V V

V V V

V V V
 V V V

Tienen igual resultado en sus tablas de verdad, el resultado es tautología, por lo tanto son

EQUIVALENTES.

Determina la válidez de los siguientes razonamientos y construye su tabla de verdad:

1. Ejercicio:

(qs)  t

qr

ps


2. Ejercicio:
p → ~r

q∨p
r
q

3. Ejercicio:
p→q
q→r
s→t

s∨p

r∨t
 4. Ejercicio:

p ↔ (q ∧ t ∧ u)
~p
r ↔ ~q
~r → t
~u → r

r∨s
5. Ejercicio:

~q ∨ r
s → ~r
~s → p
~p→~q

6. Ejercicio:
p→r
q→s

~(r ∧ s)

~p∨~q

OBJETIVO 1.6: RESOLUCIÓN DE EJERCICIOS.

 Señale al menos dos caracteristicas de las falacias no formales y de las falacias

formales.

Falacias no formales:

-Contienen errores en su contenido.

 -Se puede errar ampliamente por ende resulta complejo tipificarlas.

-Sus significados oscilan o cambian de manera sútil.

Falacias formales:

-Se da un error que pasa inadvertido.

-Violan algunas de las estructuras deductivas válidas.

-Son razonamientos no válidos pero que se aceptan por su semejanza con formas

válidas de inferencia.

 Escriba un ejemplo de falacia de ambigüedad.

La falacia de ambigüedad consiste en emplear premisas cuya formulación es

errónea ya que su significado es ambigüo y puede tener amplios significados:

Ejemplo: La muerte es el fin de la vida, por lo tanto, la vida debe tener como fin la

muerte.

 Explique si la siguiente expresión es o no una falacia: “El famoso deportista

Zutano también vota por Mengano. No cabe duda que Mengano es el mejor

candidato”.

Es una falacia ya que tiene errores en su forma, es decir que cualquier argumento

inválido sería una falacia. No se puede deducir que Mengano es un buen candidato

sólo porque un deportista famoso vota por él. Se debe pensar y analizar muchas

cosas en variedad de contextos para poder concluir que Mengano es una buena

elección como candidato. Por lo tanto la expresión dada: “el famoso deportista

Zutano también vota por Mengano. No cabe duda que Mengano es el mejor

candidato”. Es un argumento inválido y por ende falacia.

 Explique por qué la siguiente expresión es una falacia formal de atinencia:

“José Gregorio Hernández debe ser declarado santo. Dese cuenta que él es de

origen andino; se graduó de médico en Caracas e iba a misa siempre”.

Es una falacia de atinencia ya que los argumentos dados no poseen coherencia

lógica para que derive lo de “debe ser declarado santo” y en la expresión dada:

“José Gregorio Hernández debe ser declarado santo. Dese cuenta que él es de

origen andino; se graduó de médico en Caracas e iba a misa siempre”. Sólo se

apelo al cáracter expresivo e informativo sobre la vida del Dr. José Gregorio,

utilizando el lenguaje para estimular las emociones del lector o de quién escuche la

expresión para implicar la aceptación del argumento, dicho esto es un gran ejemplo

de falacia de atinencia.
 CONCLUSION

Como se pudo observar en el trabajo desarrollado, el campo de la logica es bastante

amplio pero no existe un acuerdo en el que se indique los limites de ella o su definición

exacta. Sin embargo, en el ámbito de la lógica se puede destacar la clasificación de

los argumentos, el análisis sistemático de las formas lógicas, el estudio sistemático de

la validez de las inferencias deductivas, la fuerza de las inferencias inductivas, el estudio de

los argumentos defectuosos, como las falacias; el estudio de las paradojas lógicas, el

estudio de la sintaxis y la semántica de los lenguajes formales y el estudio de los conceptos

de sentido, denotación y verdad.

En este orden de ideas se puede destacar la importancia de la lógica, siendo un

conocimiento de tipo objetivo, que tiene una persona para responder a una situación que

amerite una acción o toma de decisión. La lógica persigue la búsqueda de la verdad

mediante pruebas y metodologías que permitan alcanzarlas de la manera más formal.

 BIBLIOGRAFÍA

Badesa, C; Jané I. y Jansana, R. (1998). Elementos de lógica formal. España. Editorial

Ariel.

Copi, I. y Cohen, C. (2000). Introducción a la lógica. Colombia. Editorial Limusa.

Chang, R. (2004). Anexo explicativo Lógica. Venezuela. Universidad Nacional

Abierta.

Deaño, A. (1978). Introducción a la lógica formal. España. Editorial Alianza.

Garrido, M. (1995). Lógica simbólica (3a. Ed.). España. Editorial Tecnos.

Piacenza, E. (2008). Lógica (7ma. Reimpresión). Venezuela. Universidad

Nacional Abierta.