1

UNIVERSIDAD NACIONAL ABIERTA

VICERRECTORADO ACADEMICO
AREA DE ESTUDIOS GENERALES

GUA DE APOYO: LGICA

Cdigo: 107
U.C: 3
Carreras y Semestres:
I Semestre: INGENIERA INDUSTRIAL (280)
I Semestre: INGENIERA DE SISTEMAS (236)
I Semestre: EDUCACIN INTEGRAL (440)
I Semestre: MATEMTICA (126)
II Semestre: ADMINISTRACIN DE EMPRESAS (612)
II Semestre: ADMINISTRACIN DE EMPRESAS:
Mencin: Riesgos y Seguros (613)
II Semestre: CONTADURA PBLICA (610)

Prelaciones: Ninguna
Requisito: Ninguno

Autor: Edgar Redondo

Centro Local Aragua
Maracay, Abril 2009

LGICA
A la Lgica iniciada por Aristteles y que tiene vigencia durante la poca de la
edad media se le conoce, comnmente, con el nombre de Lgica No-Matemtica.
Con el nombr de Lgica del Algebra se hace referencia a la Lgica iniciada por
Leibnitz y desarrollada por Boole. Finalmente se da el nombre de Lgica
Matemtica a la Lgica Contempornea, que arranca de finales del siglo XIX y
perdura en nuestros das.
Lgica: Estudio de los razonamientos e inferencias consideradas desde el
punto de vista de su validez. La validez de un razonamiento viene dado por
la forma de este.
Forma es todo lo que tratamos de dilucidar.
Veamos un ejemplo:
Todo hombre es mortal
Juan es hombre
Luego Juan es mortal
Aqu hay trminos (Juan, Hombre, Mortal) la validez del razonamiento no
depende de los trminos. Estos son el contenido, los podemos variar sin
variar la forma, ya que son las variables (individuales o conceptuales pero
variables al fin).
Veamos otros ejemplos:
Luis es estudioso.
El Edificio es grande.
La tierra es redonda.
Todos ellos se pueden condesar en:
S es P
Y otros ejemplos ms:
"Si Enrique viene, entonces iremos al cine".
"Si Pedro se porta bien, entonces le compraran una bicicleta".
Estas dos proposiciones son gramaticalmente distintas y sin embargo,
lgicamente, no se diferencian, tienen la misma forma, la misma estructura. Todo
razonamiento tiene una determinada estructura lgica independiente del
contenido. Esa estructura que puede ser comn a varios razonamientos nos
permite buscar una frmula de expresin comn a todos ellos. El poner el
simbolismo al servicio de la lgica ha hecho posible la realizacin del "Calculo
Lgico".
Ahora bien, una cosa es la validez y otra cosa es la verdad, la Lgica garantiza el
primer aspecto, un razonamiento vlido garantiza que si las premisas son
verdaderas, la conclusin no puede ser falsa (no admite contraejemplo). La verdad
depende del contenido pero no de la validez, sta depende de la forma. El objeto

fundamental de todo razonamiento es alcanzar la verdad y la Lgica Formal se

mueve en funcin de este objetivo, poniendo de manifiesto las reglas del
razonamiento.
El problema principal de la verdad es que sta es creacin humana, el mundo no es ni
verdadero ni falso, el mundo ESVerdad y falsedad son atributos del lenguaje no de
las cosas.

El razonamiento Es una determinada actividad mental en virtud del cual partiendo

