Você está na página 1de 11

2

Lgica y
clculo
proposicional
Copyright 2014. Grupo Editorial Patria. All rights reserved.

Objetivos
Q Identicar las clases de proposiciones que se pueden encontrar en un enunciado.
Q Analizar los enunciados para la elaboracin de las tablas de verdad.
Q Traducir proposiciones del lenguaje verbal a variables lgicas y viceversa.
Q Identicar si un argumento es vlido o invlido, as como demostrar su validez.
Q Comprender los principios de las operaciones del clculo proposicional y sus aplicaciones.

Villalpando, B. J. F. (2014). <i>Matemticas discretas: aplicaciones y ejercicios</i>. Retrieved from http://ebookcentral.proquest.com


Created from unadsp on 2017-10-25 18:58:00.
20 Captulo 2 Lgica y clculo proposicional

2.1 Introduccin
Lgica es un trmino que deriva del griego
 o

 (logik o logiks), que a su vez proviene de


(logos), que significa razn. La lgica se considera una ciencia formal cuyo objeto de estudio son los distintos
principios de demostracin que permitan comprobar que una afirmacin pueda ser considerada como vlida.
La metodologa de trabajo de la lgica consiste en examinar la validez o la invalidez de una afirmacin
mediante la aplicacin de una sistematizacin en los argumentos y, por ende, de un anlisis de su estruc-
tura lgica, sin tener en cuenta el contenido de lo que se ha argumentado ni considerar siquiera el lenguaje
utilizado, y sin contemplar el estado de realidad del contenido.
La lgica se aplica en muy diversas reas. En ingeniera es de gran utilidad en la electrnica, para el dise-
o de circuitos mediante compuertas lgicas, y en programacin, para el diseo de programas que requieren
la unin de operadores lgicos. En administracin, porque esta hace uso de los conocimientos organizados
para dar solucin a problemas reales. En derecho, su aplicacin se conoce como lgica jurdica, conside-
rada un mtodo de investigacin para entender a la ciencia del derecho, que obtiene su principal fuente del
conocimiento en la razn y no de la experiencia.

Bertrand Arthur William Russell, lsofo, lgico, matemtico y escritor britnico, realiz aportaciones inno-
vadoras a los fundamentos de las matemticas y al desarrollo de la lgica formal contempornea, as como
a la losofa analtica. Sus aportaciones a las matemticas incluyen el descubrimiento de la paradoja Russell,
la defensa del logicismo (la visin acerca de que las matemticas son, en algn sentido signicativo, reduci-
bles a la lgica formal), la introduccin a la teora de los tipos y el perfeccionamiento y la divulgacin de la
lgica de primer orden o clculo de predicados de primer orden. Se le considera, junto con Kurt Gdel, como
uno de los dos logicistas ms destacados del siglo XX.
Figura 2.1 Bertrand Arthur
William Russell (1872-1970).

2.2 Proposiciones y operadores lgicos


La proposicin: caractersticas y estructura
Una proposicin o enunciado constituye una oracin que tiene un valor de verdad, es decir, puede ser verda-
dera o falsa, pero no ambas. La proposicin es uno de los elementos fundamentales en lgica.
Si la oracin es una pregunta, una orden, carece de sentido o es muy imprecisa, entonces no puede ser
clasificada como verdadera o falsa, y por tanto no puede ser una proposicin.
Copyright 2014. Grupo Editorial Patria. All rights reserved.

E JEMPLO Solucin
Cules de las siguientes oraciones son pro- Las oraciones 1 y 2 son proposiciones, ya que pueden tomar un
posiciones? valor verdadero o falso.
1. La Tierra es plana. En estos momentos no es posible determinar la certeza o false-
2. 3  6  8. dad de la oracin 3; sin embargo, en principio, s puede deter-
minarse si es verdadera o falsa, por tanto tambin se considera
3. La temperatura del ncleo del Sol es de
una proposicin.
6 000 C.
La 4 es una oracin, pero no una proposicin, ya que es verda-
4. x  y  24.
dera o falsa dependiendo de los valores de x y y en determina-
5. Vas a la tienda? do momento.
6. Toma tu medicina. La oracin 5 es una pregunta, no una proposicin.
7. La seleccin mexicana ganar maana La oracin 6 es una orden, pero no una proposicin.
la copa mundial.
La oracin 7 es una proposicin que puede ser verdadera o falsa,
pero debemos esperar hasta maana para saber su valor de verdad.
Villalpando, B. J. F. (2014). <i>Matemticas discretas: aplicaciones y ejercicios</i>. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2017-10-25 18:58:00.
Proposiciones y operadores lgicos 21

