REPÚBLICA BOLIVARIANA DE VENEZUELA

UNIVERSIDAD NACIONAL ABIERTA

CENTRO LOCAL 1400
LOGICA 107

ANGELICA DEL CARMEN HERRERA ANAYA

15.117.602
14 DE OCTUBRE DE 2023
ADRIANALEJANDRO625@[Link]

Nº Objetivo I.1 I.2 1.3 I.4

0= NL
1= L

Profesor:

Ing. Carlos León

LOGICA
 OBJETIVO I.1
1. Infografía, que consistirá en
identificar de manera reflexiva los
conceptos básicos que caracterizan la
lógica como lenguaje.
 Identificar de manera reflexiva los conceptos basicos que caracterizan
la logica como lenguaje, incluyendo especialmente, la cuestion del
significado.

los seres humanos somos una especie desarrollada en el ámbito del lenguaje desde el
principio aprendimos a adaptarnos a los que nos tocaba como cazar para comer, e incluso un
sonido , una seña lo aprendimos para comunicarnos entre nosotros y año tras años
desarrollamos mejoras para tener una buena comunicación, sin la lógica el lenguaje no se
lograra entender ya que esta nos explica lo que debemos hacer y cómo hacerlo, y lo que no
debemos hacer ahora bien, la lógica simbólica se refiere a un metalenguaje y se denomina
lenguaje objeto

En la lógica la extensión de una La lógica trata la distinción entre el

expresión es el conjunto de cosas a las razonamiento correcto del incorrecto
cuales se aplica la intesional , en cual por medio de sistemas formales
se requiere al significado que posee diferentes que dan cuenta de la
una palabra por su compresión, por su corrección de diferentes tipos de
parte, la palabra intención nos indica el argumentos. Esto se logra gracias a
propósito y voluntad que tiene una que la lógica constituye como lenguaje
persona para llevar a cabo algo, en la
que parte del razonamiento
vida cotidiana un mismo tipo de
discurso puede desempeñar varias
funciones al mismo tiempo, pero por
medio del análisis contextual es
posible determinar la función
primordial que está tratando de Lenguaje Artificial: Son construidos
cumplir, para así poder comunicar la deliberadamente y sirven solo para
información correcta. ciertos propósitos específicos.
Componentes del Proceso Semiótico

Lenguaje Natural: Son el resultado de

un proceso de evolución histórico- Sintaxis: Es aquella rama de cualquier
cultural espontáneo y sirven para una disciplina semiótica que sólo se ocupa
variedad indefinida de propósitos delas relaciones entre signos.

Lenguaje Objeto: Es el lenguaje que se Metalenguaje: Es el lenguaje que se

investiga. En este lenguaje usamos las utiliza para formular enunciados
expresiones del lenguaje objeto y no acerca del lenguaje objeto.
mencionamos las expresiones del
lenguaje objeto
En lógica: filosofía del lenguaje y otras
disciplinas que estudian los signos y el
Semántica: Es aquella rama de la
significado, la intensión de una
disciplina semiótica que tiene por
expresión es su significado o
objeto las relaciones entre los signos y
connotación en contraste con la
su designata.
extensión de la misma, que consiste en
las entidades a las cuales la expresión
se aplica
Función Expresiva: Se usa para dar
expansión a, o manifestar
sentimientos, emociones, o actitudes
afectivas
1.2 será evaluado a través de un
mapa conceptual, donde debes
describir en qué consiste la
lógica proposicional y cuál es su
objeto, las diferencias entre la
forma oracional declarativa y su
contenido proposicional, las
proposiciones atómicas y
moleculares, enunciado y
conectiva extensional y no
extensional.
I.3 será evaluado a través de la
resolución de ejercicios donde deberás
señalar la relación de las conectivas
lógicas y el lenguaje natural, el valor
veritativo de una fórmula
proposicional dada mediante la
construcción de su respectiva tabla de
verdad.
Actividad: Resolución de ejercicios

I.3 Establecer de manera reflexiva el valor veritativo de una fórmula

proposicional dada mediante la construcción de su respectiva tabla de
verdad.

Consulta el material instrucciones de la asignatura y ubica los contenidos. Procesa ese

material, utilizando las técnicas que consideres conveniente y posteriormente elabora
la resolución de los siguientes ejercicios:

- Señalar la relación de las conectivas lógicas y el lenguaje natural.

La lógica trata la distinción entre el razonamiento correcto del incorrecto por