de unos conocimientos dados inferimos nuevos conocimientos. Hay un
razonamiento cuando existe un enunciado que tiene justificacin, apoyo y/o
fundamento en otros enunciados que suministran una base para sostenerlo.
El razonamiento es un utensilio al que constantemente se recurre en todas las
facetas de la vida. Razonamos siempre que sacamos alguna consecuencia de
algn principio, siempre que contestemos un por qu?
En todo razonamiento existen varios elementos que conviene diferenciar: existe
un conocimiento inicial condensado en las premisas; existen unas reglas de
razonamiento o leyes de inferencia; y por ltimo, se da una conclusin que
constituye el nuevo conocimiento resultante. Nada se ha inventado, el nuevo
conocimiento o conclusin estaba, aunque latente, en las premisas iniciales. A
travs de la Lgica conocemos las leyes del razonar correctamente, ya que a ella
le interesa la forma como se relacionan entre s las partes de un discurso,
entendindose por tal cualquier tipo de exposicin oral o escrita (Ideogrfica). De
esta manera estamos mejor preparados para descubrir y rebatir las ideas errneas
que aparecen en discusiones, debates, artculos, etc. en efecto, disponer de
formas vlidas nos permite elaborar razonamientos, tanto para demostrar, como
refutar enunciados.
Falacia es un razonamiento incorrecto pero persuasivo, engaoso, cuya
incorreccin resulta difcil de percibir. Pueden ser Formales o No Formales.
En las Falacias Formales el error constitutivo de la falacia se produce por la
aparente semejanza de forma entre la falacia y un razonamiento vlido.
En las Falacias No Formales lo que lleva al error son otras circunstancias, estas
suelen dividirse en Falacias de Ambigedad y Falacias de Relevancias o
Atinencia.
Las Falacias de Ambigedad se originan porque una misma expresin toma
diferentes sentidos en el curso de un mismo razonamiento.
Las Falacias de Relevancias o Atinencia se caracterizan por la falta de vnculo
lgico, requerido para que las premisas justifiquen la conclusin, queda encubierta
por la presencia de algn tipo de conexin psicolgica entre aquellas y sta.
Denominamos Entimema, o razonamiento de expresin incompleta, a un
razonamiento donde alguno de los enunciados que lo componen sea una

premisa o la conclusin- se encuentra sobrentendido. Convertir los entimemas en

razonamientos de expresin completa es una operacin preliminar para su estudio
lgico.
Expresarse por medio del Lenguaje es lo mismo que pensar. El pensamiento est
ntimamente vinculado con el lenguaje y este a la Lgica.

El Lenguaje es la expresin por medio de Signos. Puede tener una

funcin expresiva cuando se usa para manifestar sentimientos, una
funcin directiva cuando se quiere modificar una conducta y una funcin
informativa cuando se enuncia o describe un hecho, estas ltimas son las
que interesan en la Lgica para asegurar la validez de los razonamientos.
Se puede distinguir entre Lenguaje Natural (Resultado de un proceso de
evolucin histrico-cultural y para varios propsitos) y Lenguaje Artificial
(Fruto de una construccin deliberada y con propsitos especficos)
Un Lenguaje es un sistema de signos cuyo propsito es comunicarnos
con los dems, dichos signos son convencionales y apuntan a algo distinto
de ellos mismos. Al hablar y estudiar los signos hablamos de un proceso
llamado Semitica, (Del griego: Semiotik, la observacin de los signos).
y en lingstica se refiere al estudio lgico de la significacin, representado
fundamentalmente, por tres ramas: Pragmtica, semntica y Sintaxis.
El proceso Semitico consta de tres (3) elementos: Un vehculo seal
(Signo), un Designatum, que es la clase de cosas a las que el Signo se
refiere, y un Intrprete del Signo.
La lengua comprende tres dimensiones de acuerdo a la relacin entre
Signo, Designatum e Intrprete, ellas son:
Semntica: (Del griego Semantiks, significativo). Ciencia que estudia el
significado de las palabras. Este estudio debe comprender todos los
aspectos de la significacin: relaciones entre significados, variaciones y
ambigedades, campo significativo de la palabra, relaciones entre
significado y referentes, etc. Dimensin Semntica: (Relacin entre el
Signo y su Designata).
Sintaxis: (Del griego Syntaxis, coordinacin). Parte de la gramtica que
estudia las relaciones de las palabras dentro de la oracin o del
enunciado. Dimensin Sintctica: (Relacin entre Signos).
Pragmtica: (Relacin entre Signo e Intrprete).Esta y la Semntica no
existe por separado.
Adems, son Disciplinas Semiticas, la Fonologa (estudio de los
sonidos), la Lexicologa Diacrnica (estudio de la evolucin de las
palabras), la Dialectologa (estudio de las variedades de una lengua en
relacin con las distintas regiones), Lenguaje de Gestos, etc.
Idea o Concepto: Es la mera interpretacin intelectual de algo que puede ser
una cosa, una cualidad.
Trminos: Es la palabra o palabras con que expresamos una idea o
concepto.
Juicio: Es aquel acto del entendimiento por el cual atribuimos un concepto a
otro concepto, o lo excluimos de el mediante una asercin afirmativa o

