Conjuntos Numéricos, Estructuras Algebraicas y Fun... - (PG 18 - 30)

RAMN RODRGUEZ VALLEJO
1. INTRODUCCIN
El ser humano vive inmerso en la naturaleza. La necesidad ancestral de

supervivencia biolgica, al igual que la del resto de los seres vivos, le ha obligado a
un proceso de adaptacin al medio, pero intentando llegar ms lejos. A diferencia
de otros seres, el hombre no se ha limitado a adaptarse a aqul, sino que, como
fruto de su curiosidad natural y su deseo de saber, ha procurado conocerlo y
dominarlo. Dentro de este contexto comenzaremos nuestra exposicin.
La primera aproximacin al estudio de cualquier faceta de la naturaleza es
siempre descriptiva y experimental, con un sentido frecuentemente prctico. La
Matemtica, al igual que el resto de las ciencias, comienza siendo experimental y
utilitaria. Sin embargo, segn ya hemos esbozado, el ser humano no se conforma
con observar los hechos de la vida y pretende ir ms all. Gracias a su intuicin se
propone tambin predecir secuelas de experiencias imaginadas que guarden alguna
relacin con las conocidas. Por tanto, la importancia de la intuicin en el proceso de
matematizacin es fundamental.
En las pginas de este libro encontraremos mltiples definiciones, axiomas,
teoremas o proposiciones, corolarios, ..., integrantes, junto a un modo particular de
razonamiento, de lo que se ha venido en llamar el edificio matemtico,
constituido por conjuntos, aplicaciones y estructuras. Todo ello proviene de que,
desgraciadamente, las posibilidades de la intuicin humana son limitadas. En
ocasiones no basta para predecir determinados efectos y algunas veces incluso nos
puede engaar. Por eso la Matemtica es una ciencia deductiva, que utiliza los
mtodos de la Lgica para organizar y sistematizar los resultados obtenidos
mediante la experiencia y la intuicin. Veamos en sntesis su forma de actuar.
Cuando empezamos a diseccionar en partes un determinado hecho natural y
establecemos relaciones entre aquellas, ya estamos construyendo un modelo
matemtico del hecho natural. El modelo matemtico es una representacin
Copyright 2013. Editorial Tbar Flores. All rights reserved.
abstracta de un determinado tipo de fenmenos reales. Su diseo responde a este

procedimiento:
a) Se inicia con un proceso de conceptualizacin, en el cual se parte de una idea
intuitiva que da lugar a un concepto inspirado en dicha idea y, posteriormente,
se prescinde del punto de partida intuitivo. As el concepto se independiza de la
situacin particular que lo origin.
b) El siguiente paso es el establecimiento de unas afirmaciones primarias y
evidentes, llamadas axiomas, que no es posible deducir a partir de otras
afirmaciones ms sencillas.
17
Rodrguez, Vallejo, Ramn. Conjuntos numricos, estructuras algebraicas y fundamentos de lgebra lineal. Volumen I: conjuntos numricos, complementos, Editorial Tbar
Flores, 2013. ProQuest Ebook Central, http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3226457.<br>Created from unadsp on 2017-11-29 15:25:03.
Editorial Tbar Flores. Prohibida la reproduccin sin la autorizacin expresa de la editorial
MATEMTICAS I: VOLUMEN I
c) Se contina, mediante mtodos deductivos, con la demostracin de nuevas