Clasicacin de las proposiciones


Antes de clasificar las proposiciones, es preciso considerar cmo representarlas para luego hacer referencia
a estas en diversas expresiones lgicas.
En matemticas, las letras x, y, z, se utilizan para representar variables que pueden ser reemplazadas
con nmeros, las cuales pueden ser combinadas con diversos operadores, como: , , , .
Por su parte, en lgica las letras p, q, r, se usan para re-
presentar variables proposicionales, esto es, variables que
E JEMPLO
pueden ser reemplazadas por proposiciones simples. Si se tiene la siguiente proposicin: La Tie-
As, es posible utilizar una proposicin haciendo referen- rra es plana, esta se puede representar eli-
cia solo a la variable proposicional utilizada. giendo una variable proposicional, digamos
En lgica se pueden encontrar dos clases de proposiciones: p. De este modo, la proposicin simple
simples o atmicas y compuestas o moleculares. quedara representada de la siguiente for-
ma: p: La Tierra es plana.

Proposiciones simples o atmicas


Las proposiciones simples o atmicas son aquellas que estn estructuradas por una nica oracin. Para su
representacin, a la proposicin se le asigna una variable proposicional.

E JEMPLO
p: El oro es un metal precioso.
q: Hoy es martes.
r: Benito Jurez naci en Oaxaca.
s: Rodolfo Neri Vela fue el primer astronauta mexicano.

Supngase que se quiere negar alguna proposicin simple, denotada como a; entonces, si se quiere
decir que Hoy no es martes, se puede escribir aq, haciendo referencia a la variable proposicional elegida.

Proposiciones compuestas o moleculares


Las proposiciones compuestas o moleculares son aquellas que estn estructuradas por dos o ms proposicio-
nes simples unidas por operadores lgicos, tales como , , , , entre otros. En el caso de las proposiciones
compuestas, a cada proposicin simple que la forma se le puede asignar una variable proposicional.

E JEMPLO
Copyright 2014. Grupo Editorial Patria. All rights reserved.

a) Pitgoras era griego y gemetra.


b) El sentido de la calle es hacia el norte o hacia el sur.
c) Si salgo tarde, entonces no visitar a la abuela.
d) Ir al cine si y solo si t pagas las palomitas.

Al leer cualquiera de las proposiciones compuestas anteriores, es posible observar a simple vista que
todas ellas estn formadas por dos proposiciones simples.
Al analizar el inciso a), se comprueba que esta proposicin compuesta est estructurada por las propo-
siciones simples:
p: Pitgoras era griego.
q: Pitgoras era gemetra.

Al combinar ambas proposiciones se utiliza el operador lgico , que se estudiar ms adelante. Dicha
proposicin compuesta se puede representar como: p y q, haciendo referencia a las variables proposicio-
nales utilizadas.
Villalpando, B. J. F. (2014). <i>Matemticas discretas: aplicaciones y ejercicios</i>. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2017-10-25 18:58:00.
22 Captulo 2 Lgica y clculo proposicional

Es importante destacar que, en ocasiones, los operadores estn presentes de manera implcita dentro de
la oracin.

E JEMPLO
Sea la siguiente oracin
Si estudio, triunfar en la vida.
En primera instancia, esta parece una proposicin simple, pero si se observa con mayor detalle, se nota que tiene
dos verbos: estudiar y triunfar, lo que indica que tiene ms de una proposicin simple; por tanto, se trata de una
proposicin compuesta. En este caso el operador implcito es entonces, y se puede expresar de la siguiente manera:

Si estudio, entonces triunfar en la vida.


Esto permite destacar que no siempre se descubren a primera vista los operadores en una proposicin compuesta.

Traduccin del lenguaje natural al simblico


y del lenguaje simblico al natural
Antes de estudiar cmo traducir del lenguaje natural al simblico y viceversa, primero se define cada uno
de estos lenguajes.

Lenguaje natural
Por lengua natural se entiende a la lengua utilizada normalmente (lengua materna) en una comunidad de
individuos para la comunicacin entre ellos. Es decir, el lenguaje que hablamos en nuestra vida cotidiana,
que en nuestro caso es el espaol.

