CECyT No.

9 JUAN DE DIOS
BTIZ PAREDES
FILOSOFA I
UNIDAD III
Proporcionado por: LUIS STEEB
MORENO SNCHEZ.
James Bond 007
FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

UNIDAD III
ELEMENTOS DE
LA LGICA
FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

OBJETIVO
Comprender

elementos lgicofundamentales para identificar y

distinguir el pensamiento correcto de lo
incorrecto.

FILOSOFA I

los

UNIDAD III: ELEMENTOS DE LA LGICA

NDICE

INTRODUCCIN ------------------------------------------------------------------------------------------------ 5

3.1.- DEFINICIN Y DIVISIN DE LA LGICA -------------------------------------------------------- 6

3.2.- IMPORTANCIA DE LA LGICA --------------------------------------------------------------------- 12

3.3.- FORMAS DEL PENSAMIENTO (CONCEPTO, JUICIO Y RACIOCINIO) ---------------- 14

SILOGISMO ------------------------------------------------------------------------------------------------------ 27

3.4.- LGICA SIMBLICA ----------------------------------------------------------------------------------- 20

ARGUMENTOS ------------------------------------------------------------------------------------------------- 51

LEYES DE IMPLICACIN ------------------------------------------------------------------------------------ 53

BIBLIOGRAFA -------------------------------------------------------------------------------------------------- 55

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

INTRODUCCIN

El trabajo lo realice como los dos anteriores, es decir, haciendo una

recopilacin de cada tema en varios libros.
El trabajo esta estructurado a partir del temario que proporcion la
profesora. Todo tema lleva su ejercicio, y fue elaborado, es decir no fue
copiado de ningn lado.
Este trabajo fue arduo pero me sirvi mucho pues con l reafirme los
conocimientos que adquir durante las exposiciones que realizaron mis
compaeros.
Creo que este trabajo me va a servir mucho para el examen pues yo lo
elabore y as podr entender mejor todo lo que se refiere a los elementos
de la lgica.
Adems los ejercicios que vienen en este trabajo me ayudarn a resolver
los de el examen.
Al final esta anexada la bibliografa.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

3.1.- DEFINICIN Y DIVISIN DE LA

LGICA

La lgica es una ciencia que ha precisado su objeto de estudio y sus

mtodos particulares en el transcurso de la historia.
Se le dice ciencia, pues esta se funda cuando se define y adapta un
mtodo de abordaje para su objeto de estudio.
La lgica tiene por objeto de estudio el pensamiento humano, o mejor
definido, la estructura del pensamiento humano.
El pensamiento humano es estudiado por tres principales ramas: la
psicologa, la gramtica y la lgica. La psicologa ve al pensamiento
humano desde la perspectiva de cmo se construye en la mente. La
gramtica precisa cul es la forma correcta de expresarlo; y la lgica
busca la forma correcta de estructurarlo.
Generalmente suele confundirse el abordaje de la gramtica con el de la
lgica, sin embargo son muy diferentes, pues a la gramtica le interesa el
como deben de expresarse correctamente los pensamientos, mientras
que la lgica se encarga del como deben de construirse correctamente.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

Habiendo definido el objeto de estudio de la lgica podemos decir como

definicin de esta que la lgica es la disciplina que se encarga de estudiar
cul es la estructura correcta del pensamiento humano, es decir cul es la
manera correcta de construir razonamientos.
Pero no podemos confundir pensamiento correcto con verdadero.
Pensamiento verdadero quiere decir que concuerda completamente con la
verdad, mientras que el correcto responde a una estructura especfica y
que no presenta incoherencias. El pensamiento correcto puede ser vlido
o no vlido (correcto o incorrecto), el pensamiento verdadero puede ser
cierto o falso.
La lgica se encarga de estudiar las reglas que hacen que el pensamiento
sea correcto.
Para poder dar un ejemplo de pensamiento correcto y establecer un
mecanismo que nos permita verificarlo, es preciso conocer las tres
principales reglas del pensamiento formal, las cuales son:

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

1.- Principio de identidad.- Cada cosa es idntica as misma.

2.- Principio de la no contradiccin.- Nada puede ser simultneamente s
mismo y su contrario.
3.- Principio del tercer excluido.- Entre dos afirmaciones opuestas no hay
posibilidad de una tercera.
Un pensamiento ser correcto si cumple al menos con estas tres reglas
iniciales.
DIVISIN DE LA LGICA
La lgica se divide principalmente en lgica formal y lgica dialctica. La
lgica formal a su vez se divide en lgica proposicional y lgica simblica
o lgica matemtica.
La lgica formal es la disciplina que propicia las condiciones necesarias
para que la estructura del pensamiento sea correcta. Logra su objetivo
con la aplicacin de reglas especficas que tienen como fin normar la
FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