negativa.
Proposicin: Es la expresin verbal o escrita de un juicio, son utilizadas
cuando el lenguaje tiene una funcin informativa. Es una expresin que tiene
un determinado significado y que, en razn de un criterio definido, puede ser
calificado cono VERDADERA o FALSA, es decir tiene un Valor Veritativo.
De acuerdo a la naturaleza de la relacin entre sujeto y predicado las
PROPOSICIONES pueden ser: Categricas, Hipotticas o Disyuntivas; son
Categricas cuando el predicado se afirma o se niega del sujeto de una
manera terminante,
Las Proposiciones Categricas pueden ser:

A Universales Afirmativas Ejm.

E Universales Negativas

Ejm. Ningn avin es menos pesado que el aire.

I Particular Afirmativa

Ejm.

Algunos aviones tienen dos turbinas.

0 Particular Negativa

Ejm.

Algunos aviones no lanzan bombas.

La Lgica mientras se ocupa de los nexos que hay entre las Proposiciones
es de carcter Sintctico. La Sintaxis determina cuando una expresin est
bien construida. La Lgica es, ante todo, una sintaxis lgica, es decir, una
teora de combinaciones correctas de un sistema de smbolos a partir de
ciertas reglas de combinacin o sintaxis.
El problema de la verdad de las Proposiciones cae en el campo de la
Semntica. La Semntica estudia el significado y la interpretacin del
Lenguaje.
Discurso: (Tzvetan) Manifestacin concreta de la lengua que se produce
en un contexto particular interviniendo elementos lingsticos y las
circunstancias de su produccin: interlocutores, tiempo y lugar, as como
sus relaciones. (no son frases sino enunciados).
El razonamiento inductivo es el proceso por el cual concluimos que lo
que es verdadero acerca de ciertos individuos de una clase, es verdadero
acerca de la clase entera. Una generalizacin obtenida por induccin es
susceptible de ser destruida por un Contraejemplo.
Nunca podremos demostrar que las instancias de las cuales aun no
hemos tenido experiencia sern semejantes a aquellas de las cuales si
hemos tenido experiencia.
En el razonamiento deductivo se pasa de un grado mayor de
generalizacin a uno inferior. La conclusin no admite grados de
probabilidad, es verdadera o falsa. En otros trminos son aquellos donde
si las premisas son verdaderas, la conclusin tambin debe,
necesariamente, ser verdadera.
El razonamiento vlido es un instrumento infalible, nos garantiza la
verdad de la conclusin siempre que tengamos el cuidado de alimentarlo
con premisas verdaderas. Por el contrario si las premisas son falsas puede
ocurrir cualquier cosa,
Por ejemplo:
Todo A es B

Todos los aviones tienen alas,

Todo B es C.. Luego, Todo A es C

Veamos como de una premisa falsa puedo obtener verdades:
Todos los Mamferos son Aves.
(F)
Todas las Aves son Vertebrados.
Luego, todos Mamferos son Vertebrados. (V)
O, por el contrario, de premisas falsas puedo obtener falsedades:
Todos los Caraqueos son Colombianos. (F)
Todos los Colombianos son Europeos.
(F)
Luego, todo los Caraqueos son Europeos. (F)
El inters de la Lgica por el lenguaje se increment por la aparicin de las
Paradojas Semnticas que llevan en s una contradiccin.
El estudio de las Paradojas permiti descubrir que hay distintos niveles de
Lenguaje.
Por ejemplo, si quiero explicar lo que significa una frase en Latn, el
Lenguaje que es objeto de mi explicacin, al cual me refiero, se le llama
Lenguaje Objeto y al Lenguaje con el cual explico al Lenguaje Objeto lo
llamamos Metalenguaje.
El Metalenguaje es de un Nivel Superior, es un Lenguaje de otro Lenguaje,
Signo de otro Signo.
Cuando el Lenguaje Objeto y el Metalenguaje son idnticos (caso de los
Naturales con fontica que reproduce el sonido de los signos o palabras
habladas), entonces tenemos un Lenguaje Semnticamente Cerrado y,
segn Tarski, Contradictorio.
Esta Proposicin es Falsa Es una Paradoja Semntica por ser al
mismo tiempo Lenguaje Objeto y Metalenguaje.
Para evitar esto debemos considerar al Espaol como una cadena de
Lenguajes. Por ejemplo en Espaol 1 (Lenguaje Objeto) podemos hablar
de gatos y perros y muchas cosas ms, pero no de Espaol 1. Para hablar
de Espaol 1 necesitamos Espaol 2 (Metalenguaje).

