ÓGICA

ATEM
TICA
V
Contenido
Introducción.......................................................................................................................................2

1 Marco Teórico............................................................................................................................3

1.1 Antecedentes.........................................................................................................................3

2 Lógica.......................................................................................................................................4

2.1 Concepto de Lógica......................................................................................................................4

2.2 Concepto de Lógica Matemática.................................................................................................4

2.3. Concepto de Proposiciones, enunciados y oraciones en la LÓGICA......................................5

2.3.1 Proposiciones.....................................................................................................................5

2.3.2. Enunciados.........................................................................................................................6

2.3.3 Oraciones............................................................................................................................7

3 Clasificación de Proposiciones...................................................................................................7

3.2 Proposiciones Compuestas...............................................................................................8

Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o
términos de enlace entre oraciones componentes...............................................................................8

3.3. Proposición matemática abierta..............................................................................................8

3.4 Proposición matemática conjuntiva........................................................................................9

3.5. Proposición matemática disjuntiva.........................................................................................9

4. Conectivas Lógicas......................................................................................................................9

5. Simbolización de proposiciones y argumentos.........................................................................13

5.1 La técnica de la formalización comprende los siguientes pasos:..........................................13

6. Valor de Certeza funcional de la preposición: Negación, Conjunción, Disyunción Condicional

y Bicondicional................................................................................................................................14

7. Definición, Clasificación y Objeto de Estudio de la Lógica........................................................18

7.1 Según su objeto de estudio...................................................................................................19

8. Definición y propósitos de los argumentos..............................................................................21

1
8.1 Definición de Argumento.....................................................................................................21

8.2 Propósito de argumento lógico.............................................................................................21

9 Enfoque lógico en el análisis de los Argumentos.....................................................................22

10. Inferencias y Falacias..................................................................................................................22

10.1 Falacias Formales.................................................................................................................24

10.2 Inferencias........................................................................................................................25

Conclusión........................................................................................................................................26

Bibliografía.......................................................................................................................................27

2
Introducción

El propósito de este trabajo, es enseñarles que es la lógica, y como se utiliza ésta dentro de
las matemáticas, no obstante, se conocerán desde que momento fueron introuccidas, y
como fueron evolucionando. Conoceremos de sus porposiciones, enunciados y oraciones,
su simbolización y valor de las proposiciones de cada una.
La lógica nace en el seno de la filosofía, pero tal como ocurrió con otras disciplinas su
ámbito de estudio y de conocimiento dejó de ser parte exclusiva de la filosofía, para
integrarse al campo general de la ciencia. Sin embargo, hoy por hoy el discurso
argumentativo es el vehículo de expresión básico en el que hacer filosófico, por lo tanto se
puede decir que la lógica es una de las pocas herramientas de análisis y crítica de que
dispone el filósofo. Varias discusiones filosóficas presuponen el uso de principios lógicos
básicos y el uso del análisis lógico puede ayudar a esclarecer los planteamientos de varios
problemas filosóficos, de ahí la importancia de estudiar lógica en el campo de la filosofía.
El proyecto de aprendizaje Introducción a la lógica pretende pues, proporcionar a los
participantes; los conocimientos teóricos primordiales en el campo de la lógica, que le
permitan el desarrollo de habilidades y actitudes básicas para el aprecio y buen uso de la
lógica en el terreno filosófico.

3
1 Marco Teórico

1.1 Antecedentes

La historia de la lógica documenta el desarrollo de la lógica en varias culturas y tradiciones

a lo largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de
razonamiento, e, incluso, el pensamiento lógico estaba ya implícito en Babilonia en algún
sentido, la lógica como análisis explícito de los métodos de razonamiento ha recibido un
tratamiento sustancial solo originalmente en tres tradiciones: la Antigua China, la Antigua
India y la Antigua Grecia.
Aunque las dataciones exactas son inciertas, particularmente en el caso de la India, es
probable que la lógica emergiese en las tres sociedades hacia el siglo IV a. C. El
tratamiento formalmente sofisticado de la lógica proviene de la tradición griega,
especialmente del Organon aristotélico, cuyos logros serían desarrollados por los lógicos
islámicos y, luego, por los lógicos de la Edad Media europea. El descubrimiento de la
lógica india entre los especialistas británicos en el siglo XVIII influyó también en la lógica
moderna.
La historia de la lógica es producto de la confluencia de cuatro líneas de pensamiento, que
aparecen en momentos históricos diferentes:1 La lógica aristotélica, seguida de los aportes
de los megáricos y los estoicos. Siglos después, Ramon Llull y Leibniz estudiaron la
posibilidad de un lenguaje único, completo y exacto para razonar. Al comienzo del siglo
XIX las investigaciones en los fundamentos del álgebra y la geometría, seguidos por el
desarrollo del primer cálculo completo por Frege. Ya en el siglo XX, Bertrand
Russell y Whitehead culminaron el proceso de creación de la lógica. A partir de este
momento no cesarán de producirse nuevos desarrollos y de nacer escuelas y tendencias.

2 Lógica

Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en

China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de
la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica
matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso
una ciencia formal independiente.

4
2.1 Concepto de Lógica

La lógica es la ciencia formal y rama tanto de la filosofía como de las matemáticas que

estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y
la noción de verdad.

2.2 Concepto de Lógica Matemática

La lógica matemática es la rama más matemática de la lógica, que estudia la inferencia

mediante sistemas formales como la lógica proposicional, la lógica de primer orden y
la lógica modal. La lógica computacional es la aplicación de la lógica matemática a
las ciencias de la computación. La lógica filosófica utiliza los métodos y resultados de la
lógica moderna para el estudio de problemas filosóficos.
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica
formal o logística,26 es el estudio formal y simbólico de la lógica, y su aplicación a algunas
áreas de la matemática y la ciencia. Comprende la aplicación de las técnicas de la lógica
formal a la construcción y el desarrollo de las matemáticas y el razonamiento matemático, y
conversamente la aplicación de técnicas matemáticas a la representación y el análisis de la
lógica formal. La investigación en lógica matemática ha jugado un papel crucial en el
estudio de los fundamentos de las matemáticas.
La lógica matemática estudia la inferencia mediante la construcción de sistemas
formales como la lógica proposicional, la lógica de primer orden o la lógica modal. Estos
sistemas capturan las características esenciales de las inferencias válidas en los lenguajes
naturales, pero al ser estructuras formales susceptibles de análisis matemático, permiten
realizar demostraciones rigurosas sobre ellas.
La lógica matemática se suele dividir en cuatro áreas: teoría de modelos, teoría de la
demostración, teoría de conjuntos y teoría de la computabilidad. La teoría de la
demostración y la teoría de modelos fueron el fundamento de la lógica matemática. La
teoría de conjuntos se originó en el estudio del infinito por Georg Cantor y ha sido la fuente
de muchos de los temas más desafiantes e importantes de la lógica matemática, a partir
del teorema de Cantor, el axioma de elección y la cuestión de la independencia de
la hipótesis del continuo, al debate moderno sobre grandes axiomas cardinales. La lógica
matemática tiene estrechas conexiones con las ciencias de la computación. La teoría de la
computabilidad captura la idea de la computación en términos lógicos y aritméticos. Sus
logros más clásicos son la indecidibilidad del Entscheidungsproblem de Alan Turing y su
presentación de la tesis de Church-Turing. Hoy en día, la teoría de la computabilidad se
ocupa principalmente del problema más refinado de las clases de complejidad (¿cuándo es

5
un problema eficientemente solucionable?) y de la clasificación de los grados de
insolubilidad.
La lógica matemática también estudia las definiciones de nociones y objetos matemáticos
básicos como conjuntos, números, demostraciones y algoritmos. La lógica matemática
estudia las reglas de deducción formales, las capacidades expresivas de los diferentes
lenguajes formales y las propiedades metalógicas de los mismos.
En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no
válido un argumento dado dentro de un determinado sistema formal. En un nivel avanzado,
la lógica matemática se ocupa de la posibilidad de axiomatizar las teorías matemáticas, de
clasificar su capacidad expresiva, y desarrollar métodos computacionales útiles en sistemas
formales. La teoría de la demostración y la matemática inversa son dos de los
razonamientos más recientes de la lógica matemática abstracta. Debe señalarse que la
lógica matemática se ocupa de sistemas formales que pueden no ser equivalentes en todos
sus aspectos, por lo que la lógica matemática no es un método para descubrir verdades del
mundo físico real, sino sólo una fuente posible de modelos lógicos aplicables a teorías
científicas, muy especialmente a la matemática convencional.
Por otra parte, la lógica matemática no estudia el concepto de razonamiento humano
general o el proceso creativo de construcción de demostraciones matemáticas mediante
argumentos rigurosos pero con lenguaje informal con algunos signos o diagramas, sino sólo
de demostraciones y razonamientos que se pueden formalizar por completo.

2.3. Concepto de Proposiciones, enunciados y oraciones en la LÓGICA

Oración, enunciado y proposición son tres términos considerados cuasisinónimos en textos de
descripción informal de las lenguas. Sin embargo, formalmente es conveniente distinguirlos para
representar varios aspectos sintácticos, pragmáticos y lógicos de un acto de habla

2.3.1 Proposiciones

Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas
a la vez. Toda proposición consta de tres partes: un sujeto, un verbo y un complemento
referido al verbo. La proposición es un elemento fundamental de la Lógica Matemática.
es un concepto con diferentes usos. Puede tratarse de la manifestación de algo para que
otros individuos conozcan una intención, de la concreción de una propuesta o de un
enunciado que puede resultar falso o verdadero.
La matemática, por otra parte, es la ciencia dedicada al
análisis de las entidades abstractas, como números,