construccin de estructuras generales del pensamiento.

La lgica formal analiza las leyes que rigen a las formas del pensamiento
que son el concepto, el juicio y el razonamiento. A su vez establece las
condiciones que permiten darle coherencia a las formas del pensamiento
para construir formas correctas del pensamiento.
Como antes haba dicho, la lgica formal se divide en lgica proposicional
y lgica simblica. La lgica proposicional estudia las formas en que se
relacionan las proposiciones para establecer las reglas que permiten
derivar en el pensamiento correcto. La lgica simblica plantea las reglas
de clculo, establecidas con base en una simbolizacin especfica,
empleando smbolos matemticos para construir modelos formales y con
ello analizar las estructuras del pensamiento.
La lgica dialctica, por su parte, estudia la evolucin y las leyes del
pensamiento, el conocimiento y la existencia objetiva, as como las
relaciones que se manifiesta entre ellos. Es decir estudia la realidad a

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

travs del movimiento que se genera en ella para con ello establecer tres
leyes que son:
a) La unidad y lucha de contrarios.- La concepcin dialctica de la realidad
nos marca que todo est en constante movimiento y en permanente lucha
interna, los objetos perviven gracias a la existencia de sus contrarios y se
encuentran en continua confrontacin con ello y, sin ello, no podran
existir, es decir, viven en unidad.
b) El cambio de lo cuantitativo a lo cualitativo.- Esta ley nos dice que para
todo fenmeno, los cambios cuantitativos (que por cierto son de manera
paulatina) repercutirn en cambios cualitativos bruscos, repentinos.
c) La negacin de la negacin.- Es una ley dialctica que nos muestra que
de una tesis saldr una anttesis (unidad y lucha de contrarios) y como
producto superior se generar la sntesis de ambos que a su vez se
presentar como tesis y provocar una anttesis y se repetir el ciclo
sucesivamente.
FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

10

EJERCICIO
Escribe un ejemplo para cada una de las tres reglas del pensamiento
formal y de las leyes dialcticas.
LEY

EJEMPLO

Principio de identidad.
Principio de la no contradiccin.
Principio del tercer excluido.
La unidad y lucha de contrarios.
El cambio de lo cuantitativo a lo
cualitativo.
La negacin de la negacin.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

11

3.2.- IMPORTANCIA DE LA LGICA

La lgica es importante porque:

1.- En la investigacin ayuda a diferenciar los pensamientos correctos de
los incorrectos.
2.- Todas las ciencias se apoyan en los modelos que ella genera para
estructurar correctamente los conocimientos obtenidos.
3.- Norma la vida cotidiana al correlacionar adecuadamente la secuencia
de nuestras actividades.
4.- Ha permitido desarrollar nuevas ideas, lo que dio pauta para la
evolucin del conocimiento y en ocasiones ha detenido el avance de ideas
falsas y/o incorrectas.
La lgica nos ayuda a establecer las condiciones para que nuestro
pensamiento sea correcto, y ello, a su vez, nos ayuda a recorrer un camino
que con mayor posibilidad ser verdadero.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

12

EJERCICIO
Busca recortes que ejemplifiquen los cuatro puntos que describen la
importancia de la lgica.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

13

3.3.- FORMAS DEL PENSAMIENTO

