El documento trata sobre conceptos básicos de lógica formal como el silogismo, las proposiciones simples y compuestas, los conectores lógicos y las tablas de verdad. Explica que la lógica formal estudia la inferencia a través de lenguajes formales y que el silogismo es una forma deductiva de razonamiento utilizada por Aristóteles. También define los diferentes tipos de proposiciones y operadores lógicos como la conjunción, disyunción y condicional, finalizando con una explicación de cómo funcionan

1. PUNTO 1
La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se
dedica al estudio de la inferencia mediante la construcción de lenguajes formales,
sistemas deductivos y semánticas formales. La idea es que estas construcciones
capturen las características esenciales de las inferencias válidas en los lenguajes
naturales, pero que al ser estructuras formales y susceptibles de análisis
matemático, permiten realizar demostraciones rigurosas sobre ellas.
PUNTO 2
El silogismo es una forma de razonamiento deductivo que consta de
dos proposiciones como premisas y otra como conclusión, siendo la última
una inferencia necesariamente deductiva de las otras dos. Fue formulado por
primera vez por Aristóteles, ampliamente reconocido como padre fundador de la
lógica. El silogismo es la noción central de la lógica aristotélica, pilar fundamental
del pensamiento científico y filosófico desde su invención hace más de dos milenios.
PUNTO 3
¿QUE ES UN ENLACE?
En lingüística, se denomina conector a una palabra que es un elemento gramatical
que une partes de un texto le da una relación lógica en las oraciones
EJEMPLOS
Comparativas: Establecen comparación (como, más que, menos que, igual que,
tal como, mejor que, peor que)
Causales: Indican causa de lo expresado (pues, porque, puesto que, ya que)
Disyuntivas: Indican opción o selección [ o, u, o bien ]
Adversativas: Indican oposición[ Pero, más, aunque, sino, sin embargo ]
PUNTO 4 y 5
PROPOSICIONES SIMPLES: tambien denominadas proposiciones atómicas. Son
aquellas proposiciones que no se pueden dividir.
Ejemplos:
 El cielo es azul. * La Luna es redonda * Andrea y Camila
PROPOSICIONES COMPUESTAS: tambien denominadas moleculares. Son
aquellas que están formadas por dos o más proposiciones simples unidas por los
operadores lógicos.
Ejemplos:
 Fui al banco, pero el banco estaba cerrado.
 Los lectores de este libro son jóvenes o universitarios.
 Si el miércoles próximo me saco la lotería entonces te regalare un auto.

2. PUNTO 6
un enunciado es un acto de habla (acto locutivo) mínimo, realizado mediante
una oración o una expresión sintáctica más pequeña que una oración.
Informalmente se usa enunciado como sinónimo de oración, aunque
pragmáticamente existen diferencias. Por ejemplo, una misma oración dicha en
diferentes contextos corresponde a enunciados diferentes. Y viceversa, diferentes
oraciones pueden realizar o concretar un mismo enunciado:
Quiero que saques la basura.
¿Puedes sacar la basura?
Saca la basura, por favor.
¿Quieres sacar la basura?
PUNTO 7
Tablas de verdad o tabla de valores de verdad, es una tabla que muestra el valor
de verdad de una proposición compuesta, para cada combinación de valores de
verdad que se pueda asignar a sus componentes.
Estas tablas pueden construirse haciendo una interpretación de los signos lógicos
como: no, o, y, si…entonces, sí y sólo si. La interpretación corresponde al sentido
que estas operaciones tienen dentro del razonamiento. Puede establecerse una
correspondencia entre los resultados de estas tablas y la deducción
lógico matemática. En consecuencia, las tablas de verdad constituyen un método
de decisión para chequear si una proposición es o no un teorema. Para la
construcción de la tabla se asignará el valor 1(uno) a una proposición cierta y 0
(cero) a una proposición falsa.
 Negación: El valor de verdad de la negación es el contrario de la proposición
negada.
 La conjunción sirve para indicar que se cumplen dos condiciones
simultáneamente, por ejemplo:
La función es creciente y está definida para los números positivos, utilizamos Para
que la conjunción p^q sea verdadera las dos expresiones que intervienen deben
ser verdaderas y sólo en ese caso como se indica por su tabla de verdad.
 Disyunción: La disyunción solamente es falsa si lo son sus dos componentes.
Con la disyunción a diferencia de la conjunción, se representan dos expresiones
que afirman que una de las dos es verdadera, por lo que basta con que una de
ellas sea verdadera para que la expresión p ∨ q sea verdadera.
 Condicional: El condicional solamente es falso cuando el antecedente es
verdadero y el consecuente es falso. De la verdad no se puede seguir la
falsedad.

3.  PUNTO 8
La conjunción es un operador, que actúa sobre dos valores de verdad, típicamente los valores
de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas
proposiciones son verdaderas, y falso en cualquier otro caso. Es decir, es verdadera cuando
ambas son verdaderas
CONJUNCIÓN
La conjunción es un operador que opera sobre dos valores de verdad, típicamente
los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones son verdaderas, y falso en
cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas.
Tabla de verdad de la conjunción

4. CONDICIONAL
El condicional material es un operador que opera sobre dos valores de verdad,
típicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad falso sólo cuando la primera proposición es verdadera y la segunda falsa,
yverdadero en cualquier otro caso.
La condicional de dos proposiciones p, q da lugar a la proposición; si p entonces
q, se representa por p → q
Tabla de Verdad Condicional

5. BICONDICIONAL
El bicondicional o doble implicación es un operador que funciona sobre dos valores
de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de
verdad, y falso cuando sus valores de verdad difieren.
Tabla de Verdad Bicondicional
DISYUNCIÓN
La disyunción es un operador que opera sobre dos valores de verdad, típicamente
los valores de verdad de dos proposiciones, devolviendo el valor de

6. verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas
lo son, y falso cuando ambas son falsas.
Tabla de verdad de la disyunción