6
figuras geométricas y símbolos, y de sus propiedades. Como adjetivo, el término refiere a
todo lo vinculado con esta disciplina deductiva.
Después de estas aclaraciones, podemos centrarnos en las proposiciones matemáticas. Una
proposición matemática es una expresión algebraica que puede acarrear dos valores:
ser verdadera o ser falsa, aunque nunca ambas a la vez.
Denominadas a través de letras minúsculas, las proposiciones matemáticas tienen un valor
de verdad (que será la veracidad o la falsedad de su enunciado). De acuerdo a sus
características, es posible distinguir entre proposiciones simples (que carecen de
conectores lógicos) y proposiciones compuestas (cuentan con más de un conector lógico).
Dentro de estos grupos también pueden advertirse otras clasificaciones: proposiciones
relacionales, proposiciones predicativas, etc.
Las proposiciones matemáticas pueden ser vistas como expresiones de juicio que no pueden
resultar verdaderas y falsas de manera simultánea. Por ejemplo:
a: 9 es múltiplo de 3
Dicha expresión es una proposición matemática que resulta verdadera, ya que 3 x 3 es igual
a 9 y, por lo tanto, 9 es uno de los infinitos múltiplos de 3. Como decíamos líneas arriba, la
proposición matemática también puede ser falsa:
b: 7 es múltiplo de 3
En este caso, la proposición es falsa ya que 7 no está entre los múltiplos de 3 (3 x 2 = 6, 3 x
3 = 9).

2.3.2. Enunciados

Definir un término nuevo supone hacer uso de otros términos cuyos significados se tienen claros.
La definición P9 "proposición es un enunciado que puede ser verdadero o falso", tal vez por su
brevedad, suele ser mencionada por los docentes de matemáticas (y estudiantes) cuando se les
pregunta por el significado de proposición. P9 considera la proposición como un enunciado. Esto
mismo lo encontramos en las definiciones P2, P3, P4, P6 y P8 que también refieren a enunciado.
De aquí que resulta justificado revisar y precisar el significado de enunciado. La definición P9,
tomada de un texto universitario, define proposición como un enunciado, pero en el texto no se
precisa qué se entiende por enunciado. Esto mismo ocurre con el texto del 5to grado de donde se
tomó P3. De las seis definiciones que se refieren a proposición como enunciado, cuatro de ellas
definen el término enunciado. Lo contrario ocurre en la definición P11 en la cual Chávez (1997) no

7
refiere proposición como enunciado, sin embargo en E5 brinda, de forma muy simple, la noción de
este término.

2.3.3 Oraciones
La oración es la secuencia sintáctica que sirve para realizar un determinado enunciado o
parte del mismo. Una oración enunciativa o declarativa es una entidad gramatical que
comunica una situación o estado de hechos. Podemos afirmar que una oración declarativa
sirve para reflejar el contenido de una determinada proposición.
El contenido semántico de la oración involucra una proposición o varias proposiciones. Así,
pues, tenemos los siguientes casos:

 a. Oraciones que realizan una proposición y al mismo tiempo un enunciado:

(4) Juan llega tarde.

(5) Duermes demasiado.
(6) Me gusta que vengan.
En (4) y (5) tenemos oraciones simples cuyo contenido semántico involucra una sola
proposición. En cambio, en (6) tenemos una oración compuesta.

 b. Fragmentos que no son oraciones pero aun así realizan un enunciado:

(7) ¡Cuánta miseria!
(8) ¡Un café!
(9) ¡Qué tarde!
En estos tres casos estamos ante fragmentos (aunque podrían considerarse oraciones si
fuéramos capaces de recuperar el verbo del contexto). Es decir, dentro de un contexto
determinado (ejemplo: ¡Camarero, póngame un café! en una situación cotidiana).

 c. Tienen contenido proposicional pero sin ser oraciones:

(10) ... que me diga esto.

(11) ... de quien te lo dejo.
(12) ... sólo si insistes.
En este caso, tenemos una articulación de sujeto y predicado pero sin sentido completo.
Consecuentemente, no podemos considerarlos como proposiciones.

8
3 Clasificación de Proposiciones

En adelante cuando hablemos de proposiciones, éstas serán lógicas. Si son abiertas,

significará que el conjunto de sustituciones está bien definido y la harán verdadera o falsa.
Para operar con las proposiciones, éstas se clasifican en dos tipos: Simples y Compuestas,
dependiendo de cómo están conforma

3.1 Proposiciones Simples

Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o
términos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . .
entonces"). Pueden aparecer términos de enlace en el sujeto o en el predicado, pero no entre
oraciones.

3.2 Proposiciones Compuestas

Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o
términos de enlace entre oraciones componentes.

Ejemplos
Ensayemos una lista clasificada y luego algunas aclaraciones:
     1)  Carlos Fuentes es un escritor.                                           (Simple)
     2)  Sen(x) no es un número mayor que 1.                              (Compuesta)
     3)  El 14 y el 7 son factores del 42.                                         (Simple)
     4)  El 14 es factor del 42 y el 7 también es factor del 42.        (Compuesta)
     5)  El 2 o el 3 son divisores de 48.                                          (Simple)
     6)  El 2 es divisor de 48 o el 3 es divisor de 48.                      (Compuesta)
     7)  Si x es número primo, entonces x impar.                         (Compuesta)
     8)  Si x > 10, entonces 2x - 3 > 16.                                          (Compuesta)
     9)  No todos los números primos son impares.                       (Compuesta)

Algunas aclaraciones
a) No obstante que los ejemplos 3) y 4) gramaticalmente significan lo mismo,
operativamente se consideran distintos. Similarmente 5) y 6).
b) A veces proposiciones como la 8), aparecen escritas de la forma: 2x - 3 > 16, si x > 10.