(CONCEPTO, JUICIO Y RACIOCINIO
El pensamiento es la actividad intelectual que realiza el hombre a travs de
la cual entiende, comprende y capta alguna necesidad en su alrededor, la
cual da como resultado los conceptos, los juicios y los razonamientos.
CONCEPTO
El trmino concepto proviene del latn concipiere, conceptum, que quiere
decir concepcin o captacin. El concepto es una idea o representacin
mental que hace el individuo de un objeto sin emitir ninguna afirmacin o
negacin de l, aprehenderun concepto es captar en la mente las
caractersticas esenciales de la idea u objeto.
Los seres humanos conocen a travs de su relacin con los objetos; a
partir de este vnculo, elaboran imgenes particulares y concretas. En
estas imgenes, no slo hace alusin a lo esencial de un objeto sino que
adems imaginan aquello que es accidental en el objeto que conocen. Por
lo tanto, a pesar de que el sujeto maneje los mismos conceptos, la imagen
que de estos pueda tener ser diferente en algunos de los casos y no en

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

14

esencia, sino en accidente.

En ese sentido, se entiende al concepto como el resultado, el producto
que la inteligencia elabora cuando se encuentra frente a un objeto
determinado. Un concepto es la abstraccin de la realidad, una
representacin simblica de la misma mediante la cual tratamos de
descubrir y explicar un fenmeno real, y que sea aplicable a todos los de
su clase. Entonces un concepto es aquel que nos enumera las
caractersticas necesarias del objeto fenmeno, la relacin entre ellas y la
relacin que guarda con el medio ambiente circundante.
Ley de la extensin y la comprehencin del concepto o idea
El concepto tiene dos propiedades lgicas:
a) Extensin.- Consiste en el nmero de entes de la misma clase a
quienes se les puede aplicar un mismo concepto.
b) Comprehencin.- Es el conjunto de caractersticas que definen al
concepto.
FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

15

PREDICABLES ESENCIALES
Existen tres conceptos que nos permiten efectuar una clasificacin
completa, se llaman predicables esenciales, ellos son: especie, gnero y
diferencia especfica. La especie es el concepto que nos define una
esencia completa. Por su parte el gnero es el que define a cierto
elemento especfico de la especie, en otras palabras, el gnero agrupa a
ciertas especies que guardan caractersticas comunes; pero para formar
al gnero como un grupo de especies, se necesita un conjunto de
caractersticas que lo distinga, es decir, necesitamos que se defina cules
son las caractersticas que lo distinga, es decir, necesitamos que se defina
cules son las caractersticas que todas las especies presentan para
entonces formar un gnero, a este grupo de caractersticas se le llama
diferencia especfica.
OPERACIONES CONCEPTUADORAS
Son operaciones lgicas que manipulan conceptos para dar como
FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

16

resultado otros conceptos. Suelen confundirse con las relaciones entre

conceptos mismas que vinculan conceptos para dar como resultado
enunciados. Pueden limitar o generalizar. Limitar cuando es ms
especfico y el nuevo conceptos aplicable a un nmero cada vez menor de
elementos. Generalizar cuando conforma clases de mayor tamao.
Las ms comunes son: la definicin, la divisin y la clasificacin.
Definicin
Es la operadora lgica que enumera las caractersticas de un objeto.
Proviene del vocablo del latn difinere que significa delimitar o poner
lmites. Responde a las preguntas qu es? o qu significa?. Se
compone de el definiendo y lo definido. Su principal objetivo es plantear
las peculiaridades que demiliten y precisen al objeto para diferenciarlo de
otros conceptos. Existen dos tipos de definicin:
- Nominal.- Se da cuando expresamos las caractersticas con respecto al
nombre del concepto; y
FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

17

- Real.- Se quiere llegar al significado claro y especfico. Existen dos tipos:

descriptiva y esencial. La descriptiva se hace un listado de las
caractersticas del concepto que limitan la definicin solamente a los
elementos requeridos; y la esencial se da cuando ubicamos al concepto
en funcin de su gnero prximo y definicin especfica.
Las cinco reglas que debe cumplir una definicin son:
1.- La definicin debe ser breve pero completa.
2.- La definicin debe ser aplicable a todo lo definido y slo a lo definido.
3.- La definicin debe ser ms clara que lo definido.
4.- La definicin no debe contener lo definido.
5.- La definicin no debe ser negativa.
DIVISIN
Es la operacin conceptuadora que separa a un todo en sus partes.
Puede hacerse como divisin lgica o divisin fsica.
FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

18

1.- Divisin fsica.- Se refiere a la separacin fsica de tal forma que al

reincorporarse las partes se conjunta nuevamente el todo del que se
comenz.
2.- Divisin lgica.- Slo se hace como operacin mental.
Los tres elementos con los que se debe cumplir una divisin correcta son:
1.- La extensin divisible.
2.- Los miembros de la divisin.
3.- El criterio o fundamento de la divisin.
Para realizar una divisin correcta, se debe cumplir con cuatro reglas
especficas, que son:
1.- La divisin debe ser completa.
2.- La divisin debe ser excluyente.
3.- La divisin debe ser sucesiva y gradual.
4.- La divisin debe hacerse partiendo de un solo criterio.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

19

