CONOCIENDO Y

APRENDIENDO
CADA VEZ MAS
VOL. 2
JUNIO DE 2022
LÓGICA, LENGUAJE, SILOGISMO,
CONCEPTUALIZACIÓN DE CONJUNTOS Y
MUCHO MÁS

Tipos de silogismo Diagrama venn

Relaciones entre conjunto Polinomio lógico

 ÍNDICE
5 ¿QUE ES LA LÓGICA?
Objetivos de la lógica, lógica
proporsicional, que es el lenguaje
9 NORMAS PRÁCTICAS
PARA EL ANÁLISIS DE
INFERENCIA
6 SINTESIS
El propósito de sintesis, la tabla
de la verdad 10 ¿QUE ES UN CONJUNTO?
Relaciones entre conjunto,
tipos de conjuntos
7 EL SILOGISMO
Definición, tipos de silogismo,
como se construye un silogismo y 11 OPERACIONES ENTRE
como se identifica CONJUNTOS
diferencia simétrica de dos
conjuntos, la unión de dos
8 ¿QUE ES INFERENCIA?
conjuntos AyB, la
Leyes y reglas lógicas de intersección de dos
inferencia conjuntos

58 CARDENAL DE UN
CONJUNTO FENITO
Relación entre la teoría de
conjuntos y las lógica
proporsicional
Editorial
En esta revista podrás conocer
sobre la lógica como el estudio del
razonamiento correcto la cual tiene
como objetivo diferenciar los
razonamientos correctos de los
incorrectos, exite la lógica
proporcional y la lógica simbólica.
tendrás conocimiento de los tipos
de silogismo que existen y se
explicara cómo se construye un
silogismo, como identificarlo, entre
otros temas de interés
 JOSRMITH
ESCORCHE
Se puede decir que un pasatiempo es una manera de pasar el rato y salir un
poco de lo rutinario. Precisamente en este breve espacio quiero mencionar mi
"pasatiempo" que no es otra cosa que leer libros, a pesar que en la actualidad
los libros estén un poco olvidados a causa de la tecnología, dicha actividad, la
cual les mencioné anteriormente, es mi pasatiempo favorito.

Y en mis días de semana, en mis ocupaciones, estudio en la universidad Simón

Rodríguez Administración ARMyF, y los fines de semana me dedico a realizar mis
asignaturas pendientes

Administracion ARMyF- 10100

 ¿Que es
la lógica?
Podemos pensar a la lógica como el estudio
del razonamiento correcto, en el
que las conclusiones se siguen necesaria e
La lógica proporcional es
la más simple que podemos considerar, se
relaciona con la matemática ya que
utiliza símbolos que a través de la tabla de

inevitablemente de las suposiciones, verdad, indican lo verdadero y lo

falso, se clasifican en dos tipos, las simples
su objetivo es diferenciar los razonamientos
son toda aquella en la que no hay
correctos (o válidos) de los
operadores lógicos, osea, la oración es
razonamientos incorrectos (o no válidos).
simple, también está la compuesta, que
por lo contrario, son aquellas que contiene
operadores lógicos

POR OTRO LADO EL LENGUAJE ES EL MEDIO

PRINCIPAL DE LA COMUNICACIÓN, AUNQUE
NO ES EL ÚNICO, ESTA COMPUESTA POR
SÍMBOLOS, SIGNOS COMO EL GUIÓN, LA
COMA, ETC… CABE DESTACAR QUE EXISTE EL
LENGUAJE NATURAL QUE ES EL QUE SE
UTILIZA A DIARIO PARA COMUNICARSE
ENTRE
HUMANOS. EL CASTELLANO, EL INGLÉS O EL
FRANCÉS SON EJEMPLOS DE LA LENGUA
NATURAL,
A DIFERENCIA DE LA LENGUA NATURAL, EL
LENGUAJE FORMAL ES LA MANERA
CUIDADOSA Y
CORRECTA EN LA QUE DESARROLLAMOS
NUESTRO IDIOMA, NO SE PERMITEN LAS
GROSERÍAS,
ESTA COMPUESTA POR SIGNOS Y SÍMBOLOS
CORRECTAMENTE, SE UTILIZA EN EVENTOS
FORMALES, ACTIVIDADES ACADÉMICAS Y
PARA EXPRESAR RESPETO; EL LENGUAJE
TIENE UN
USO VARIADO SEGÚN SU PROPÓSITO, SUS
FUNCIONES SON SEIS: REFERENCIAL,
EMOTIVA,
APELATIVA, POÉTICA, METALINGÜÍSTICA O
5 RACIONAL.
 ¿Cómo entender algo?