afirmaciones, denominadas teoremas, establecidas como consecuencia lgica de
nuestra axiomtica, pero que no deben tomarse como expresin de relaciones
verdaderas en la naturaleza. Dichos teoremas pueden dar lugar a corolarios
dentro del proceso deductivo.
d) Finalmente llega el momento de la aplicacin. Acabada la demostracin de los
teoremas, el matemtico trata sus adaptaciones a la naturaleza, aproximando
as el modelo matemtico al hecho natural de partida y realizando las oportunas
correcciones.
Sin embargo, en el desarrollo de la Matemtica se han formulado algunas
axiomticas que son vlidas y tienen sentido lgico para los matemticos, pero que
no derivan de cuestiones relativas a la naturaleza. A pesar de ello, estos
matemticos encontraron utilidades inesperadas de sus axiomticas y han devenido
fundamentales para el conocimiento cientfico.
NOTA 1.1.- De lo dicho anteriormente se desprende que una afirmacin es
considera verdadera cuando puede demostrarse a partir de los axiomas, o de los
teoremas deducidos previamente conforme a esos axiomas. No obstante, es preciso
fijar el modelo matemtico o teora a la que nos referimos, pues una misma
afirmacin puede ser verdadera en un modelo y falsa en otro. Un ejemplo clsico es
el del nmero de rectas paralelas a una dada que pasan por un determinado punto:
en el modelo de Euclides es nica, pues parte del plano ordinario, mientras que en
la geometra de Riemann son infinitas, al tomar como referencia la superficie
esfrica.
Pasemos ya al estudio de algunos elementos de la lgica proposicional y de
los fundamentos del razonamiento matemtico. Todo ello resultar aprovechable
cuando nos enfrentemos a la exposicin de los diferentes temas.
18
2. ELEMENTOS DE LGICA PROPOSICIONAL
2.1. PROPOSICIONES
Definicin 2.1.1.-
Se denomina proposicin a toda expresin verbal, enunciado o discurso del
cual podemos afirmar, inequvocamente, que es verdadero o falso, pero no ambas
cosas a la vez. Las proposiciones se simbolizan mediante letras minsculas,
normalmente desde la p en adelante, llamadas letras proposicionales.
Ejemplo 2.1.1.- Seran proposiciones hoy es domingo y estamos comiendo. No
lo seran, en cambio, quin es? y sal de aqu.
Definicin 2.1.2.-
A cada proposicin pueden asignrsele dos valores lgicos: es verdadera o
es falsa, que reciben el nombre de valores de verdad. Dichos valores se
representan, respectivamente, por las letras V ( 1) y F ( 0).
Ejemplo 2.1.2.-
a) La proposicin 15 es mltiplo de 3 es verdadera y adquiere el valor V 1.
b) La proposicin Pars es la capital de Italia es falsa y toma el valor F 0.
2.2. TIPOS DE PROPOSICIONES
Existen dos tipos de proposiciones:

a) Atmicas o simples.- Son aquellas que no contienen conjunciones o trminos
de enlace.
b) Moleculares o compuestas.- Son las formadas por proposiciones atmicas
relacionadas a travs de conjunciones o trminos de enlace.
Ejemplo 2.2.1.- Seran proposiciones atmicas:
1) El nmero 7 es primo.
2) Ins tiene 27 aos.
Ejemplo 2.2.2.- Como casos de proposiciones moleculares podramos sealar las
siguientes:
1) Luis est en casa y estudiando.
2) Est nublado o hace sol.
NOTA 2.2.1.- Otra clasificacin usada es la que las divide en funcin del nmero
de proposiciones atmicas que las constituyen, resultando as de orden uno, de
orden dos, etc.
19
2.3. NEXOS LGICOS Y FRMULAS LGICAS
En el apartado anterior hemos hablado de los trminos de enlace. Dichos

trminos nos permiten, a partir de proposiciones simples, obtener otras simples o
compuestas. Ello nos conduce a la:
Definicin 2.3.1.-
Las partes de un enunciado o discurso aparecen unidas o relacionadas
mediante palabras como si, entonces, o, y, no, algunos, todos, cada,
etc. Estas palabras se llaman nexos lgicos, trminos de enlace o partculas
conectivas y componen la estructura lgica del lenguaje.
La lgica proposicional utiliza distintos trminos de enlace que se hallan
recogidos en la tabla 0, siendo p y q dos proposiciones cualesquiera:
Tabla 0
NEXO LGICO SMBOLO SIGNIFICADO