Clasificacin
Es una operacin conceptuadora anloga a la divisin pero inversa
porque la divisin limita y la clasificacin generaliza. Requiere especificar
la extensin clasificada, los miembros de la clasificacin y el criterio de la
clasificacin. Las reglas de la clasificacin son:
1.- La clasificacin debe ser completa.
2.- La clasificacin debe ser excluyente.
3.- La clasificacin debe ser sucesiva y gradual.
4.- La clasificacin debe hacerse partiendo de un solo criterio.
JUICIO
El juicio es una proposicin enunciada de tal manera que afirmamos o
negamos algo, por lo tanto como pensamiento, el juicio es obligadamente
falso o verdadero, asimismo, el juicio consta de tres elementos, que son;
sujeto, verbo y predicado.
FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

20

Dadas su caractersticas, el juicio resulta ser la forma del pensamiento

ms importante por dos razones: 1) el concepto es puntual y el juicio tiene
direccin, el concepto slo nos define y el juicio le da una direccin
concreta al concepto, nos obliga a estar de acuerdo o en desacuerdo; y 2)
aunque el razonamiento tiene una estructura ms compleja que el juicio
(porque su funcin es relacionar juicios), su finalidad es arribar a una
conclusin, y est tambin es un juicio.
Las proposiciones
Una proposicin es un enunciado que asevera algo en torno a un sujeto.
Las proposiciones se pueden clasificar bajo los criterios de cualidad y
cantidad.
- Cualidad.- Son afirmativa o negativa. Afirmativa cuando se hace patente
la conexin entre el sujeto y el predicado; y negativa cuando se antepone
una negacin al verbo principal.
- Cantidad.- Son universal o particular. Universal cuando se refiere al total

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

21

de los elementos de un conjunto; y particular si su cobertura engloba a

una fraccin del total de los elementos.
Al combinar la cantidad con la cualidad de una proposicin, podemos
generar cuatro combinaciones que a su vez nos conducen a cuatro tipos
de proposiciones, es decir:
a) Universal afirmativa.- Se refiere a las proposiciones que tiene una
cobertura total del sujeto al que se refiere y que afirman la conexin entre
sujeto y predicado.
b) Universal negativa.- Se refiere a las proposiciones con carcter de
universal que niegan la conexin entre sujeto y predicado.
c) Particular afirmativa.- Se refiere a las proposiciones que afirman una
conexin entre el sujeto y el predicado y el sujeto tiene una cobertura que
no abarca al total de los seres contenidos en el sujeto.
d) Particular negativa.-Se refiere a una proposicin de cobertura particular
que niega la conexin entre el sujeto y el predicado.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

22

Se puede establecer ahora una relacin entre cualesquiera dos

proposiciones que contengan al mismo sujeto y predicado y que difieran
ya sea en cualidad, en cantidad o en ambas. Cuando se tienen
proposiciones de este tipo se les denomina opuestas, y segn sus
diferencias pueden ser:
a) Contrarias.- Se dan cuando ambas son universales y solo difieren en la
cualidad.
b) Subcontrarias.- Si ambas son particulares y difieren en cualidad.
c) Contradictorias.- Son aquellas que difieren tanto en cualidad como en
cantidad.
d) Subalternas.- Se dan cuando ambas tienen la misma cantidad pero
difieren en cualidad.
Con todo ellos, se pueden establecer reglas que permitan confrontar las
cuatro proposiciones entre s y encontrar cules son verdaderas y cules
son falsas con la informacin obtenida de alguna o algunas de ellas.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

23

Universal
Afirmativa

Contrarias

Contradictorias

Particular
Afirmativa

UNIDAD III: ELEMENTOS DE LA LGICA

Subcontrarias

Universal
Negativa

Subalternas

FILOSOFA I

Subalternas

- Primera regla.- Las proposiciones

contradictorias
no
pueden
ser
simultneamente
verdaderas
ni
simultneamente falsas.
- Segunda regla.- Las proposiciones
contrarias no pueden ser simultneamente
verdaderas pero si simultneamente falsas.
- Tercera regla.- Las proposiciones
subcontrarias
no
pueden
ser
simultneamente
falsas
pero
si
simultneamente verdaderas.
- Cuarta regla.- De la verdad de la universal
se infiere la verdad de la subalterna y de la
falsedad de la subalterna se infiere la
falsedad de la universal.

Particular
Negativa

24