3.3. Proposición matemática abierta

9
Hay ciertas afirmaciones de las cuales no podemos anticipar su valor de verdad a simple
vista, ya que en su contenido existe al menos una variable, cuyo valor se desconoce. Luego
de observarla y analizarla, pueden llevarse a cabo los cálculos necesarios para dar con uno
de los valores capaces de reemplazarla, para finalmente estar en condiciones de asegurar se
la proposición es verdadera o falsa.
En algunos casos, las variables pueden ser reemplazadas por más de un valor, los cuales
forman parte de un conjunto que se denomina dominio de la variable. A su vez, el conjunto
que se forma por los elementos de dicho dominio que vuelven la proposición abierta
verdadera recibe el nombre de conjunto solución de la proposición abierta.
3.4 Proposición matemática conjuntiva
Cuando se unen dos proposiciones a través del símbolo de conjunción (^), se habla de
proposición conjuntiva, la cual debe cumplir la siguiente condición: sólo puede tener un
valor de verdad verdadero si sus dos componentes también lo son; en cambio, si al menos
una de ellas arroja el valor falso, entonces la proposición conjuntiva es falsa.
Dado que se trata de la relación entre dos conjuntos, también es posible determinar aquellos
elementos que forman parte de ambos dominios de variables, los cuales pertenecen al
conjunto intersección de ambas proposiciones matemáticas.
3.5. Proposición matemática disjuntiva
En este caso, también se conectan dos proposiciones, pero se utiliza el símbolo opuesto al
anterior, que se puede leer como la palabra «o», dado que propone una relación
caracterizada por el siguiente requisito: la proposición disjuntiva sólo podrá tener un valor
verdadero si sus dos componentes resultan falsas, mientras que basta con que una de ellas
sea verdadera para que la primera también lo sea.

4. Conectivas Lógicas