La síntesis se ocupa del uso de los símbolos y
signos sin importar su significado,
mientras que la semántica si le da importancia a
los significados de los signos y
símbolos, se puede decir que el propósito de la
lógica simbólica es ahorrar
tiempo en la argumentación y ayudar a prevenir
la confusión, se dice que los
elementos que forman un razonamiento son:
premisas, se basan en afirmar o
negar algún aspecto de la realidad, y está la
conclusión, es el resultado que se
tiene a partir de las premisas

Para ir concluyendo las tablas de la

Es de mencionar
que los operadores conectan proposiciones
y establecen operaciones entre
ellas, a menos que sea el conector “no”
porque niega una proposición y no
conecta con la otra, podemos adicionar que
la formalización de proposiciones
explica mejor sus propiedades y relaciones
lógicas como valides, consistencia,
etc…
verdad son un procedimiento para saber
si una fórmula proposicional bien
formada es válida o no. Por consiguiente
la equivalencia lógica se refiere a cuando
dos expresiones son equivalentes al
tener los mismo valores distribuidos de
igual forma, y para cerrar con este
modulo; Los arboles de la verdad se
resuelven de forma similar a una tabla
de verdad completa o derivada, pero se
caracterizan por la necesidad de conocer
el valor definitivo de cada variable.

6
 El silogismo y sus
tipos
Un silogismo es un argumento deductivo con
premisas principales y una premisa secundaria a
partir de la cual se puede llegar a una conclusión
determinada. Los silogismos de Aristóteles
tienen, en gran medida, contenido y significado
verdadero y objetivo. La escolastica y la lógica
formal dieron muerte al silogismo y centraron
toda su atención en la exposición de la forma
silogística (figuras y patrones).
Los principales tipos de silogismo son:
•Silogismo hipotético
•Silogismo categórico
•Silogismo disyuntivo
•Silogismo compuesto
¿Cómo se
construye y se
identifica?
Se compone de tres
proposiciones: dos premisas que
comprenden una mayor y una
menor, y luego una conclusión.
En estás proposiciones
encontramos tres términos: un
término mayor, un término
menor y un término medio.
Cada término se representa mediante un círculo y se
dibuja por parejas la relación entre los términos de las
premisas mayor y menor. Si al representar las premisas
queda presentada la conclusión, el silogismo es válido.

7
 ¿Que es
inferencia?
La inferencia es la capacidad
razonable de un individuo para
sacar información o conclusiones
que no están expresamente
establecidas. Puede darse por
escrito, oralmente o en cualquier
otra forma de comunicación.
Asimismo, puede ser el acto de
sacar conclusiones de algo que se
dice verdadero o falso.

"Leyes y reglas lógicas

de inferencias"
Son aquellas que demuestran las condiciones y premisas
con casos reales:

MODUS PONENDO MODUS TOLLENDO

PONENS (PP) TELLENS (TT)
El condicional o implicación es aquella Si de un condicional,
operación que establece entre dos aparece como premisa
enunciados una relación de causa-efecto. el en consecuente
La regla ‘ponendo penens’ significa, negado (el efecto), eso
“afirmando afirmo” y en un condicional nos conduce a negar el
establece, que si el antecedente (primer antecedente (la causa),
término, en este caso p) se afirma, puesto que si un efecto
necesariamente se afirma el consecuente no se da, su causa no
(segundo término, en este caso q). ha podido darse
8
 Normas prácticas para el
