INSTITUTO TECNOLGICO METROPOLITANO

FACULTAD DE CIENCIAS EXACTAS Y APLICADAS

JEFATURA DE CIENCIAS BSICAS
Clase 1. Matemticas Bsicas. Lgica.
La Lgica matemtica es una disciplina que emplea el lenguaje de las Matemticas como un
lenguaje formal para definir nociones intuitivas de objetos matemticos como conjuntos,
nmeros, demostraciones y algoritmos, y que estudia mtodos de razonamiento que permiten
determinar la validez de argumentos planteados.

Conceptos bsicos.
Proposicin: se denomina de esta forma a cualquier afirmacin que sea verdadera o falsa,
pero no ambas cosas a la vez.

Las siguientes afirmaciones son ejemplos de proposiciones.
a) El verde es un color primario
b) Gabriel Garca Mrquez escribi Cien aos de Soledad y es colombiano
c) Washington es la capital de Estados Unidos
d) China es el pas ms poblado de Asia pero no del planeta
Las siguientes afirmaciones no son proposiciones.
a) te vas?
b) Teclee escape para salir de la aplicacin
c)
d) Mara es bonita
En ninguno de estos casos puede decirse si la afirmacin es verdadera o falsa ya que: a)
corresponde a una pregunta, b) corresponde a una orden, c) depende del valor de y d)
corresponde a una opinin.
Las proposiciones pueden ser simples o compuestas.
Las proposiciones simples son aquellas que no pueden descomponerse en otras y se denotan
con letras minsculas tales como As por ejemplo, la notacin
se utiliza para indicar que es la proposicin La gallina
es un animal carnvoro".
Las proposiciones compuestas son las que se forman al combinar dos o ms proposiciones
simples a travs de ciertos smbolos llamados conectivos lgicos.


Conectivos lgicos

Conectivo Lenguaje
natural
Notacin Ejemplo de uso Ejemplo en
lenguaje formal
Negacin no , no est lloviendo
Conjuncin y Est lloviendo y es de noche
Disyuncin o Est lloviendo o es de noche
Condicional si entonces Si est lloviendo, entonces es
de noche

Bicondicional si y slo si

Est lloviendo si y slo si es
de noche


Ejemplo. Sean las proposiciones est nevando, ir a la ciudad y tengo tiempo.

1) Escribir, usando conectivos lgicos, una proposicin que simbolice cada una de las
siguientes afirmaciones:

a) Si no est nevando y tengo tiempo, entonces ir a la ciudad.
b) Ir a la ciudad si y slo si tengo tiempo o no est nevando.
c) Ni est nevando ni ir a la ciudad
d) No es cierto que si no tengo tiempo, entonces no ir a la ciudad

2) Enunciar las afirmaciones que corresponden a cada una de las siguientes proposiciones:
a) ( )
b) ( )
c) ( )
d) ( )

Valor de Verdad de una proposicin.
Se denomina valor de verdad de una proposicin a su veracidad o falsedad. As, el valor de
verdad de una proposicin verdadera es verdadero (V) y el de una proposicin falsa es falso
(F).

Por ejemplo, la proposicin el verde es un color primario es falsa, es decir su valor de verdad
es F y la proposicin Washington es la capital de Estados Unidos es verdadera y por lo tanto
su valor de verdad es V.

Para el caso de una proposicin compuesta, su valor de verdad est completamente
determinado por los valores de verdad de las proposiciones simples que la componen y del
conectivo que se emplea para conectarlas, como se indica a continuacin.

Negacin. Dada una proposicin cualquiera , la proposicin es verdadera cuando es
falsa y es falsa cuando es verdadera.
Conjuncin. Dadas dos proposiciones cualesquiera y , la proposicin es verdadera
nicamente cuando ambas proposiciones lo sean.
Disyuncin. Dadas dos proposiciones cualesquiera y , la proposicin es falsa
nicamente cuando ambas proposiciones lo sean.
Condicional. Dadas dos proposiciones cualesquiera y , la proposicin es falsa
nicamente cuando es verdadera y es falsa.
Bicondicional. Dadas dos proposiciones cualesquiera y , la proposicin es
verdadera nicamente cuando ambas proposiciones tengan los mismos valores de verdad.

La siguiente tabla resume lo anterior.

V V F V V V V
V F F F V F F
F V V F V V F
F F V F F V V

Ejemplo. Suponiendo que la proposicin ( ) ( ) es falsa, deduzca el valor de
verdad de las siguientes proposiciones:

a) ( )
b) (( ) ) ( )
Solucin. Como ( ) ( ) es falsa, entonces tanto como son
falsas. Si es falsa, entonces es verdadera y es falsa con lo cual es verdadera.
Anlogamente se sigue que es falsa y es falsa. As,

a) Dado que es verdadera, es falsa y como es verdadera, entonces es
falsa. Por tanto, ( ) es falsa ya que es falsa.
b) Dado que es falsa y es verdadera, es falsa. Ahora, como es falsa, es
verdadera y as, ( ) es verdadera.
Por otro lado, dado que es verdadera y es falsa, es falsa y es verdadera y con
eso es verdadera. En consecuencia, (( ) ) ( ) es
verdadera.

Tautologa y Contradiccin.

Una proposicin compuesta es una tautologa si es verdadera para todos los valores de verdad
que se asignen a las proposiciones simples que la componen.

Una proposicin compuesta es una contradiccin si es falsa para todos los valores de verdad
que se asignen a las proposiciones simples que la componen.

Una proposicin compuesta que no es tautologa ni contradiccin se llama contingencia.
Ejemplo. La proposicin es una tautologa y La proposicin es una
contradiccin.

En efecto, si es verdadera, entonces es falsa y con eso, es verdadera y
es falsa. Por otro lado, si es falsa, entonces es verdadera y con eso, es verdadera
y es falsa. As, siempre es verdadera y siempre es falsa
independientemente del valor de verdad que se le asigne a .

La siguiente tabla resume estos resultados.


V F V F
F V V F

El desarrollo de cualquier teora matemtica exige el uso de definiciones, axiomas y teoremas,
los cuales corresponden a proposiciones.
Las definiciones son proposiciones que explican con exactitud el significado de una palabra o
expresin (conjunto de palabras), los axiomas son proposiciones que se aceptan como
verdaderas sin demostracin previa y los teoremas son proposiciones que se aceptan como
verdaderas, una vez han sido demostrados.
Cuando se habla de demostracin se habla de un razonamiento que muestra la validez de
algo.