RAZONAMIENTO
El razonamiento es la relacin entre juicios, no es verdadero ni falso, es
decir, el razonamiento es esa forma en la que vinculamos a los juicios
entre s, por lo tanto el razonamiento es correcto o incorrecto. El
razonamiento relaciona varios juicios llamados premisas. El razonamiento
nos da como resultado otro juicio llamado conclusin.
El razonamiento tiene como antecedentes al concepto (que es quien
define) y al juicio (que es quin direcciona). Es la estructura lgica mnima
porque es el primer momento en que se puede estructurar y encontrar
correccin.
EJERCICIO 1
Define con tus propias palabras:
- Concepto.- Primera imagen mental de un objeto.
- Juicio.- Algo que afirmamos.
- Razonamiento.- Relacin de juicios con conceptos.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

25

EJERCICIO 2
Contesta y encuentra la respuesta en la
sopa de letras.
1.- Proviene del latn concipiere,
conceptum.
2.- Operacin conceptuadora anloga a
la divisin pero inversa.
3.- Relacin entre juicios.
4.- Enunciado que asevera algo en
torno a un sujeto.
5.- La clasificacin debe ser sucesiva y:
6.- Divisin que se hace slo como
operacin mental.
7.- La lgica se divide en lgica formal y

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

26

SILOGISMO
Es una forma de razonamiento que consta de tres preposiciones, mismas
que contienen tres y slo tres trminos; dos de las preposiciones son
premisas y la tercera es una conclusin.
Elementos del silogismo
1.- Premisa mayor: contiene una ley general.
2.- Premisa menor: contiene un caso particular de la ley general marcada
en la premisa en la premisa mayor.
3.- Conclusin.- expresa la nueva relacin implicada por las dos premisas.
Los tres trminos presentes en el silogismo se denominan mayor, medio y
menor.
a) El trmino mayor aparece en la premisa mayor y en la conclusin, en
ambos casos como predicado de ellas.
b) El trmino medio es el que hemos denominado como trmino comn,
se dice que ste es la causa de la relacin entre las dos premisas.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

27

c) El trmino menor es el que funge como sujeto tanto en la premisa

menor como en la conclusin, es decir, el trmino menor es el elemento
particular de la premisa menor que se introduce a la conclusin.
Reglas de los trminos del silogismo

La estructura correcta del silogismo se garantiza cuando se cumplen las

siguientes ocho reglas:
a) Reglas de los trminos:
1.- El silogismo cuenta de tres elementos: mayor, menor y medio.
2.- Ningn trmino debe tener mayor extensin en la conclusin que en
las dos premisas.
3.- El trmino medio jams pasa a la conclusin.
4.- El trmino medio debe ser universal por lo menos una vez.
b) Reglas de las proposiciones
5.- Dos premisas negativas no dan una conclusin.
FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

28

6.- Dos premisas afirmativas no pueden dar conclusin negativa.

7.- Dos premisas particulares no dan una conclusin.
8.- La conclusin siempre sigue la parte ms dbil.
EJERCICIO

Completa los siguientes silogismos:

PREMISA MAYOR: D es un subconjunto de F.
PREMISA MENOR: E es un subconjunto de D.
CONCLUSIN: E es un subconjunto F.
PREMISA MAYOR: Los no metales no son conductores de calor.
PREMISA MENOR: El vidrio es un no metal.
CONCLUSIN: El vidrio no es conductor de calor.
FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

29

3.4.- LGICA SIMBLICA

DEFINICIN Y CARACTERSTICAS DE LA LGICA SIMBLICA
La lgica simblica es la disciplina encargada del estudio sistemtico del
razonamiento preciso a travs de la manipulacin de smbolos, es decir,
por medio de la lgica simblica se revisan algunos procedimientos que
manejados verbalmente son complicados y se reducen a procedimientos
matemticos (esto es, en smbolos y letras) mucho ms sencillos de
manipular. La lgica simblica nos ayuda a encontrar la correccin de la
estructura de los pensamientos y as establecer reglas en torno a esa
estructura del pensamiento, no al pensamiento mismo.
Podemos vislumbrar las caractersticas del uso de la lgica simblica a
travs de una analoga: la aritmtica utiliza nmeros como elementos
fundamentales, con los cuales, realiza operaciones definidas bajo reglas
especficas (la suma, la multiplicacin, etc.) y con ello construye
estructuras ms complicadas, por ejemplo comenzamos a utilizar los
nmeros naturales {1,2,3} y con ellos podemos construir el conjunto de
FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

30

nmeros enteros {,-3,-2,-1,0,1,2,3} que consituye un conjunto de

