Matemticas

Ing. Beissy Pacheco de Arellano

Proposiciones

Proposiciones
Una proposicin es una expresin que tiene
un valor de verdad nico. (verdadero /
falso)
Ejemplo:

a: Estoy viajando a Cuenca

b: Ayer llovi
(en Guayaquil)
c: x+1 = 5 cuando x=4
d: x<2 cuando x=0

Variables Proposicionales

Variables Proposicionales
Una variable proposicional es una expresin
que al ser evaluada puede tomar slo dos
valores de verdad, ya que depende de otros
factores externos.
Ejemplo:

p: Me voy de viaje a Cuenca el prximo martes.

q: Maana llover
r: x+1 = 5
s: un nmero es divisible para 3.

Ejercicios
Ejemplos en clase
1.1
1.6

AutoEvaluacin #1
1.2
1.3
1.4
1.5

Tablas de Verdad

Negacin

()
()

Apuntes de
referencia

Conjuncin
()

Apuntes de
referencia

DisyuncinInclusiva ()
1

La disyuncin inclusiva en lenguaje comn se lee o

Apuntes de
referencia

Implicacin, Condicional o

Enunciacin hipottica (, )
1

antecedente
consecuente

Apuntes de
referencia

Doble Implicacin (

Equivalencia ()

Apuntes de
referencia

Investigacin No. 1
Disyuncin Exclusiva
Definicin (literal)
Significado (en sus propias palabras)
Simbologa y Tabla de verdad
Ejemplo en lenguaje comn
Bibliografa
Entrega: Este lunes, en una sola hoja, escrito a
mano

Cuntas filas tendra una tabla de

verdad con 3 variables
proposicionales?

Cuntas filas tendra

una tabla de verdad con
4?

 Cuntas filas tendra una tabla

de verdad con n variables
proposicionales?

Apuntes de Referencia

El

nmero de filas que tiene

una tabla de verdad con n
variables proposicionales es

Auto Evaluacin # 2
Desarrolle
la tabla de verdad para cada una de las

siguientes formas proposicionales.

q
Luego indique qu formas proposicionales son equivalentes.

Lenguaje Formal y
Lenguaje Comn

Parafraseo de la Conjuncin

pyq
p pero q
p,q
p;q
p.q

Apuntes de
referencia

Parafraseo de la
Enunciacin Hipottica

suficiente

a implica b
Basta a para que b
a solo si b
a solamente si b
b si a
b cada vez que a

b siempre que a
b puesto que a
b ya que a
b cuando a
b debido a que a
b porque a
Apuntes de
referencia

Ejercicios
Ejemplos en clase
1.12

AutoEvaluacin #3
1.13
1.14
1.15
1.16

C Condicin Necesaria
H Tesis
Premisa Conclusin

Apuntes de
referencia

Ejercicios
Ejemplo
s
1.7
1.9
1.12

AutoEvaluacin #4
1.8
1.10

Recproca e Inversa
Sean p y q dos proposiciones:
A) La recproca de es
B) La inversa de es
C) La contrarecproca de es

Apuntes de
referencia

Ejercicios
Ejemplo
s
1.19
1.21
1.23
1.25

AutoEvaluacin #5
1.11
1.18
1.20
1.22
1.24
1.27

Ejercicios de Repaso

Modus Ponens
Desarrolle la tabla de verdad
Encuentre la recproca
Encuentre la inversa
Encuentre la contrarecproca

Formas Proposicionales
Son

expresiones construidas por una

combinacin de variables proposicionales y
conectores lgicos.
Ejemplo:

Cmo organizara usted las

siguientes palabras en un esquema?

Forma proposicional
Proposicin Verdadera
Proposicin Falsa
Variables proposicionales
Conectores Lgicos

Apuntes de Referencia

Qu contiene a qu?
El tomo a la molcula? la molcula al
tomo?

Tipos de Proposiciones

Qu obtenemos si se reemplazamos
las variables proposicionales de una
Forma Proposicional con proposiciones?

Qu tienen en comn una

Forma Proposicional y una
Proposicin Molecular?
Cul es la diferencia?

Tipos de Formas
Proposicionales

Tautologia
Es
una forma proposicional que al ser
evaluada slo se obtienen proposiciones
verdaderas sin importar los valores de
verdad de las variables proposicionales que
la conforman.
Es decir solo unos (1) en la ltima columna
de la tabla de verdad.
Ejemplo:
Apuntes de
referencia

Contradiccin
Es
una forma proposicional que cuyos
valores de verdad son todos FALSO sin
importar los valores de verdad de las
variables proposicionales que la conforman.
Es decir solo ceros (0) en la ltima columna
de la tabla de verdad.
Ejemplo:
Apuntes de
referencia

Contingencia
Es
una forma proposicional que tiene valores
de verdad VERDADERO FALSO
dependiendo de los valores de verdad de las
variables proposicionales que la conforman.
Es decir tanto ceros (0) como unos (1) en la
tabla de verdad.
Ejemplo:
Apuntes de
referencia

Qu es una implicacin?
Qu ser entonces una Implicacin Lgica?
Qu es un razonamiento vlido?

Implicacin Lgica y
Validez de los Razonamientos

Sean
A y B dos formas proposicionales , entonces
.
.
Ejemplo:

Ejercicios
Usando tablas de verdad demuestre que las
siguientes formas proposicionales son
implicaciones lgicas.

Adicin
Simplificacin

Algebra de Proposiciones

Apuntes de Referencia:
Ejemplos de Implicaciones Lgicas

Propiedades de los Operadores Lgicos

y
Expresiones Lgicamente Equivalentes

Ejercicios
Ejemplos
1.42
1.43
1.44
1.49
1.53
1.58
1.60

AutoEvaluacin #6
1.45
1.47
1.48
1.51
1.54
1.56
1.57
1.59
1.61
1.62