Una conectiva lógica, o también conectiva, (también llamado operador lógico o conectores

lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o
sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula
compuesta depende del valor de verdad de las fórmulas componentes.

10
Los conectivos lógicos más comunes son los conectivos binarios (también
llamados conectivos diádicos) que unen dos frases, que pueden ser consideradas los
operandos de la función. También es común considerar a la negación como un conectivo
monádico.
Las conectivas lógicas son, junto con los cuantificadores, las principales constantes
lógicas de muchos sistemas lógicos, principalmente la lógica proposicional y la lógica de
predicados.
En programación se utilizan para combinar valores de verdad y obtener nuevos valores que
determinen el flujo de control de un algoritmo o programa.

En los lenguajes formales, las funciones de verdad son representadas por símbolos
inequívocos. Estos símbolos se llaman "conectivos lógicos", "operadores lógicos",
"operadores proposicionales", o, en la lógica clásica, la "de funciones conectivos de
verdad." Véase fórmulas bien formadas para saber las reglas que permiten las nuevas
fórmulas bien formadas sean construidas al juntar otras fórmulas bien formadas utilizando
conectivos de funciones de verdad.
Los conectivos lógicos pueden ser utilizados para conectar más de dos afirmaciones,
entonces es común hablar de "conector lógico n-ario".

Ejempl
Análogo Ejemplo de uso en Tabla de
Conectiva Notación o
natural el lenguaje natural verdad
de uso

Negación no No está lloviendo.

Está lloviendo y la calle

Conjunción y
está mojada.

Está lloviendo o la calle

Disyunción o
está mojada.

Si está
Condicional si...
lloviendo, entonces la calle
material entonces
está mojada.

si y solo Está lloviendo si y solo

Bicondicional
si si la calle está mojada.

11
 Negación Ni está lloviendo ni la calle
ni... ni
conjunta está mojada.

Disyunción o bien... o O bien está lloviendo, o

excluyente bien bien la calle está mojada.

CONECTIVOS COMUNES

Conectivos lógicos comúnmente usados:

 Negación (no): ¬, ~

 Conjunción lógica (y): ∧, y, ∙

 Disyunción lógica (o): ∨

En el caso de la disyunción 'o', tiene dos significados diferentes: "Inclusivo" y "Exclusivo".

Inclusivo: En este caso, para que la proposición sea cierta, tiene que ser verdadero uno o
todos los elementos de la premisa.
Exclusivo: El 'o' exclusivo o Xor. En una premisa, p o q es verdadero, pero no ambos
pueden serlo.

 Condicional material (Si.. entonces): →, ⇒, ⊃

 Bicondicional (si y solo si): ↔, ≡, =

Nombres alternativos para bicondicional son "sii", "xnor" y "bi-implicación."

Por ejemplo, el significado de los estados está lloviendo y estoy en el interior se transforma
cuando los dos se combinan con conectivos lógicos:

 No está lloviendo

 Está lloviendo y estoy dentro de casa (P ∧ Q)

 Está lloviendo o estoy dentro de casa (P ∨ Q)

 Si está lloviendo, entonces estoy en casa. (P → Q)

 Si estoy en casa, entonces está lloviendo. (P ← Q)

 Estoy dentro si y solo si está lloviendo (P ↔ Q)

 No está lloviendo (¬ P)

Por declaración P = Está lloviendo; Q = Estoy dentro de casa.

12
 Valor de verdad Diagrama
Nombre / Símbolo
P = 0 1 desmall

Verdad/Tautología ⊤   1 1
También es común considerar la
Falso/Contradicción ⊥   0 0 fórmula siempre verdadera y la
fórmula siempre falsa como
Proposición P   0 1 conectivos

 Verdadero (⊤, 1 o T)
Negación ¬   1 0
 Falso (⊥, 0 o F)
Conectivos binarios Q = 0 1 0 1

Conjunción ∧ 0 0 0 1

Conjunción Opuesta ↑ 1 1 1 0

Disyunción ∨ 0 1 1 1

Disyunción Opuesta ↓ 1 0 0 0

Condicional material → 1 1 0 1

O exclusivo 0 1 1 0

Bicondicional ↔ 1 0 0 1

Implicación Opuesta ← 1 0 1 1

Proposición P 0 0 1 1

Proposición Q 0 1 0 1

CONECTIVOS LÓGICOS

13
5. Simbolización de proposiciones y argumentos

Para denotar proposiciones se utilizan letras minúsculas tales como p, q, r, s, t, u, etc.,

seguidas de dos puntos (:); el enunciado se escribe entre comillas dobles (“ ”).

Ejemplo: denote las siguientes proposiciones

. p: “La ciudad de Medellín es la capital del departamento de Antioquia”

. q: “4+2x=3 con x=- 0.5”

. r: ”El número 3 es primo”

14
. s: ”El sol es un astro”

. t: “las estrellas son planetas”

. u: “Barranquilla es capital de Quindío”

5.1 La técnica de la formalización comprende los siguientes pasos:

1. Se explicita su forma lógica empleando las conjunciones gramaticales y el adverbio ‘no’

en sustitución de expresiones equivalentes. Podemos empezar determinando las
proposiciones simples, y los nexos y/o negaciones.
2. Se halla su fórmula reemplazando cada proposición atómica por una variable
proposicional, las conjunciones gramaticales por sus operadores lógicos correspondientes y
el adverbio ‘no’ por el operador negativo.
3. Los signos de agrupación se usan para establecer jerarquía entre los operadores de una
fórmula lógica, pero solo cuando su omisión la hace ambigua.
4. Se determina si la fórmula resultante es una fórmula bien formada (fbf)

6. Valor de Certeza funcional de la preposición: Negación,

Conjunción, Disyunción Condicional y Bicondicional

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 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

(Ir a 3.1.3 Tablas de Verdad)
p v q (se lee: ” p o q”)

15
EJEMPLOS:
p = ” El numero 2 es par”
q = ” la suma de 2 + 2 es 4″
entonces…
pvq: “El numero 2 es par o la suma de 2 + 2 es 4″

p = ” La raíz cuadrada del 4 es 2”
q = ” El numero 3 es par″
entonces…
pvq: “La raíz cuadrada del 4 es 2 o el numero 3 es par”

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

(Ir a 3.1.3 Tablas de Verdad)

16
 p ^ q (se lee: ” p y q”)
EJEMPLOS:
p = ” El numero 4 es par”
q = ”Siempre el residuo de los números pares es 2″
entonces…
p^q: “El numero 4 es par y Siempre el residuo de los números pares es 2″

p = ” El numero mas grande es el 34”

q = ”El triangulo tiene 3 lados″
entonces…
p^q: “El numero mas grande es el 34 y El triangulo tiene 3 lados”

NEGACIÓN

La negación es un operador que se ejecuta. sobre un único valor de verdad, devolviendo el

valor contradictorio de la proposición considerada.

17
Tabla de verdad de Negación
(Ir a 3.1.3 Tablas de Verdad)
EJEMPLOS
p:  “4 + 4 es igual a 9”
-p: “4 + 4 no es igual a 9″

p:  “El 4 es un numero par”

-p: “El 4 no es un numero par”

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

 (Ir a 3.1.3 Tablas de Verdad)

18
EJEMPLOS
p:  “llueve”
q: “hay nubes”
p→q: “si llueve entonces hay nubes”

p:  “Hoy es miércoles”
q: “Mañana será jueves”
p→q: “Si Hoy es miércoles entonces Mañana será jueves”

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

 (Ir a 3.1.3 Tablas de Verdad)
EJEMPLOS

19
p:  “10 es un número impar”
q: “6 es un número primo”
p↔q: “10 es un número impar si y solo si 6 es un número primo”

p:  “3 + 2 = 7”
q: “4 + 4 = 8”
p↔q: “3 + 2 = 7  si y solo si 4 + 4 = 8″

7. Definición, Clasificación y Objeto de Estudio de la Lógica.

Lógica es una ciencia formal que estudia la estructura o formas del pensamiento humano (como
proposiciones, conceptos y razonamientos) para establecer leyes y principios válidos para obtener
criterios de verdad.

Como adjetivo, 'lógico' o 'lógica' significa que algo sigue las reglas de la lógica y de la razón. Indica
también una consecuencia esperable natural o normal.

Se utiliza también para referirse al llamado 'sentido común'. Procede del latín logĭca, y a su vez del
griego λογική (logike, 'que posee razón, 'intelectual', 'dialéctico', 'argumentativo'), que a su vez
deriva de la palabra λόγος (logos,  'palabra', 'pensamiento', 'razón', 'idea','argumento').

Lógica proposicional, matemática o simbólica

La lógica proposicional es la rama de la lógica que estudia las variables proposicionales, las
conectivas lógicas ( ). Algunos autores también la identifican con la lógica
matemática o la lógica simbólica, ya que utiliza una serie de símbolos especiales que la acercan al
lenguaje matemático. Las proposiciones pueden ser verdaderas o falsas.

Lógica filosófica

Se suele considerar que la lógica forma parte de la Filosofía, aunque la lógica, como tal, se aplica
en diversas áreas y actividades del ser humano.

La lógica filosófica utiliza cuatro principios fundamentales que establecen los procesos de
pensamiento correcto. Estos principios son el principio de identidad, el principio de no
contradicción, el principio de tercero excluído y el principio de razón suficiente.

Vea también Positivismo.

Lógica formal y lógica informal

20
La lógica formal es aquella cuyo objeto de estudio son las inferencias de forma técnica mediante la
utilización de sistemas deductivos y lenguajes y semánticas formales. La lógica informal, por su
parte, estudia sistemas de razonamiento y argumentación naturales a través del lenguaje y el
pensamiento cotidiano.

Lógica aristotélica

Es la lógica que se basa en los estudios de Aristóteles, filósofo griego del siglo IV a.C. La lógica
aristotélica utiliza los llamados silogismos, que se trata de una deducción o forma de razonamiento
en el que se establecen unas premisas de las que se infiere una conclusión.

Se trata, por lo tanto, de un concepto semejante a argumentos deductivamente válidos. Un

ejemplo clásico de la lógica aristotélica es: 'Todos los hombres son mortales. Todos los griegos son
hombres. Por lo tanto, todos los griegos son mortales'.  Las dos primeras frases serían las premisas
y la tercera la conclusión.

Lógica difusa

El concepto de lógica difusa procede del inglés ('fuzzy logic'). Es un tipo de lógica que utiliza
valores aleatorios pero contextualizados y relacionados entre sí estableciendo lo relativo de lo
observado como posición diferencial. La lógica difusa se aplica en diversas áreas como la
informática y la industria.

A lo largo de la historia se han dado varias definiciones de lógica. Según Sergio Custodio
en su libro Introducción a la lógica, la lógica puede ser vista de tres maneras: según su
objeto de estudio, según su método y como ciencia.
7.1 Según su objeto de estudio
Como toda ciencia, la lógica tiene su propio objeto de estudio. Aunque no posee un sólo
objeto de estudio, si tiene una jerarquía de objetos. El más primitivo -por se el origen del
pensar lógico- es el concepto. Y a partir de él podemos aplicar el pensar lógico. Es
necesario relacionar conceptos, y con estas relaciones formulamos juicios y la relación de
juicios nos lleva a los razonamientos. Siendo éste último, el objeto propio de la lógica, ya
que en "él se reúnen todas las condiciones necesarias para establecer todas las relaciones
lógicas posibles entre conceptos y juicios" (Sergio Custodio. Introducción a la lógica, p.
18).
De esta forma, se suele definir a la lógica en relación a su objeto de estudio como la
"ciencia que se ocupa de las relaciones entre premisas y conclusiones", así. como las
condiciones o reglas que permiten pasar de un grupo o conjunto de premisas a obtener
acertadamente una conclusión.

21
Para la lógica, pensar es derivar conclusiones a partir de premisas, de tal manera que a la
lógica se le ha dado en llamar ciencia de la evidencia, dado que sólo le interesa el
razonamiento o argumento correcto.
Según su método
Toda actividad humana posee un método, es decir, una manera propia de estudiar su objeto
de estudio. Ya indicamos que el objeto de estudio de la lógica es el razonamiento, mientras
que su método es por una parte formal y por otra, orientada al razonamiento. Por ello,
decimos que la lógica es la ciencia de las formas de pensar, razonar o argumentar. Esto es
adecuado, ya que la lógica se interesa por las formas que se originan en el pensamiento. La
lógica se define como ciencia formal, ya que estudia las formas y no los contenidos,
formas que se dirigen al razonamiento o a la argumentación.
Como ciencia
Para que la lógica sea considerada como ciencia, además de poseer un objeto y un método,
es necesario que también sea sistemática.
Es común considerar que el hombre piensa, y ha pensado acerca de la naturaleza, la
sociedad y sobre sí mismo. Pero, pensar sólo es posible bajo ciertas condiciones, más
cuando se trata de comunicar estos pensamientos.
Decimos que, la lógica nos enseña a pensar y a comunicar nuestros pensamientos en una
forma clara y ordenada. Esto significa, que debemos conocer las reglas mínimas para
establecer relaciones entre conceptos, juicios y premisas y conclusiones. De esta forma,
podemos decir que la lógica es una ciencia porque sistematiza las formas de pensar, para
poder estudiarlas y establecer de manera clara, como se debe de razonar de manera correcta
y evitar los razonamientos incorrectos o fallos del pensamiento.
"El pensar cotidiano y común es sistematizado, es decir, ordenado, para un estudio riguroso
y serio" (Sergio Custodio. Introducción a la lógica, p. 20). Y en esta sistematización vamos
de las formas más simples a las más complejas, de las menos universales a los principios
fundamentales.

8. Definición y propósitos de los argumentos

8.1 Defi nición de Argumento

22
Un argumento (del latín argumentum) es la expresión oral o escrita de un razonamiento,1
mediante el cual se intenta probar, refutar o justificar una proposición o tesis.23Las
cualidades fundamentales de un argumento son la consistencia y coherencia; entendiendo
por tal el hecho de que el contenido de la expresión, discurso u obra adquiera un sentido
o significado que se dirige a un interlocutor con finalidades diferentes:

 Como contenido de verdad: consistencia y coherencia con otras verdades admitidas,

o con referencia a un hecho o situación que haga verdadero o falso dicho contenido.

 Como esquema lógico-formal: consistencia y coherencia con un sistema que no

admite contradicción.

 Como función lógico-matemática: consistencia y coherencia con el hecho de «ser

algo real» frente a una mera posibilidad lógica que define un mundo o
una situación posible en un determinado marco teórico que justifica la función.

 Como discurso dirigido a la persuasión4 como motivación para promover o

proponer una determinada acción.

 Como finalidad de acción: consistencia o coherencia con otros intereses o

motivaciones del individuo o individuos receptores del contenido como motivación
a actuar de determinada manera.
Es por tanto un discurso dirigido:

 Al entendimiento, para «convencer» o generar una creencia nueva mediante el

conocimiento evidente de nuevas verdades, basándose en una racionalidad común.

 A la emotividad para «motivar» una acción determinada.

8.2 Propósito de argumento lógico

El ejemplo más típico y puro de argumento y forma de argumentar es el discurso de
la ciencia, y su lenguaje la oración enunciativa como descripción, definición y
«argumentación»; el discurso se estructura conforme a una teoría y un esquema de
relaciones lógicas; el ideal de dichas relaciones lógicas son las relaciones lógico-
matemáticas, cuando es posible.
En aspectos parciales, se expresa a través de lenguaje formalizado y simbolizado como
un cálculo lógico o matemático, reducidas sus expresiones lingüísticas a proposiciones
simbolizadas en un sistema lógico o matemático.
Por lo tanto, nos sirve para expresar en palabras, lo que en lenguaje matemático se denota,

23
9 Enfoque lógico en el análisis de los Argumentos

Los argumentos deben ser distinguidos de las meras opiniones (no respaldadas por razones,
como “me parece que la crisis económica será larga”) o de las meras explicaciones causales
(“llegué tarde porque había mucho tráfico”). Unas y otras pueden convertirse en
argumentos (o partes de argumentos), pero no lo son si no hay una pretensión o intención
del hablante de respaldarlas con razones o incluirlas en un argumento. La intención o
pretensión de argumentar es importante para distinguir enunciados que no son argumentos
de los argumentos incompletos o entimemáticos.
La lógica (dejando de lado sentidos de la expresión del lenguaje común, como “eso es
lógico”, y entendida como “lógica formal clásica”) es un tipo de análisis de la justificación
de los argumentos. La lógica se ocupa de la justificación de los argumentos (no de su
explicación) desde el punto de vista de la justificación interna (deja de lado la justificación
externa) y desde una perspectiva prescriptiva (a la lógica no le interesa cómo razonan, de
hecho, las personas, esto es, el razonamiento como proceso psicológico, sino cómo deben
ser tales razonamientos para ser correctos). Además, adopta una perspectiva formal, en un
triple sentido: 1) Generalización. la lógica se ocupa de los criterios de corrección de clases
o tipos de argumentos, no de argumentos concretos (aunque puede ser usada para evaluar la
corrección de argumentos concretos). 2) Abstracción: la lógica prescinde de las
circunstancias contextuales del argumento (del contexto de descubrimiento) y de su
contenido (esto es, de los significados de los enunciados). 3) Atención a la estructura: Lo
que le interesa a la lógica es exclusivamente la estructura o forma de los argumentos. Un
argumento es formalmente corrreecto o válido si tiene la estructura o forma adecuada.