estructura ms compleja que el de los nmeros enteros; por su parte, la
lgica simblica tiene como elementos fundamentales las proposiciones
simples, con ellas, realiza operaciones definidas por reglas especficas y
obtiene proposiciones ms complicadas (proposiciones compuestas).
Hoy en da, la lgica simblica se puede dividir en: a) lgica proposicional,
y b) lgica de trminos, subdividiendo a sta ltima en i) predicados, ii)
clases, iii) relaciones. Esto se debe a que la lgica simblica utiliza
smbolos tanto en las proposiciones (lgica proposicional) como en las
constantes (lgica de trminos).
LGICA PROPOSICIONAL
La lgica proposicional, tal y como su nombre lo indica, se refiere al
estudio de las formas de relacionar las proposiciones. Una caracterstica
muy importante de la lgica proposicional es que no toma en cuenta los
contenidos de las proposiciones, sino solamente las formas en que se
FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

31

relacionan, es por ello que podemos sustituir las proposiciones con letras
sin que ello nos impida continuar en el anlisis de las formas de
interrelacin.
La lgica proposicional sustenta su estudio en dos elementos
fundamentales, las proposiciones y los conectivos lgicos, a su vez las
proposiciones pueden ser simples o compuestas.
PROPOSICIONES SIMPLES
Una proposicin simple es una oracin declarativa, que tiene un sujeto y
un predicado, y que no tiene conjunciones de la forma y, o, si
entonces,, etc.
Existen cuatro clases de oraciones declarativas que son:
1.- Proposiciones verdaderas. Ellas enuncian un hecho indiscutible.
2.- Proposiciones falsas. Son las que estn en contradiccin a hechos
indiscutibles.
3.- Proposiciones abiertas. En ellas distinguimos que el sujeto esta

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

32

sustituido por un pronombre (l, la, lo, los, las, etc.) o bien por una variable
(x, y, etc.), por lo que sern verdaderas o falsas dependiendo del sujeto al
que se refiere el pronombre o la variable.
4.- Proposiciones sin sentido. Este tipo de proposiciones o bien carecen
de sentido si no estn inmersas dentro de un contexto especfico, o bien
son inexistentes.
Para fines de la lgica proposicional, se requiere que las proposiciones
utilizadas sean necesariamente de cualquiera de los dos primeros tipos,
es decir, o son verdaderas o son falsas. Cabe mencionar que si se define
un conjunto de verdad, las proposiciones abiertas toman un sentido
estrictamente verdadero.
En lgica simblica, una proposicin puede ser sustituida por una letra,
usamos minsculas cuando no tomamos en cuenta el contenido y
maysculas cuando s lo tomamos en cuenta, generalmente son usadas
las letras P, Q, R, S, etc., por ejemplo:

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

33

P = Ocho es un nmero par

Q = El hidrgeno es un gas
Es decir, ya que slo se tomar la letra como referencia, y sta puede
variar su contenido, a esas letras se les da el nombre de variables
preposicionales.
PROPOSICIONES COMPUESTAS
Son las proposiciones formadas por proposiciones simples asociadas
mediante conectivos lgicos. Estos conectivos lgicos pueden ser no,
y, o, si entonces y si y solo si.
TABLAS DE VERDAD
Cuando se construye una proposicin compuesta es necesario tomar en
cuenta todas las posibles combinaciones que se generan a partir de los
diferentes valores que adopta cada una de las proposiciones simples que
intervienen en ella; una manera muy conveniente de conservar el orden
en este proceso es por medio de las tablas de verdad, que son grficas
FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

34

que contienen la informacin completa de todas las posibles

combinaciones de valores y sus respectivos resultados para una
proposicin compuesta en particular. La manera de construir dichas tablas
de describe a continuacin.
Una tabla de verdad est compuesta por renglones y columnas, cada
columna corresponde a los valores que adopta cada proposicin en
particular (ya sea simple o compuesta) y los renglones describen las
combinaciones de valores correspondientes a dichas proposiciones. Las
columnas de la izquierda de la tabla sern en las que se anoten las
proposiciones simples y una vez que se hayan utilizado tantas columnas
como proposiciones simples intervengan en la compuesta, se proceder a
utilizar las columnas para las compuestas. Esto nos permitir definir
desde el principio el nmero de renglones de que consta la tabla, ya que
ello est delimitado por el nmero de proposiciones simples que
intervengan y el nmero de columnas, por su parte, estar en funcin de
la complejidad de la proposicin compuesta a la que corresponde la tabla.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