Negacin no o no es cierto que p
Conjuncin pyq
Disyuncin inclusiva p o q o ambas
Condicional si p, entonces q
Bicondicional si y slo si p, entonces q
Disyuncin exclusiva /
p o q, pero no ambas
Definicin 2.3.2.-
Las expresiones en las que figuran letras proposicionales y nexos lgicos
reciben el nombre de frmulas lgicas o esquemas proposicionales. Cuando en
una frmula lgica se sustituyen las letras por proposiciones dadas, resulta una
determinada proposicin cuyo valor de verdad depende de los valores de verdad de
dichas proposiciones.
Ejemplo 2.3.1.-
a) Si designamos por p la proposicin llueve y con q la proposicin el canario no
canta, la proposicin si llueve entonces el canario no canta se simboliza a
travs de la frmula lgica p q.
b) Si p es la proposicin Luis es matemtico y q la proposicin Mara es
abogada, la proposicin Luis es matemtico y Mara es abogada se escribe
con la frmula lgica p q.
c) La proposicin Luis no es matemtico se representara por los smbolos p
p.
20
Las frmulas lgicas se denominan con los mismos trminos que sus nexos
correspondientes, es decir, negacin, conjuncin, disyuncin inclusiva,
condicional, bicondicional y disyuncin exclusiva. Relacionando dos frmulas
lgicas mediante una partcula conectiva se obtiene otra frmula lgica, que
denotar una determinada proposicin. Las dos frmulas lgicas, vinculadas por la
partcula conectiva para dar lugar a otra frmula lgica, se escriben entre
parntesis. Esto es necesario para precisar a qu proposiciones afectan cada uno de
los nexos lgicos.
Ejemplo 2.3.2.- Si p, q y r son tres proposiciones, la expresin p q r carece
de sentido, pues puede interpretarse como (p q) r, o tambin como
p (q r), y ambas frmulas lgicas poseen, de manera evidente, distinto
significado.
Ejemplo 2.3.3.- La frmula (p q) (q r) es la conjuncin de la condicional
p q y de la bicondicional q r.
NOTA 2.3.1.- En la frmula lgica p q, la proposicin p se llama antecedente
de la condicional y la proposicin q recibe el nombre de consecuente de dicha
condicional.
En una frmula lgica, las letras proposicionales se consideran variables que
pueden tomar los valores de verdad V o F. Segn los valores de verdad de dichas
letras, la frmula lgica adquiere el valor V o F siguiendo unos axiomas que
estableceremos posteriormente.
Definicin 2.3.3.-
El lgebra de proposiciones se aplica a la construccin de frmulas lgicas
y al estudio de sus propiedades.
2.4. TABLAS DE VERDAD
Para el desarrollo del lgebra de proposiciones establecemos un conjunto de

axiomas. Estos axiomas expresan las propiedades que hemos atribuido a las
proposiciones y a las frmulas lgicas que las definen.
Axioma 1.-
Toda proposicin representada por una frmula lgica es verdadera o falsa,
es decir, toma el valor V o el valor F.
Axioma 2.-
Las frmulas lgicas enunciadas simbolizan proposiciones verdaderas o
falsas, cuyos valores de verdad o falsedad dependen de los valores de verdad o
falsedad de las proposiciones que intervienen en dichas frmulas.
21
Axioma 3.-
Si p y q son dos proposiciones cualesquiera, los valores de verdad o falsedad
de sus frmulas lgicas vienen determinados por las siguientes tablas, llamadas
habitualmente tablas de verdad:
1) Negacin.-
Tabla I
p p
V F
F V
La negacin de la proposicin p es la proposicin p p , que se lee

no p. Como vemos, si una proposicin p es verdadera, su negacin es falsa, y
viceversa.
Ejemplo 2.4.1.- La negacin de la proposicin p: el gato est en la ventana es la
proposicin p : el gato no est en la ventana, atendiendo as a su construccin
gramatical correcta (estrictamente sera p : no el gato est en la ventana).
NOTA 2.4.1.- La negacin de una proposicin no es una proposicin molecular de