Lenguaje simblico
La lgica cuenta con un sistema de smbolos construido en especial para lograr precisin y operativi-
dad. La lgica se expresa, pues, en un lenguaje artificial. El lenguaje de la lgica es, adems, un lenguaje
formal constituido por smbolos.
Al simbolizar un lenguaje lo que se persigue es, bsicamente, sencillez, claridad y exactitud. Pues, en este
caso, es ms sencillo y resulta ms claro y exacto representar las cosas mediante smbolos.
Por este motivo, la simbolizacin del lenguaje lgico permite examinar con mayor facilidad las formas
Copyright 2014. Grupo Editorial Patria. All rights reserved.

del pensamiento y sus leyes.

Traducir
Trabajar con proposiciones requiere la aptitud de poder traducirlas del N ota
lenguaje natural al simblico (tambin denominada traduccin simb-
lica) y viceversa. Aunque en la prxima seccin se es-
En el apartado anterior vimos cmo representar proposiciones me- tudiarn los operadores lgicos con
diante variables proposicionales, las cuales pueden ser reemplazadas por ms detalle, aqu se pueden utilizar
proposiciones simples, lo cual constituye una traduccin simblica de di- algunos de los ya vistos de una ma-
chas proposiciones. nera informal.
Para traducir proposiciones compuestas, primero se eligen las varia-
bles proposicionales necesarias con base en las proposiciones simples involucradas, adems de los respec-
tivos operadores lgicos que las relacionan.
En muchas ocasiones, elegimos las variables proposicionales de tal manera que hagan alusin al conte-
nido mismo de la proposicin.

Villalpando, B. J. F. (2014). <i>Matemticas discretas: aplicaciones y ejercicios</i>. Retrieved from http://ebookcentral.proquest.com


Created from unadsp on 2017-10-25 18:58:00.
Proposiciones y operadores lgicos 23

E JEMPLO
Si se tiene la proposicin simple: Miguel Hidalgo es el padre de la Patria, es posible escoger las variables proposi-
cionales m para hacer alusin a Miguel Hidalgo y p para padre de la Patria.

Tambin es posible hacer lo mismo para las proposiciones compuestas.

E JEMPLO
Hacer la traduccin lgica de la proposicin compuesta:
Miss Universo es atractiva e inteligente.
En primera instancia, se puede observar que la proposicin en cuestin est constituida por las proposiciones
simples:
a: Miss Universo es atractiva.
i: Miss Universo es inteligente.
por lo que a i es su traduccin lgica.

Pero, no solo se requiere traducir del lenguaje natural al simblico; en muchas ocasiones tambin se
requiere hacer una traduccin del lenguaje simblico al natural.

E JEMPLO Solucin
Sean las proposiciones simples: 1. Guadalajara gana el campeonato y
g: Guadalajara gana el campeonato. Amrica no gana el campeonato.
a: Amrica gana el campeonato. 2. Guadalajara no gana el campeonato y
Amrica gana el campeonato.
Y se desea traducir las siguientes proposiciones al lenguaje natural:
3. Guadalajara no gana el campeonato.
1. g aa
4. Amrica no gana el campeonato.
2. ag a
3. ag
4. aa

Cuando se vean ms a fondo los operadores lgicos, entonces se podrn traducir proposiciones com-
puestas constituidas por ms de dos proposiciones simples.
Copyright 2014. Grupo Editorial Patria. All rights reserved.

Operadores lgicos
Los operadores lgicos son aquellos smbolos que permiten decidir qu valor de verdad tiene una proposi-
cin.
El valor de verdad de una proposicin simple puede ser verdadero o falso, y los nicos operadores lgicos
que se pueden utilizar en estas proposiciones son la negacin y la doble negacin.
El valor de verdad de una proposicin compuesta es verdadero o falso y depende de los valores de verdad
de las proposiciones simples que la estructuran, las cuales estn combinadas por operadores lgicos.
Ahora, se definen y analizan los operadores lgicos, incluyendo su tabla de verdad; aunque algunos de
estos ya se mencionaron en el apartado anterior.

Negacin (a)
La negacin de cualquier proposicin p ser falsa cuando se niegue una proposicin verdadera y ser verda-
dera cuando se niegue una proposicin falsa.

Villalpando, B. J. F. (2014). <i>Matemticas discretas: aplicaciones y ejercicios</i>. Retrieved from http://ebookcentral.proquest.com