35

Lo primero que debemos definir es el nmero de renglones de que

constar la tabla, el rengln superior se usar para el encabezado.
Entonces, si tomamos como acuerdo el representar la expresin
verdadero con v y falso con F, ser fcil verificar que para cuando
en la proposicin compuesta slo intervenga una proposicin simple, para
sta ltima nicamente hay dos opciones (F y V), por lo que la tabla de
verdad tendra dos renglones de valores y la primera columna quedara
as:

V
F
FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

36

Pero s se tiene un par de proposiciones no sera suficiente tan slo

indicar los dos valores posibles para cada una de ellas, ya que slo
tendramos las combinaciones VV y FF (tal y como se observa en la
siguiente tabla incompleta), y estaramos omitiendo las posibles
combinaciones VF y FV (que s estn contempladas en la tabla completa).

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

37

Entonces, resulta necesario indicar en una misma tabla todas las posibles
combinaciones de los valores de las dos proposiciones, por lo que una
manera correcta de construir la tabla de verdad correspondiente a una
proposicin compuesta en la que intervienen dos proposiciones simples
sera la siguiente:

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

38

Cuando so tres las proposiciones simples que intervienen en la

compuesta, el nmero de opciones se incrementa a ocho, tal como se ve
en la siguiente tabla:

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

39

De esta manera, podemos observar que el nmero total de

combinaciones posibles segn el nmero de proposiciones presentes es:
N = 2n
Donde: n = nmero de proposiciones presentes.
N = nmero de combinaciones posibles (nmero de renglones de valores
en la tabla).
Entonces si tenemos 5 proposiciones el nmero de combinaciones
posibles es: 25 = 32
El manejo de las tablas de verdad no slo nos agiliza la construccin de
los posibles valores, sino que tambin nos proporciona referentes ms
generales en el estudio del valor que adquieren las proposiciones a travs
de los conectivos lgicos. Pero si estamos afirmando que las
proposiciones compuestas se construyen a partir de los conectivos
lgicos, es necesario revisar cada uno de ellos y precisar su funcin y
significado dentro de una proposicin compuesta.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

40

CONECTIVOS LGICOS
Negacin (~)
El smbolo de la negacin es (~) y quiere decir no, nunca, no es cierto
que
Siempre antecede al verbo principal.
Su tabla de verdad queda as:

La regla para la negacin es la siguiente:

- La negacin le cambia el valor a todo proposicin.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

41

Conjuncin ()
Sirve para unir dos proposiciones y significa: y, adems
Su tabla de verdad queda as:

P
V

Q
V

PQ
V

V
F

F
V

F
F

La regla para la conjuncin es la siguiente:

- La conjuncin slo es verdadera cuando ambas premisas son
verdaderas.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

42

Disyuncin Inclusiva (V)

Se utiliza para definir la unin de dos proposiciones y solamente se pide
que alguna de ellas se acierta y significa: o esto, o lo otro.
Su tabla de verdad queda as:

PVQ

La regla para la disyuncin inclusiva es la siguiente:

- La disyuncin inclusiva solo es falsa cuando las dos premisas son
falsas.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

43

Disyuncin Exclusiva (V)

Se utiliza para unir dos proposiciones y escoger una y slo una, significa:
o esto, o lo otro.
Su tabla de verdad queda as:

P
V

Q
V

PVQ
F

V
F

F
V

V
V

La regla para la disyuncin exclusiva es la siguiente:

- La disyuncin exclusiva slo es verdadera cuando una y solo una
de las premisas es verdadera.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

44

Condicional ()
Sirve para unir dos proposiciones simples a travs de la forma: si (la
primera proposicin) entonces (la segunda proposicin), es decir, para
dos proposiciones P y Q, el conectivo condicional quedara P Q, que se
leera: si P entonces Q. A la propocicion que impone la condicin, se le
llama antecedente, y al la otra consecuente. S ignifica: si entonces ,
por lo tanto
P
Q
PQ
Su tabla de verdad queda as:

La regla para la condicional es la siguiente:

- La condicional slo es falsa cuando la premisa consecuente es la
nica falsa.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

45

Bicondicional ()
El conectivo bicondicional es un caso particular del condicional, lo
podramos definir como: PQ = (PQ) (QP), es decir se solicita que
cada una de las proposiciones sea al mismo tiempo antecdente y
consecuente de la otra. Es por ello que se expresa a travs de la frase
si y solo si, porque solicita que ambas se declaren en el mismo sentido.
Su tabla de verdad queda as:
P
Q
PQ