orden dos, puesto que no est formada por dos proposiciones atmicas; pero, en
sentido estricto, tampoco es una proposicin simple, pues en ella interviene un
nexo lgico.
2) Conjuncin.-
Tabla II
p q p q
V V V
V F F
F V F
F F F
La conjuncin de las proposiciones p y q es la proposicin p q, que se lee

p y q. Segn observamos en la tabla, la conjuncin de dos proposiciones slo es
verdadera cuando lo son las dos proposiciones componentes, resultando falsa en el
resto de los casos (alguna o las dos falsas).
Ejemplo 2.4.2.- La conjuncin de las proposiciones p: llueve y q: hay ruido en
la calle es la proposicin p q: llueve y hay ruido en la calle. Se infiere de
manera inmediata que nicamente ser verdadero este enunciado si lo son las dos
proposiciones simples; para verlo basta con construir cualquiera de los otros.
22
3) Disyuncin inclusiva.-
Tabla III
p q p q
V V V
V F V
F V V
F F F
La disyuncin inclusiva (o simplemente disyuncin) de las proposiciones p y

q es la proposicin p q, que se lee p o q, o ambas. La disyuncin de dos
proposiciones es verdadera cuando una o las dos proposiciones componentes son
verdaderas, resultando falsa slo en el caso de que las dos proposiciones simples
sean falsas.
Ejemplo 2.4.3.- La disyuncin de las proposiciones p: Luis estudia y q: Luis
escucha msica es la proposicin p q: Luis estudia o escucha msica,
considerando la disyuncin en un sentido global. Esto quiere decir que Luis puede
estar estudiando o escuchando msica o haciendo ambas cosas a la vez, pues la
disyuncin no es excluyente.
4) Condicional.-
Tabla IV
p q p q
V V V
V F F
F V V
F F V
La condicional de las proposiciones p y q es la proposicin p q, que se lee

si p, entonces q. La condicional de dos proposiciones es verdadera cuando el

antecedente y el consecuente son verdaderos o cuando el antecedente es falso y el
consecuente verdadero o falso, apareciendo falsa slo en el caso de que el
antecedente sea verdadero y el consecuente falso.
Ejemplo 2.4.4.-
a) La condicional de las proposiciones p: el hierro es un metal y q: Madrid es la
capital de Espaa es la proposicin p q: si el hierro es un metal, entonces
Madrid es la capital de Espaa. Esta proposicin es verdadera, pues el
antecedente y el consecuente son verdaderos.
23
b) La proposicin r s: si 8 es mltiplo de 3, entonces 9 es mltiplo de 5 es

una condicional verdadera, ya que las proposiciones r: el 8 es mltiplo de 3 y
s: el 9 es mltiplo de 5 son ambas falsas.
5) Bicondicional.-
Tabla V
p q p q
V V V
V F F
F V F
F F V
La bicondicional de las proposiciones p y q es la proposicin p q, que se

lee si y slo si p, entonces q. Como observamos en la tabla, una proposicin
bicondicional slo es verdadera cuando las dos proposiciones que la forman tienen
el mismo valor de verdad.
Ejemplo 2.4.5.- La bicondicional de las proposiciones p: hace fro y q: iremos a
correr es la proposicin p q: si y slo si hace fro, entonces iremos a correr.
Son tambin evidentes los valores de verdad de esta ltima proposicin.
6) Disyuncin exclusiva.-
Tabla VI
p q p
/ q
V V F
V F V
F V V
F F F
La disyuncin exclusiva de las proposiciones p y q es la proposicin p

/ q,
que se lee p o q, pero no ambas. La disyuncin exclusiva de dos proposiciones es