Created from unadsp on 2017-10-25 18:58:00.
24 Captulo 2 Lgica y clculo proposicional

Algunas formas de la negacin son: no, nunca, ni, ja-


ms, es falso, no es cierto, no ocurre, de ninguna forma,
Tabla 2.1 Tabla de verdad de la negacin
por nada de, en lo absoluto, entre otras. La tabla de ver- p ap
dad de la negacin se muestra en la tabla 2.1.
V F

F V

E JEMPLO
p: El acusado dice la verdad.
ap: El acusado no dice la verdad.
En este caso, ap tambin se puede traducir como: no es cierto que el acusado dice la verdad o es falso que el
acusado dice la verdad.

Doble negacin
Si la negacin de cualquier proposicin p verdadera es
falsa, entonces cuando se vuelve a negar ser nuevamen- Tabla 2.2 Tabla de verdad
te verdadera; en caso contrario, si la negacin de una pro- de la doble negacin
posicin falsa es verdadera, al volverse a negar esta ser p a(ap)
falsa de nuevo.
La tabla de verdad de la doble negacin se representa V F
en la tabla 2.2, donde se observa que a(ap) y p tienen los F V
mismos valores de verdad. Entonces, la doble negacin
de una proposicin es igual a la proposicin original.
Algunas formas de la doble negacin son: no es cierto que no, no ocurre que no, no es falso que, no es
cierto que no ocurre que, no es cierto que jams, etctera.

E JEMPLO
p: El acusado dice la verdad.
 ap: El acusado no dice la verdad.
a(ap): No es cierto que el acusado no dice la verdad.
Por tanto: el acusado dice la verdad.
Copyright 2014. Grupo Editorial Patria. All rights reserved.

Conjuncin ()
Si p y q representan dos proposiciones simples, entonces la proposi-
cin compuesta p q, solo ser verdadera cuando las dos proposicio- Tabla 2.3 Tabla de verdad
de la conjuncin
nes lo sean.
Algunas formas de la conjuncin son: y, adems de, tambin, as p q p q
como, pero, e, entre muchas otras.
Adems, la conjuncin es conmutativa, es decir: V V V

V F F
p q  q p
F V F
La tabla de verdad de la conjuncin se muestra en la tabla 2.3.
F F F

Villalpando, B. J. F. (2014). <i>Matemticas discretas: aplicaciones y ejercicios</i>. Retrieved from http://ebookcentral.proquest.com


Created from unadsp on 2017-10-25 18:58:00.
Proposiciones y operadores lgicos 25

E JEMPLO
p: El acusado es pobre.
q: El acusado es honesto.
p q: El acusado es pobre, pero honesto.
r: El helio es ms liviano que el aire.
s: El helio es explosivo.
r s: El helio es ms liviano que el aire y es explosivo.

Disyuncin inclusiva ()
Si p y q representan dos proposiciones simples, entonces la proposicin
compuesta p q solo ser falsa cuando las dos proposiciones lo sean. Tabla 2.4 Tabla de verdad de
la disyuncin inclusiva
Algunas formas de la disyuncin inclusiva son: o, o bien, u, entre
otras. p q p q
La disyuncin tambin es conmutativa, es decir:
V V V
p q  q p V F V

La tabla de verdad de la disyuncin inclusiva se muestra en la F V V


tabla 2.4. F F F
Este operador se denomina inclusivo, precisamente porque es ver-
dadero, aun cuando se cumplen las dos disyuntivas.

E JEMPLO
r: Llover en la tarde.
s: Saldr el Sol.
r s: Llover en la tarde o saldr el Sol.

Disyuncin exclusiva ()
Si p y q representan dos proposiciones simples, entonces la proposicin compuesta p q solo ser falsa
cuando las dos proposiciones tuvieren el mismo valor de verdad.
Se denomina disyuncin exclusiva porque se tiene que elegir una de cualquiera de las dos disyuntivas,
Copyright 2014. Grupo Editorial Patria. All rights reserved.

pero no ambas.
Algunas formas de la disyuncin exclusiva son: o, o bien, u, o o,
Tabla 2.5 Tabla de verdad de
entre otras. la disyuncin inclusiva
La disyuncin exclusiva es conmutativa, es decir:
p q p q
p q  q p V V F

La tabla de verdad de la disyuncin exclusiva se muestra en la V F V