10. Inferencias y Falacias

En lógica, especialmente en lógica matemática, un modo o  regla de inferencia es un

esquema para construir inferencias válidas. Estos esquemas establecen relaciones
sintácticas entre un conjunto de fórmulas llamados premisas y una aserción
llamada conclusión.
En su definición clásica, la inferencia es una operación lógica que se refiere a proposiciones
admitidas como verdaderas (las premisas) y que concluye en la verdad de una nueva
proposición en virtud de su vinculación con las primeras. Por esto la inferencia se reduce a
menudo a la deducción necesaria en la que la verdad de las premisas asegura totalmente la
verdad de la conclusión. 
Para el caso de los silogismos deductivos, contamos con los siguientes modos de inferencia:

24
25
10.1 Falacias Formales.

Las falacias formales son razonamientos no válidos pero que a menudo se aceptan por su

semejanza con formas válidas de razonamiento o inferencia. Se da un error que pasa
inadvertido.
Los tipos de falacias formales, se derivan del razonamiento inverso del Modus Ponens y
Modus Tollens en estos casos respectivos:

26
La comprobación de estas falacias formales puede realizarse observando la tabla de verdad
de la condicionalidad que, para los casos de Modus Ponens y Modus Tollens, deja solo una
posibilidad de valor (verdadero o falso) para la proposición a inferir, manteniendo la
relación de condicionalidad como verdadera.
En el caso de estas falacias, las posibilidades de valor para las proposiciones a inferir son
siempre dos: una verdadera y otra falsa, manteniéndose –en ambos casos- la
condicionalidad como verdadera. Por este motivo, no es inferible cuál de las dos opciones
sea necesariamente correcta.