Medios de sistemas formales diferentes que dan cuenta de la corrección de diferentes
tipos de argumentos Esto se logra gracias a que la lógica se constituye como lenguaje
que parte del razonamiento (argumentos), frases en la cual de la posición o afirmación
de las que preceden se sigue la posición o afirmación de la que va al final Esto establece
a la lógica como un lenguaje artificial, ya que es creado para satisfacer ciertas
necesidades (distinguir el razonamiento correcto del que no lo es), en comparación de
nuestro lenguaje natural que es fruto de una larga trayectoria culturo social. Aunque hay
que tener en cuenta que la lógica ha tenido un largo avance histórico desde hace dos mil
quinientos años con Aristóteles gracias a las partes metodológicas del simbolismo
matemático clasificando a la lógica antigua como =tradicional= y la moderna como
<simbólica=, esta <mate matización= logra un mayor control técnico en la práctica del
razonamiento convirtiendo a la lógica en un metalenguaje con relación a cualquier otro
lenguaje que se llamaran lenguaje objeto (El metalenguaje es el lenguaje con el cual
hablamos acerca de un signo cualquiera perteneciente al lenguaje objeto.

- Establecer el valor veritativo de una fórmula proposicional dada mediante la

construcción de su respectiva tabla de verdad.
Una tabla de verdad lista todas los posibles valores de una o varias proporciones
simples, y el valor de verdad de una o varias proposiciones compuestas construidas a
partir de las proposiciones.

En lógica son únicamente 2 Verdadero (v) Falso (f), una tabla de verdad puede
incluir tantas proposiciones simples como sean necesarias, cada una listada en su
propia columna la tabla debe tener una fila por cada combinación de valores de verdad
de las preposiciones simples, si la tabla incluye dos proposiciones simples deberá
tener 4 fila si incluye 3 variables deberá contener 8 filas, si incluye 4 variables deberá
tener 16 filas y así sucesivamente.

Ejemplo
A B R
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

Una vez que hemos listado las combinaciones de valores de verdad, podemos
usar la tabla para calcular los posibles valores de verdad de proposiciones
compuestas que dependen únicamente de las preposiciones a su izquierda en los
casos más sencillos aplicaremos solamente una conectiva lógica a la preposición
simple, ahora bien para crear una tabla de verdad de una preposición más compleja
debemos:

1. Separar las preposiciones en posición cada vez más sencillas.

2. Agregar una columna en la tabla de verdad por cada sub preposición, las
columnas se deben organizar de forma que las preposiciones correspondientes
solo dependan de las preposiciones simples y de las sub proposiciones que se
encuentren a su izquierda.
 3. Calcular el valor de verdad para cada una de las sub proposiciones hasta llegar
a la proposición origina.

Una vez que hemos identificado las sub proposiciones las organizamos en la tabla
de verdad. Iniciamos con las preposiciones simples y agregamos una columna por
cada una de las proposiciones compuestas. Dado que tenemos proposiciones simples
debemos crear la tabla con 8 filas y listar todas las posibles combinaciones de su
valor de verdad.
Finalmente procedemos a calcular los valores de verdad de las proposiciones
iniciamos por la columna de la izquierda y procedemos hacia la derecha una columna
a la vez, en este ejemplo lo primero que debemos hacer es calcular los valores de
verdad de la expresión usando la definición de la negación estudiada en la lección.
Una vez que tenemos el valor de esta preposición podemos calcular el valor de la
conjunción con la preposición usando la definición de conjunción previamente
estudiada y asi sucesivamente hasta llegar a la columna de la extrema que nos da el
valor de verdad para la preposición compuesta que nos interesa

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

La tabla de verdad nos muestra los valores de verdad de la expresión por cada una
de las posibles combinaciones de los valores de verdad de las preposiciones
atómicas.

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

i. Enrique escribe cartas o lee versos, pero no estudia matemáticas.

 p∨ q~r
ii. Enrique escribe cartas y lee versos, o no escribe cartas y estudia
matemáticas.
p ∧ ∨ ~ q ∧ r
iii. No es cierto que Enrique escribe cartas, pero no estudia matemáticas.
~ p~ r
iv. No es cierto que Enrique estudia matemáticas o lee versos, pero no escribe
cartas.
~ r ∨ q ~ p

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

i. p→(q∧~p).
p q (~p) (q∧~p). (~p→ (q∧~p).
F F V F V
F V V V V
V F F F F
V V F F F

i.i [(𝑝→~𝑞)∧𝑞]→~𝑝

p q ~𝑞 (𝑝→(~𝑞)) (((𝑝→(~𝑞))) ∧𝑞) ~𝑝 ((((𝑝→(~𝑞))) ∧𝑞) →(~𝑞))

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

iii. [(𝑝→𝑞)∧~𝑝]→𝑝

p q (𝑝→𝑞) (~𝑝) (((𝑝→𝑞))∧(~𝑝 ((((𝑝→𝑞))∧(~𝑝)) ~𝑝)

)
F F V V V F
 F V V V V F
V F F F F V
V V V F F V

iv. [(~𝑝→~𝑞)∧((𝑝∧𝑞)→(𝑞→𝑝))]→~~~𝑞

p q ~𝑝 ~𝑞 ~𝑝→~𝑞 𝑝∧𝑞 𝑞→𝑝 𝑝∧𝑞→𝑞→ ~𝑝→~𝑞∧𝑝∧𝑞→𝑞→𝑝 ~~𝑞

𝑝
V V F F V V V V V V

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

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

contingencia.

i. (~𝑝→~𝑟)∨~𝑞 ( Contingencia)

p q r Resultado
V V V V
V V F V
V F V V
V F F V
F V V F
F V F V
F F V V
F F F V

ii. ~[~(𝑝→~𝑞)∧𝑟] ( Contingencia)

p q r Resultado
 V V V F
V V F V
V F V V
V F F V
F V V V
F V F V
F F V V
F F F V

iii. [(~𝑝∧~𝑞)∨𝑟→~𝑟→𝑝] ( Contingencia)

p q r Resultado
V V V V
V V F V
V F V V
V F F V
F V V V
F V F V
F F V V
F F F F

iv. (~𝑝∧~𝑞)→(𝑟∨~𝑝) ( Tautologias)

p q r Resultado
V V V V
V V F V
V F V V
V F F V
F V V V
F V F V
F F V V
F F F V
I.4 será evaluado a través de
Esquema o Diagrama creativo donde
señales las caracteristicas de los
aspectos teoricos relevantes de la
preposicion condicional y su
clasificacion.
 Caracteristicas de los Aspectos Teoricos Relevantes de la preposicion
condicional y su clasificacion

CARACTERISTICAS.

El enunciado condicional afirma que su antecedente implica su

consecuente.
No afirma que su antecedente sea verdadero, sino solamente
que si el antecedente es verdadero.
La implicación no dice que el consecuente sea verdadero, si no
que su consecuente es verdadero si el antecedente lo es.
La implicación material no requiere de una conexión real, sea
lógica definitoria, o causal entre el antecedente y el
consecuente. Todo lo que se afirma es que no se da el caso de
que el antecedente sea verdadero cuando el consecuente es
falso.

PREPOSICION
CONDICIONAL

CLASIFICACION.

El enunciado condicional afirma que su antecedente implica su

consecuente.
No afirma que su antecedente sea verdadero, sino solamente
que si el antecedente es verdadero.
La implicación no dice que el consecuente sea verdadero, si no
que su consecuente es verdadero si el antecedente lo es.
La implicación material no requiere de una conexión real, sea
lógica definitoria, o causal entre el antecedente y el
consecuente. Todo lo que se afirma es que no se da el caso de
que el antecedente sea verdadero cuando el consecuente es
falso.
I.5 será evaluado a través de la
resolución de ejercicios en atención a
la validez de un razonamiento
expresado en lenguaje natural o
simbólico mediante tablas de verdad.
I.5 Analizar de manera reflexiva la validez de un razonamiento expresado en
lenguaje natural o simbólico evaluado mediante tablas de verdad.

Consulta el material instruccional de la asignatura y ubica los contenidos. Procesa

ese material, utilizando las técnicas que consideres conveniente y posteriormente
realiza los ejercicios en atención a la validez de un razonamiento expresado en
lenguaje natural o simbólico mediante tablas de verdad.

Ejercicio 1: Demostrar que las siguientes expresiones son equivalentes.

i. 𝑝→(𝑞∧𝑟)≡(𝑝→𝑞)∧(𝑝→𝑟)

ii. [(𝑝∨𝑞)→𝑟]≡(𝑝→𝑟)∧(𝑞→𝑟)

iii. 𝑝→(𝑞∨𝑟)≡(𝑝→𝑞)∨(𝑝→𝑟)

iv [(𝑝∧𝑞)→𝑟]≡𝑝→(𝑞→𝑟)

Ejercicio 2: Determina la validez de los siguientes razonamientos y construye su tabla

de verdad.
 BIBLIOGRAFIA.

M. Garrido, (1995). Logica Simbolica. Tecno, Madrid, 3 era Edicion.

Chang. R. (2004). Anexo Explicativo Logica. Caracas Universidad Nacional Abierta.

Alfredo Deaño, (1999) Introduccion a la logica Formal 1era Edicion.