análisis de inferencias
•Si el enunciado se expresa en •Se identifican las premias y se
lenguaje natural, se normalizara traducen al lenguaje lógico,
asignando a casa proposición usando los conectores (conectivos
simple (atómica) una variable u operadores) logicos pertinentes
proposicional (p,q,r...) a la expresión empleando
considerando que si se repite la símbolos. Las premisas van
misma oración (proposición) se separadas entre sí por una
asignara siempre la misma conjunción (^) y la conclusión se
variable (no se asignará otra expresa como un condicional
variable)

•Se ponen las premisas y la •Se compara la conclusión final

conclusión en forma de esquema; obtenida del análisis inferencial
en otras palabras, se coloca la con la conclusión del enunciado, y
conclusión en la parte superior se verifica si es igual o hay alguna
(de forma visible) y se escriben las diferencia; si son iguales se
premisas enumerándolas una declara que la inferencia es
debajo de la otra, luego, se traza válida, en caso contrario se dirá
una línea que dividirá las que la inferencia es inválida (no
premisas del análisis inferencial válida)

•Se escribe la fórmula

proposicional; es decir, se traduce
a una fórmula proposicional o el
enunciado

9
¿Que es un conjunto?
Es la agrupación de diferentes
elementos que comparten entre
sí características y propiedades
Semejantes. Estos elementos
pueden ser sujetos u objetos,
tales como números, canciones,
meses, personas etc. Ejemplo: el

Tipos
conjunto de planetas del sistema
solar

Relaciones entre •Conjunto finitos

conjuntos •Conjunto infinito

•Conjunto unitario
Un conjunto A esta incluido en otro
•Conjunto vacío
conjunto B, si y solo si, todo elemento
•Conjunto homogéneo
de A es también elemento de B.
•Conjunto heterogéneo
Notación: A c B
Respecto a la relación entre
Se lee: A esta incluido en B, A es
conjuntos, pueden ser:
subconjunto de B, A esta contenido en
•Conjuntos equivalentes
B, A es parte de B.
•Conjuntos iguales

A las representaciones
visuales de los conjuntos
se le denomina diagramas
de venn

10
 Según Vigüez de Quiñónez las
operaciones con conjuntos son
formas específicas de combinar
conjuntos dados para obtener
nuevos conjuntos... de
construcción de nuevos conjuntos
a partir de conjuntos conocidos

En esta sección vamos a estudiar las

siguientes operaciones:

La diferencia entre dos conjuntos

A y B, A-B, es el conjunto que se La Unión de dos conjuntos A y B
forma con los elementos que
pertenecen al conjunto A pero no
pertenecen al conjunto B

La intersección de dos conjuntos

Diferencia simétrica de dos A y B es el conjunto formado por
conjuntos los elementos comunes a A y B, es
decir, los elementos que
simultáneamente pertenecen a A
y a B, en un conjunto referencial o
universal U.

11
 Cardenal de un conjunto finito
Sea un conjunto A que posee k elementos
distintos, con k € N; entonces, A es un
conjunto finito y tiene como cardinal al
número k de elementos. El cardinal de un
elemento A se nota como: #A o |A| o Card
(A) o n(A). Usualmente, se leen como
número de elementos del conjunto A o
cardinal del conjunto A

RELACIÓN ENTRE LA TEORÍA DE

CONJUNTOS Y LA LÓGICA PROPOSICIONAL

Perez destaca la relación muy estrecha que existe entre la

lógica proporsicional y la teoría de conjuntos. Al respecto
muestran esta relación de la siguiente manera:
Notación: Para los conjuntos letras mayúsculas del alfabeto
castellano A, B) y para las proposiciones las mismas letras (en
correspondencia) pero en minúsculas (a, b), mostrando la
proporción lógica que caracteriza a los elementos de cada
conjunto. Plantean la siguiente correspondencia:

12
13