tabla 2.5. F V V

F F F

Villalpando, B. J. F. (2014). <i>Matemticas discretas: aplicaciones y ejercicios</i>. Retrieved from http://ebookcentral.proquest.com


Created from unadsp on 2017-10-25 18:58:00.
26 Captulo 2 Lgica y clculo proposicional

E JEMPLO
t: Apruebas el ciclo escolar.
u: Repruebas el ciclo escolar.
t u: Apruebas o repruebas el ciclo escolar.
r: Estoy en Guadalajara.
s: Estoy en Monterrey.
r s: Estoy o en Guadalajara o en Monterrey.
Ya que, como es evidente, no es posible que una persona se encuentre en ambos lugares al mismo tiempo, por eso
solo debe estar en un solo lugar.

2.3 Proposiciones condicionales


Condicional o implicacin ()
Si p y q representan dos proposiciones simples, entonces la proposicin
compuesta p q solo ser falsa cuando p, llamado antecedente o hip-
Tabla 2.6 Tabla de verdad de
la condicional
tesis, sea verdadero y q, llamado consecuente o conclusin, sea falso.
Algunas formas de la condicional o implicacin son: si entonces, p q p q
se sigue, por tanto, se infiere, de ah que, se deduce, implica, entre otras. V V V
La condicional no es conmutativa, es decir:
V F F
p q zq p F V V

La tabla de verdad de la condicional se muestra en la tabla 2.6. F F V


Este operador tiene diversos sentidos, pero uno de los ms utilizados
es cuando no es posible que p sea verdadera y que, al mismo tiempo, q
sea falsa. En este caso, la nica posibilidad es que la condicional sea falsa.

E JEMPLO
t: Llueve.
u: Me mojar.
t u: Si llueve, entonces me mojar.
Copyright 2014. Grupo Editorial Patria. All rights reserved.

p: Estudio.
q: Aprobar el ciclo escolar.
p q: Si estudio, entonces aprobar el ciclo escolar.

La condicional tambin se puede encontrar en alguna de las formas siguientes:

r Si p entonces q.
r Si p, q.
r p entonces q.
r q si p.
r p es condicin suficiente para q.
r q es condicin necesaria para p.
r p implica a q.

Villalpando, B. J. F. (2014). <i>Matemticas discretas: aplicaciones y ejercicios</i>. Retrieved from http://ebookcentral.proquest.com


Created from unadsp on 2017-10-25 18:58:00.
Tablas de verdad 27

En todos los casos anteriores, p es el antecedente y q el consecuente; en otras palabras, todos se repre-
sentan p q.

Bicondicional o equivalencia ()
Si p y q representan dos proposiciones simples, entonces la proposi-
Tabla 2.7 Tabla de verdad de
cin compuesta p q, solo ser verdadera cuando ambas proposicio- la bicondicional
nes tengan el mismo valor de verdad.
p q p q
Algunas formas de la bicondicional son: si y solo si, entonces y
solo entonces, es idntico, equivale a, es equivalente a, entre otras V V V
ms.
V F F
La bicondicional es conmutativa, es decir:
F V F
p q  q p
F F V

La tabla de verdad de la bicondicional se muestra en la tabla 2.7.


Adems, si p q y q p entonces p q.

E JEMPLO
p: Si un polgono tiene cuatro lados, entonces es un cuadriltero.
q: Si un polgono es un cuadriltero, entonces tiene cuatro lados.
p q: Un polgono es cuadriltero si y solo si tiene cuatro lados.

2.4 Tablas de verdad


Aunque ya se han utilizado las tablas de verdad para obtener los valores de verdad de proposiciones simples
y compuestas, an no las hemos definido formalmente.
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una
proposicin compuesta, as como de algunos casos de proposiciones simples, cuando estas utilizan los ope-
radores lgicos de negacin y doble negacin, dependiendo de los operadores lgicos usados y de los valores
de verdad de las proposiciones simples involucradas.
Copyright 2014. Grupo Editorial Patria. All rights reserved.

La tabla de verdad de todos los operadores lgicos vistos antes se muestra en la tabla 2.8.