verdadera cuando slo una de las dos proposiciones componentes es verdadera,
resultando falsa en los otros casos. Si miramos las tablas de verdad V y VI,
comprobamos de manera inmediata que la disyuncin exclusiva es la negacin de
la bicondicional.
Ejemplo 2.4.6.- La disyuncin exclusiva de las proposiciones p: Luis estudia y
q: Luis escucha msica es la proposicin p
/ q: Luis estudia o escucha msica,
pero no ambas, es decir, Luis nunca hace las dos cosas a la vez. En esta ocasin
se considera que los enunciados de p y q son excluyentes.
24
A partir de las tablas de verdad de los esquemas proposicionales anteriores

puede construirse la tabla de verdad de toda frmula lgica, siendo ste el mtodo
ms cmodo para conocer la verdad o falsedad de la proposicin correspondiente a
dicha frmula. Sus valores de verdad dependern de los valores de verdad de las
proposiciones que figuren en ella.
Para hallar la tabla de verdad de una proposicin cualquiera de un orden
determinado, manifestada por su frmula lgica, se van aadiendo columnas a los
valores de verdad iniciales, empezando con las proposiciones afectadas por los
nexos lgicos de menor extensin, continundose el proceso hasta la obtencin de
la tabla de verdad de la proposicin final. Comprobemos el procedimiento mediante
unos ejemplos.
Ejemplo 2.4.7.- La tabla de verdad de la proposicin ( p) (p q) es:
Tabla VII
p q p p q ( p) (p q)
V V F V F
V F F F F
F V V V V
F F V V V
Ejemplo 2.4.8.- La tabla de verdad de la proposicin (p q) (p r) ser:
Tabla VIII
P q r p q p r (p q) (p r)
V V V V V V
V V F V V V
V F V V V V
F V V V V V
V F F V V V
F V F V F F
F F V F V F
F F F F F V
NOTA 2.4.2.- Demostraremos en otro momento que el nmero de filas de una

proposicin de orden n, es decir, los casos posibles de los distintos sistemas de
valores de verdad que pueden tomar las proposiciones que la integran, es igual al
nmero de variaciones con repeticin de dos elementos (V y F) tomados de n en n,
cuyo valor es 2 n . Por eso son 4 = 2 2 en el ejemplo 2.4.7. y 8 = 2 3 en el 2.4.8.
25
2.5. PROPOSICIONES TAUTOLGICAS,

CONTRADICTORIAS E INDETERMINADAS.
IMPLICACIN Y EQUIVALENCIA
Aunque formalmente sean de diferente naturaleza, seguiremos identificando

las proposiciones con sus frmulas lgicas caractersticas, dada la comodidad que
supone trabajar utilizando las tablas de verdad.
Definicin 2.5.1.-
Se dice que una proposicin compuesta, representada por su frmula lgica,
es una proposicin tautolgica o una tautologa cuando siempre es verdadera,
independientemente de la verdad o falsedad de las proposiciones simples que la
constituyen. Las tautologas son designadas habitualmente en los textos mediante
la letra T.
Ejemplo 2.5.1.- La proposicin definida por [p ( q)] [q ( p)] es una
tautologa, como se comprueba en la siguiente tabla:
Tabla IX
p Q p q p ( q) q ( p) [p ( q)] [q ( p)]
V V F F F F V
V F F V V V V
F V V F V V V
F F V V V V V
Definicin 2.5.2.-
Una proposicin compuesta, simbolizada por su frmula lgica, es una
proposicin contradictoria o una contradiccin cuando siempre es falsa, con
independencia de la verdad o falsedad de las proposiciones simples que la forman.
Las contradicciones se denotan a travs de la letra C.
Ejemplo 2.5.2.- La proposicin definida por ( p) (p q) es una contradiccin,
segn observamos en la prxima tabla:
Tabla X
p q p p q ( p) (p q)
V V F V F
V F F F F
F V V F F
F F V F F
26
Definicin 2.5.3.-
Se dice que una proposicin compuesta, representada por su frmula lgica,
es una proposicin indeterminada o una indeterminacin cuando en su tabla
de verdad aparecen valores verdaderos y falsos, dependiendo de los valores de
verdad y falsedad de las proposiciones simples que la integran.
Ejemplo 2.5.3.- La proposicin definida por la frmula ( p) (p q) es una
proposicin indeterminada, como se desprende de la tabla VII.
Definicin 2.5.4.-
Se denomina implicacin a cualquier proposicin condicional que es una
tautologa. El smbolo utilizado para designar las implicaciones es ( ).
Ejemplo 2.5.4.- La proposicin simbolizada por (p q) p es una implicacin.
En efecto:
Tabla XI
p q p q (p q) p
V V V V
V F F V
F V F V
F F F V
Al ser la condicional anterior una tautologa, podemos escribir la expresin