La regla para la condicional es la siguiente:

F
F
V
- La bicondicional es falsa si las dos premisas tienen valores
diferentes y es verdadera cuando ambas premisas tienen el mismo
valor.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

46

PROPOSICIONES COMPUESTAS CON MS DE UN CONECTIVO

Una proposicin compuesta puede construirse con uno o varios
conectivos. Para su construccin de tablas de verdad es necesario seguir
una secuencia de pasos. A continuacin se muestra un ejercicio para
ejemplificar la construccin de tablas de verdad.
Ejemplo:
( p q ) V ( q p)
Paso 1.- El objetivo es llenar los valores del la columna de la disyuntiva
exclusiva que se encuentra al centro.
Paso 2 y 3.- Dado que se parte de dos proporciones p y q, se requieren
cuatro renglones.
p
q

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

47

Paso 4.- Completamos todas las combinaciones posibles comenzando por

la columna de q llenando con una V y una F alternadas y luego con la
columna de p con dos V y dos F alternadas.
p

Paso 5.- Construimos tres columnas ms, una para la conjuncin, otro
para la condicional y otra para la disyuncin exclusiva (qu es la
operacin principal).
p
q
( p q)
V
(qp)

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

48

Paso 6 y 7.- Llenamos las columnas de la conjuncin y de la condicional

siguiendo las reglas que rigen.
p

( p q)

(qp)

Paso 8.- Finalmente, procedemos a llenar la columna de la disyuncin

exclusiva, misma que indica que slo es verdadera si tan slo una de las
premisas es verdadera. p q
( p q)
V
(qp)

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

49

EJERCICIO
Desarrolla la tabla de verdad para la proposicin: { p V ( q r ) } ( ~q )

FILOSOFA I

{p

(qr)}

( ~q )

UNIDAD III: ELEMENTOS DE LA LGICA

50

ARGUMENTOS

Es el conjunto de proposiciones que cumplen la siguiente regla: a partir de un

cierto nmero de proposiciones, llamadas premisas, se deriva otra proposicin,
llamada conclusin; dentro de un argumento no importa el nmero de premisas,
tampoco importa si estas proposiciones son simples o compuestas.
La verdad lgica se obtiene a travs del razonamiento sin que intervenga la
realidad, sta no puede servir para conformar o refutar un argumento, su validez
se fundamenta en la forma de construirlo, un argumento no es cierto ni falso, es
vlido o no vlido.
Para esto ltimo, la lgica formal establece la validez de un argumento de la
siguiente forma:
- El argumento ser no vlido si las premisas son verdaderas y la conclusin es
falsa.
- El argumento es vlido si las premisas y la conclusin son falsos.
- El argumento ser vlido si las premisas son falsas y la conclusin es
verdadera.

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

51

EJERCICIO
Completa el siguiente prrafo con las palabras del cuadro:
formal

argumento

conclusin

vlido

premisas

La lgica formal establece la validez de un argumento de la siguiente

forma:
- El argumento ser no vlido si las premisas son verdaderas y la
conclusin es falsa.
- El argumento es vlido si las premisas y la conclusin son falsos.
- El argumento ser vlido si las premisas son falsas y la conclusin es
verdadera.
FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

52

LEYES DE IMPLICACIN

La validez de un argumento, tiene que ver solamente con la forma en que

se construye par decir si es vlido o no vlido, para ello existen reglas que
nos indican cmo darles la forma correcta, a estas reglas se les conoce
como leyes de implicacin o reglas de inferencia. Las ms comunes son:
a) Modus Ponendo Ponens (m.p.p)
b) Modus Tollendo Tollens, (m.t.t) y
c) Modus Tollendo Ponens (m.t.p).

FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

53

EJERCICIO
Escribe un ejemplo de la ley de aplicacin Modus Ponendo Ponens
(m.p.p). Posteriormente escribe que quiere decir y con que otro nombre se
le conoce.
1) Si estudio apropiadamente, entonces aprender esos
conocimientos.
2) Estudio apropiadamente.
Luego
3) Aprender esos conocimientos.
Modus Ponendo Ponens es una frase que viene del latn y quiere
decir el mtodo de la obtencin mediante la asercin, tambin es
conocida con el nombre de afirmar el antecedente.
FILOSOFA I

UNIDAD III: ELEMENTOS DE LA LGICA

54