.
SILOGISMO CATEGORICO:
Podemos considerar el silogismo como la expresin verbal o escrita de un
razonamiento que tenga la siguiente estructura:
Intervienen tres trminos (en diversos lugares) en las tres proposiciones del
silogismo.
P Trmino Mayor: Predicado de la conclusin, incluido en la premisa mayor.
S Trmino Menor: Sujeto de la conclusin, incluido en la premisa menor.
M Trmino Medio: Est en las dos premisas pero no en la conclusin.
FIGURA:
Es la disposicin que resulta del lugar que ocupa el trmino medio en las precisas.
1

MODO:
Est caracterizado por la clase de proposiciones que entran en su composicin (AE-I-O. Tres de estas letras nos servirn para identificar el modo correspondiente
del silogismo.
No todos los resultados pueden considerarse como vlidos, porque algunos se
oponen a algunas de las leyes del silogismo. Solo 19 de ellos son legtimos.
LEYES DEL SILIGISMO:
1.- El silogismo debe constar solo de tres trminos: Medio, Mayor y Menor.
2.- Ningn trmino debe tener significacin ms Universal en la conclusin que
en las premisas
3.- El trmino Medio se ha de tomar universalmente por lo menos en una de las
premisas.
1.- El trmino Medio no debe entrar en la conclusin,
5.- De dos premisas afirmativas no se puede inferir una conclusin negativa.
6.- De dos premisas negativas no puede sacarse conclusin.
7.- La conclusin sigue siempre la peor parte. (Si una de las dos premisas es
negativa, la conclusin es negativa, lo mismo si es particular).
8.- De dos premisas particulares no se infiere conclusin.
En la primera figura solo son vlidos cuatro modos, ellos son:
AAA, EAE, AII, EIO.
En la segunda figura:
EIE, AEE, EIO, AOO.
En la tercera figura:
AAI, EAO, IAI, OAO, AII, EIO.
En la cuarta figura:
AAI, EAO, IAI, AEE, EIO.
La primera figura ha sido considerada como perfecta. Los modos vlidos de las
dems figuras pueden convertirse en modos de la primera, a dicho proceso se le
llama REDUCCION. Por ejemplo el AEE de la segunda figura se reduce al EAE de
la primera, veamos un ejemplo:
Todos los cetceos son mamferos (A)
Ningn pez es mamfero (E)

Ningn mamfero es pez (E)

Todos los cetceos son mamferos

(A)
Luego, NINGN PEZ ES CETACEO (E)
Luego, NINGN PEZ ES
CETACEO (E)

LGICA MATEMTICA
El uso de smbolos ha sido privilegio de la lgica contempornea, y fue a travs de
este que se fundaron las bases para realizar un verdadero clculo lgico, es decir,
aqu se descubre la analoga entre la lgica y la matemtica, en ambas ciencias,
el razonamiento queda reducido a una manipulacin de signos, a un clculo,
entendindose por tal, la realizacin mecnica de ciertas operaciones en base a
determinados elementos y a determinadas reglas.
SIMBOLISMO PROPOSICIONAL.
Cualquiera de las consonantes del vocabulario (p,q,r) es apta para
simbolizar y representar cualquier proposicin. Dicha consonante recibe el
nombre de letra proposicional, por ejemplo "p" podra simbolizar la
proposicin:
"Samuel se re".
SIMBOLISMO Y LEYES DE LOS CONECTIVOS PROPOSICIONALES.
Se conocen con el nombre de "CONECTIVOS" aquellos elementos que
sirven para entrelazar entre si las proposiciones atmicas, dando as
paso a la formacin de proposiciones compuestas o moleculares. Por
ejemplo:
Mara es bonita (atmica).
Mara es bonita y Pedro es alto
(compuesta).
Luego, proposicin atmica es aquella que carece de conectivos o de
trminos de enlace. Las compuestas sern todo lo contrario. Los
enunciados compuestos son Extensionales cuando su valor veritativo
queda determinado con slo fijar el valor veritativo de los enunciados que lo
componentes.
1) CONECTIVO DE NEGACIN.
A la negacin se le llama conectivo singular, porque por lo general acta sobre
una nica proposicin, negndola.
La negacin se puede representar por una pequea raya horizontal, colocada
encima de la proposicin negada o a la izquierda de la misma. Se lee "no P".
La tabla de verdad correspondiente al conectivo NO es la siguiente:

P
V
F

~P
F
V
No hay otras posibilidades.

2) CONECTIVO DE CONJUNCIN.
Este conectivo une entre si, dos o ms proposiciones atmicas o simples.
El smbolo que utilizaremos para simbolizar este conectivo es

. Se lee "y".

"P' y 'Q" son dos proposiciones, su conjuncin se escribir p q" y se leer "p y
"q".
La tabla de la verdad de este conectivo es:
P
V
V
F
F

Q
V
F
V
F

PQ
V
F
F
F

Conforme a la precedente tabla de verdad, la conjuncin de dos preposiciones es

verdadera solo cuando ambas proposiciones son verdaderas. En todos los dems
casos, la conjuncin es falsa.
3) CONECTIVO DE DISYUNCIN INCLUSIVA.
Nos referimos en este caso a la o Se simboliza v. As la proposicin p v q se
leer p q. Su tabla es:
P Q PvQ
V
V
V
V
F
V
F
V
V
F
F
F
nicamente sern falsas cuando todas las proposiciones que entran en su
composicin son falsas.
4) CONECTIVO DE DISYUNCIN EXCLUSIVA.
Nos referimos en este caso a la oo Se simboliza v. As la proposicin p v q se
leer p o q. Su tabla es:

10

P Q PvQ
V
V
F
V
F
V
F
V
V
F
F
F
Sern falsas cuando las proposiciones que entran en su composicin son ambas
verdades o ambas falsas.
5) INCOMPATIBILIDAD.
Su tabla es:
P Q P Q
V
V
F
V
F
V
F
V
V
F
F
V
Ser falsa cuando las proposiciones que entran en su composicin son ambas
verdaderas.
6) NEGACIN CONJUNTA.
Su tabla es:
P Q P Q
V
V
F
V
F
F
F
V
F
F
F
V
Ser verdad cuando las proposiciones que entran en su composicin son ambas
falsas.
7) CONECTIVO DE IMPLICACIN.
La proposicin compuesta formada por el uso de este conectivo se llama
implicativa o condicional y el smbolo utilizado para representar este conectivo es
insertado entre las dos proposiciones que entran en la implicacin y se lee Si
. Entonces
En la proposicin indicativa p q p seria antecedente y q el consecuente. Se
leera si p entonces q.
La tabla de la verdad seria:
P Q P Q
V
V
V
V
F
F
F
V
V
F
F
V
Luego una proposicin condicional es falsa si el antecedente es verdadero y el

11

consecuente es falso, en todos los dems casos, la implicacin es verdadera.