(p q) p.
Definicin 2.5.5.-
Se llama equivalencia a toda proposicin bicondicional que constituye una
tautologa. El smbolo empleado para denotar las equivalencias es ( ).
Ejemplo 2.5.5.- La proposicin manifestada por [p ( q)] [q ( p)] es
una equivalencia, segn colegimos observando la tabla IX; luego puede escribirse
[p ( q)] [q ( p)].
Definicin 2.5.6.-
Dadas dos proposiciones compuestas p y q, decimos que son equivalentes

si sus frmulas lgicas correspondientes poseen la misma tabla de verdad. Esto
significa que, independientemente de los valores de verdad de las letras
proposicionales, ambas frmulas toman el mismo valor de verdad. Por extensin, la
equivalencia de proposiciones se representa mediante p q.
NOTA 2.5.1.- Algunos textos aplican el signo (=) para indicar la equivalencia de
dos proposiciones. Las proposiciones p y q pueden ser, lgicamente, simples o
compuestas, es decir, integradas estas ltimas por otras proposiciones simples.
27
Ejemplo 2.5.6.- Vamos a comprobar que las proposiciones definidas con las
frmulas (p q) y ( p) ( q) son equivalentes. Para ello construimos sus
tablas de verdad y verificamos la coincidencia. En efecto:
Tabla XII
P q p q p q (p q) ( p) ( q)
V V F F V F F
V F F V F V V
F V V F F V V
F F V V F V V
Segn esto, (p q) ( p) ( q), lo que tambin puede expresarse

como p q [( p) ( q)] (*), pues resulta inmediato que ( p) p.
Por tanto, a partir de la expresin (*) deducimos que una conjuncin es equivalente
a la negacin de una disyuncin.
NOTA 2.5.2.- Es evidente que un par de tautologas o un par de contradicciones
son proposiciones equivalentes.
PROPIEDADES DE LAS TAUTOLOGAS Y DE LAS CONTRADICCIONES.-
Supongamos que p es una proposicin cualquiera, T una tautologa y C una
contradiccin. Con la disyuncin inclusiva y la conjuncin formamos la siguiente
tabla de verdad:
Tabla XIII
P T C p T p T p C p C
V V F V V V F
F V F V F F F
Observando la tabla anterior se infieren estas propiedades:

1) La disyuncin de una proposicin y una tautologa es una tautologa.-
T T.
p
2) La conjuncin de una proposicin y una tautologa es equivalente a dicha
proposicin.-
p T p.
3) La disyuncin de una proposicin y una contradiccin equivale a la misma
proposicin.-
p C p.
4) La conjuncin de una proposicin y una contradiccin es una contradiccin.-
p C C.
28
NOTA 2.5.3.- El llamado principio de sustitucin permite que, dada una frmula
lgica cualquiera, pueda sustituirse en ella una proposicin por otra que resulte
equivalente.
Conclusiones como las precedentes pueden obtenerse aplicando los distintos
postulados del axioma 3. Supongamos que P es el conjunto de todas las
proposiciones y consideremos los nexos lgicos conjuncin, disyuncin y negacin.
Siguiendo el procedimiento de construccin de las tablas de verdad y siendo p, q, r
elementos de P, dejamos al cuidado del lector la constatacin de las siguientes
equivalencias:
a) Propiedades idempotentes.-
p p p; p p p.
b) Propiedades conmutativas.-
p q q p; p q q p.
c) Propiedades asociativas.-
p (q r) (p q) r; p (q r) (p q) r.
d) Elementos neutros.-
p T p; p C p.
e) Propiedades simplificativas.-
p (p q) p; p (p q) p.
f) Propiedades distributivas.-
p (q r) (p q) (p r); p (q r) (p q) (p r).
g) Elementos complementarios.-
p ( p) C; p ( p) T.
h) Propiedad de la doble negacin.-
( p) p.
i) Leyes de De Morgan.-
(p q) ( p) ( q); (p q) ( p) ( q).
Ejemplo 2.5.7.- Comprobemos las propiedades idempotentes mediante una tabla
de verdad:
Tabla XIV
p p p p p p
V V V V
F F F F
NOTA 2.5.4.- Como veremos ms adelante, el conjunto (P, , ) con las