10.2 Inferencias

Una inferencia lógica es el proceso de obtención de una proposición a partir de otra u otras
proposiciones dadas, a las cuales se aplican reglas de inferencia, de tal manera que la
conclusión sea consecuencia lógica de las premisas.

“Una inferencia es válida si, y solo si la conjunción de las premisas implica la conclusión.
Una inferencia es concluyente o correcta si se realiza de acuerdo con una regla de
inferencia válida.

Simbólicamente: sean pi (con i=1, 2, 3, 4, …n) premisas y q la conclusión, entonces,

27
Conclusión
Si bien, las matemáticas son difíciles, estar simplificándolas o traduciendo a un lenguaje
apropiado para que todos la entiendan es mucho mas complicada, por lo tanto debemos
tener en cuenta que la lógica nos ayuda mucho a entender y dar a entender con palabras, lo
que con simbolismos o números no podemos.
La idea principal de este trabajo es que el alumno aprenda el concepto de proposición, la
forma en que se pueden formar proposiciones compuestas usando los conectores lógicos,
representar enunciados por medio de simbología lógica, conocer los conceptos de
tautología, equivalencia lógica, regla de inferencia. Realizar demostraciones de teoremas
por medio del método directo y contradicción. Pero con problemas que le sean familiares e
interesantes. Se trata de que en cada uno de los subtemas participe proponiendo sus propios
ejemplo y que sobre todo al final de la unidad él tenga la habilidad, confianza e iniciativa
para inferir posibles soluciones.
Todo enunciado puede ser planteado en términos de teoremas. Un teorema por lo general es
resultado de un planteamiento de un problema, este planteamiento debe tener el siguiente
formato.
 