Las tablas de verdad fueron desarrolladas por el lsofo y matemtico estadounidense Charles Sanders
Peirce el ao 1880, pero el formato ms popular es el que introdujo el matemtico y lsofo britnico Ludwig
Wittgenstein (1889-1951) en su obra Tractatus logico-philosophicus, publicado en 1921. Segn Wittgenstein, el
mtodo de tablas de verdad sirve para determinar las condiciones de verdad de un enunciado; es decir su
signicado, en funcin de las condiciones de verdad de sus elementos atmicos. En otras palabras, la tabla de
verdad nos dice en qu situaciones el enunciado es verdadero y en cules es falso.

Figura 2.2 Ludwig Josef Johann


Wittgenstein (1889-1951).

Villalpando, B. J. F. (2014). <i>Matemticas discretas: aplicaciones y ejercicios</i>. Retrieved from http://ebookcentral.proquest.com


Created from unadsp on 2017-10-25 18:58:00.
28 Captulo 2 Lgica y clculo proposicional

Tabla 2.8 Tabla de verdad de los operadores lgicos


p q ap aq a(ap) a(aq) p q p q p q p q p q

V V F F V V V V F V V

V F F V V F F V V F F

F V V F F V F V V V F

F F V V F F F F F V V

Construccin de una tabla de verdad


La importancia de las tablas de verdad radica en que gran parte del razonamiento lgico y de las relaciones
entre proposiciones se pueden ilustrar a travs de estas.
Para construir una tabla de verdad se efectan los siguientes pasos:

1. Asignar variables proposicionales a cada proposicin simple.


2. Obtener la traduccin lgica de la proposicin compuesta.
3. Obtener la cantidad de todas las combinaciones de valores de verdad de las premisas. La cantidad
de valores de verdad est dado por la frmula 2n, donde n es la cantidad de variables proposiciona-
les de las premisas.
As:
Tabla 2.9
Nm. de variables proposicionales Combinaciones
1 2
2 4
3 8
4 16
5 32
6 64
}

n 2n
Copyright 2014. Grupo Editorial Patria. All rights reserved.

4. Asignar a cada variable proposicional los valores de verdad correspondientes.


5. Resolver las operaciones lgicas.

E jemplo
Construir la tabla de verdad de la proposicin compuesta:
Mi to no vino a dormir y no fue a trabajar.

Solucin
1. Asignar variables proposicionales.
Dicha proposicin est compuesta por las proposiciones simples:
p: Mi to no vino a dormir.
q: Mi to no fue a trabajar.

Villalpando, B. J. F. (2014). <i>Matemticas discretas: aplicaciones y ejercicios</i>. Retrieved from http://ebookcentral.proquest.com


Created from unadsp on 2017-10-25 18:58:00.
Los argumentos: premisas y conclusiones 29

Contina

2. Realizar traduccin lgica.


Como se observa, las proposiciones p y q estn negadas, por lo que su traduccin lgica es:
ap aq
3. Obtener la cantidad de combinaciones de valores de verdad.
Como se tienen dos variables proposicionales, la cantidad de combinaciones de valores de verdad ser:
22  4
4. Asignar valores de verdad a variables proposicionales.
En este caso, tambin se incluyen los valores de verdad de las proposiciones negadas.

Tabla 2.10
p q ap aq

V V F F

V F F V

F V V F

F F V V

5. Resolver las operaciones lgicas.

Tabla 2.11
p q ap aq ap aq

V V F F F

V F F V F

F V V F F

F F V V V

2.5 Los argumentos: premisas y conclusiones


Copyright 2014. Grupo Editorial Patria. All rights reserved.

Los razonamientos que estudia la lgica se llaman argumentos y su tarea consiste en descubrir qu es lo que
hace que un argumento sea vlido y constituya una inferencia correcta.
Por su parte, la inferencia es una actividad con la cual se afirma una proposicin sobre otra y otras pro-
posiciones se aceptan como punto de partida del proceso.
Un argumento es un conjunto de una o ms proposiciones, la ltima de las cuales se denomina conclu-
sin, mientras que las anteriores se llaman premisas.
De manera intuitiva, las premisas son la evidencia o las razones que deben convencernos de la veracidad
de la conclusin, y el argumento es la concatenacin de las primeras con la ltima.
Es habitual representar los argumentos haciendo un listado de las premisas y la conclusin, separando
la ltima mediante una lnea, como se observa a continuacin:

Proposicin 1
Proposicin 2
Premisas

Conclusin
Villalpando, B. J. F. (2014). <i>Matemticas discretas: aplicaciones y ejercicios</i>. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2017-10-25 18:58:00.

Você também pode gostar