propiedades a), b), c), e), f) y g) es lo que se denomina habitualmente un lgebra
de Boole.
29

Conjuntos Numéricos, Estructuras Algebraicas y Fun... - (PG 18 - 30)

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Conjuntos Numéricos, Estructuras Algebraicas y Fun... - (PG 18 - 30)

Загружено:

Авторское право:

Доступные форматы

RAMN RODRGUEZ VALLEJO

El ser humano vive inmerso en la naturaleza. La necesidad ancestral de

abstracta de un determinado tipo de fenmenos reales. Su diseo responde a este

c) Se contina, mediante mtodos deductivos, con la demostracin de nuevas

2. ELEMENTOS DE LGICA PROPOSICIONAL

2.2. TIPOS DE PROPOSICIONES

Existen dos tipos de proposiciones:

2.3. NEXOS LGICOS Y FRMULAS LGICAS

En el apartado anterior hemos hablado de los trminos de enlace. Dichos

NEXO LGICO SMBOLO SIGNIFICADO

2.4. TABLAS DE VERDAD

Para el desarrollo del lgebra de proposiciones establecemos un conjunto de

La negacin de la proposicin p es la proposicin p p , que se lee

gramatical correcta (estrictamente sera p : no el gato est en la ventana).

NOTA 2.4.1.- La negacin de una proposicin no es una proposicin molecular de

La conjuncin de las proposiciones p y q es la proposicin p q, que se lee

La disyuncin inclusiva (o simplemente disyuncin) de las proposiciones p y

La condicional de las proposiciones p y q es la proposicin p q, que se lee

si p, entonces q. La condicional de dos proposiciones es verdadera cuando el

b) La proposicin r s: si 8 es mltiplo de 3, entonces 9 es mltiplo de 5 es

La bicondicional de las proposiciones p y q es la proposicin p q, que se

La disyuncin exclusiva de las proposiciones p y q es la proposicin p

que se lee p o q, pero no ambas. La disyuncin exclusiva de dos proposiciones es

A partir de las tablas de verdad de los esquemas proposicionales anteriores

Ejemplo 2.4.8.- La tabla de verdad de la proposicin (p q) (p r) ser:

NOTA 2.4.2.- Demostraremos en otro momento que el nmero de filas de una

cuyo valor es 2 n . Por eso son 4 = 2 2 en el ejemplo 2.4.7. y 8 = 2 3 en el 2.4.8.

2.5. PROPOSICIONES TAUTOLGICAS,

Aunque formalmente sean de diferente naturaleza, seguiremos identificando

segn observamos en la prxima tabla:

Al ser la condicional anterior una tautologa, podemos escribir la expresin

Dadas dos proposiciones compuestas p y q, decimos que son equivalentes

Segn esto, (p q) ( p) ( q), lo que tambin puede expresarse

Observando la tabla anterior se infieren estas propiedades:

NOTA 2.5.4.- Como veremos ms adelante, el conjunto (P, , ) con las

Вам также может понравиться