8) CONECTIVO DE EQUIVALENCIA.
Se llama bicondicional o equivalencias las proposiciones compuestas que se
forman con el uso de este conectivo que se simboliza por medio del signo
y se lee si y solo si.
La proposicin p q se leer p si y solo si q
Se llama bicondicionales por estar formadas por dos condicionales.
La representacin simblica de esta equivalencia sera:
(p q) [(p q) (q p)]
La tabla de la verdad de este conectivo es:
P
Q
P Q
V
V
V
V
F
F
F
V
F
F
F
V
La bicondicional es verdadera en el caso de que las dos proposiciones que la
componen sean las dos verdaderas o las dos falsas. En los dems casos, la
bicondicional ser falsa.
En la lgica resulta necesario el uso de parntesis ya que, solamente as,
podemos interpretar correctamente determinadas proposiciones compuestas, por
estar forzadas por varios conectivos y desconocer cul es el de mayor jerarqua.
Generalmente, este conectivo principal queda siempre flotando, mientras los
dems quedan encerrados en los parntesis correspondientes a su grupo (o bien
llaves y corchetes).
PROPOSICIN TAUTOLGICA:
Es aquella que es verdadera, independientemente de los valores de verdad de las
atmicas que entran en su composicin, luego en la columna final de la tabla
figura nicamente el valor de verdad "V".
PROPOSICIN CONTRADICTORIA:
Es aquella que es falsa (F) siempre, independientemente de los valores de verdad
de las atmicas que entran en su composicin.
PROPOSICIONES CONTINGENTES:
Tambin llamadas indeterminadas, presentan en la columna final de la tabla
indistintamente distribuidos los valores de verdad (V o F).

12

Un razonamiento es vlido para la Lgica Proposicional si y slo si el

condicional cuyo antecedente es la conjuncin de sus premisas y cuyo
consecuente es la conclusin, resulta ser una Tautologa.

INFERENCIA LOGICA PROPOSICIONAL

La lgica es una ciencia eminentemente deductiva. Inferencia es un sinnimo de
deduccin. En la lgica proposicional llamamos premisas al conjunto de
proposiciones de las cuales partimos cuando razonamos. Llamamos conclusin a
la proposicin en la cual desembocamos al finalizar el razonamiento. Y a todo ese
proceso que tiene que verificarse entre esos dos puntos, de partida y de llegada,
lo llamamos proceso de deduccin o proceso de inferencia. Este proceso de
inferencia debe estar sometido a unos criterios y reglas que garanticen la
legitimidad y validez de dicho proceso. Expondremos algunos principios lgicos,
leyes y reglas tiles y necesarias para inferir. Estas leyes y reglas de inferencia se
pueden reducir a tautologas bsicas. Una sencilla tabla de verdad nos descubrira
el carcter tautolgico de los principios, leyes y reglas de inferencia.
PRINCIPIOS LGICOS:
1) IDENTIDAD
PP
P P
2) NO CONTRADICCIN
~ ( P ~ P)
3) TERCER EXCLUIDO
Pv~P
4) DOBLE NEGACIN
P ~ ~ P
5) SIMPLIFICACIN
(PQ)P
(PQ)Q
6) CONMUTACIN
(P Q ) ( Q P )
( P v Q ) (Q v P )

13

( P Q ) ( Q P )
7) ADICIN
P(PvQ)
P ( P v Q)
8) ADJUNCCIN
P, Q ( P Q )
9) DISTRIBUCIN
( P ( Q v R) ( P Q ) v ( P R )
( P v ( Q R ) ( P v Q ) ( P v R )
( P ( Q R ) ( P Q ) ( P R)
( P ( Q v R ) (P Q ) v ( P R )
10) SILOGISMO HIPOTETICO
[( P Q ) ( Q R )] ( P R )
11) SILOGISMO DISYUNTIVO
[(PR)(QS)(PvQ)](RvS)
12) EXPORTACIN
[ ( P Q ) R ] [ P ( Q R ) ]
13) TRANSPOSICIN
( P Q ) ( ~ Q ~ P )
14) BICONDICIONAL
[ ( P Q)] [ ( P Q ) ( Q P )]
15) CONDICIONAL CONJUCIN
( P Q ) ~ ( P ~ Q )
16) CONDICIONAL DISYUNTIVA
(PQ)(~PvQ)
17) LEYES DE MORGAN
~ ( P Q ) ( ~ P v ~ Q )
~(PvQ)(~P~Q)
18) PONENDO PONENS

14

[(PQ)P]Q
19) TOLLENDO TOLLENS
[(PQ)~Q]~P
20) TOLLENDO PONENS
[(PvQ)~P]Q
[(PvQ)~Q]P