(p1 Ù p2 Ù.......Ù pn) Þ q

Como se establece  p1, p2 ,......,pn son hipótesis (o premisas) derivadas del mismo
problema y que se consideran válidas. Pero además deberán conectarse con el operador 
And (Ù), lo cual implica que p1 es cierta y (Ù) p2 es verdad y (Ù)...... y pn también es
cierta entonces (Þ) la conclusión (q) es cierta. Para realizar la demostración formal del
teorema se deberá partir de las hipótesis, y después obtener una serie de pasos que también
deben ser válidos, ya que son producto de reglas de inferencia. Sin embargo no solamente
las hipótesis y reglas de inferencia pueden aparecer en una demostración formal, sino
también tautologías conocidas. En el teorema anterior cada uno de los pasos p1, p2,...pn son
escalones que deberán alcanzarse hasta llegar a la solución.
 
Lo mismo ocurre con todo tipo de problemas que se nos presentan en la vida, antes de
llegar a la solución debemos alcanzar ciertas metas (p1,p2,....pn) hasta llegar al objetivo o
conclusión (q). Pero una vez que logramos el objetivo debemos plantearnos nuevos
objetivos que nos permitirán superarnos.
 

28
Bibliografía
García Suárez, Alfonso (2010), “Filosofía del lenguaje”, en Compendio de Lógica,
teoría de la argumentación y retórica, Madrid: Trotta. de Bustos, Eduardo
(1999), Filosofía del lenguaje.  Madrid: UNED

Barba Juan (2010) Lógica, lógicas. Secretariado de Publicaciones e Intercambio Editorial

de la Universidad de Valladolid
Falguera José Luis & Martínez-Vidal, Concha (1999) Lógica clásica de primer orden.:
Estrategias de deducción, formalización y evaluación matemática. Trotta: Madrid
Manzano María & Huertas Antonia (2004) Lógica para principiantes. Ariel: Barcelona
Manzano María (2009-2010) Curso de lógica  
Smith, Peter (2017) Teach yourself Logic, A Study Guide (Peter Smith es catedrático
jubilado de la Universidada de Cambridge)
Vellmann Daniel J. 1994, 2006(2ndEdition). How to prove it. Cambridge: Cambridge
University Press. 
Bermejo-Luque, Lilian (2014).: Falacias y Argumentación. Madrid: Plaza y Valdés. 
Marraud, Hubert. (2016) ¿Es lógic@? Análisis y Evaluación de Argumentos. Madrid:
Cátedra, 3ª edición, 2016. 
Vega Reñón, Luis (2014) “El renacimiento de la teoría de la argumentación”. RIA-
Revista Iberoamericana de Argumentación, 9, pp. 1-41.
Vega Reñón, Luis (2015) Introducción a la Teoría de la Argumentación. Problemas
y perspectivas. Lima (Perú): Palestra Editores. 
Groarke, Leo (2017) "Informal Logic", The Stanford Encyclopedia of
Philosophy, Edward N. Zalta (ed.), 

29