Professional Documents
Culture Documents
{ verdadero , falso}
no es
Axioma o postulado
es una proposicin que se asume verdadera.
Famosos son los siguientes axiomas de la geometra euclidiana:
Dado dos puntos en el plano hay exactamente una recta que los contiene.
Dos rectas no pueden cortarse en ms de un punto.
Conjunto de postulados de un
sistema
= { p, q, r, ..}
TEOREMA
Un ejemplo en geometra
Se sabe que la afirmacin : los ngulos internos de un
tringulo en el plano suman 180 grados es verdadera,
luego es una proposicin
+ + = 180
grados
Resumiendo
Los axiomas o postulados de un sistema son
proposiciones que se aceptan como verdaderas, no es
necesario demostrarlas. El conjunto independiente de
axiomas es la axiomtica de la teora.
Las proposiciones y teoremas se deducen a partir de
los axiomas (postulados) .
Sin entrar en detalles dejamos de ejercicio investigar
cuntos y cules son los axiomas en los que se sustenta
la geometra euclidiana.
~
v
Conjuncin
Conyuncin excluyente
Bicondicional
Axiomas de Euclides
Proposicin 1
Dado un segmento se puede construir una tringulo
equiltero de lado igual a la longitud de ese segmento.
Demostraci
Por postulado 1 se tiene que existe el segmento que llamaremos
n
Postulado 3 afirma la existencia de los dos crculos de la figura. Puesto que
Proposicin 2
Dado un punto Q y una longitud d se puede
construir un segmento con extremo Q y longitud d.
Proposicin 3
Dados dos segmento de diferente longitud
se puede construir sobre el mayor de ellos
uno de longitud del menor.
Tabla de verdad
Es un arreglo ( o tabla) que muestra
los valores de verdad de una
proposicin compuesta a partir de los
valores de verdad de las
proposiciones que la componen.
La negacin
Es una nueva proposicin que tiene
de valor de verdad opuesta.
La tabla de verdad de la negacin (~ p) est
descrita por
p
v
F
~p
F
V
La conjuncin
(^)
q
V
F
V
F
P^q
V
F
F
F
La disyuncin
(V)
q
V
F
V
F
PVq
V
V
V
F
q PV
q
V
V
F
F
V
F
V
F
F
V
V
F
Tabla de verdad
de la condicional
p
q P
Tabla de verdad
de la bicondicional
p
q P
q
q
V
V
V
V V
V
V
F
F
V
F
F
F
V
F
F
V
V
F
F
V
F
F
V
~p V q ^ r = ( ~p V q) ^r
Tabla de verdad de ~p V q
1
2
3
4
q ~p
V
V
F
F
V
F
V
F
F
F
V
V
Tabla de verdad de ~p V q ^ r
~p V
q
V
F
V
V
Hay
p q r ~p V (~p V
q
q)^r
1
2
3
4
5
6
7
8
v
v
v
v
F
F
F
v
F
F
v
v
F
F
v
v
F
F
v
v
F
v
F
F
v
v
v
v
v
F
F
F
Tautologas y equivalencias
Una Tautologa es una proposicin cuyo valor de verdad es
siempre verdadero independiente de los valores de verdad de
las proposiciones que la componen.
Una Contradiccin es una proposicin cuyo valor de verdad es
siempre falso independiente de los valores de verdad de las
proposiciones que la componen.
Dos proposiciones son lgicamente equivalentes si al
conectarlas con el conectivo
se obtiene una
tautologa.
Resumiendo,
Dos proposiciones p , q son equivalentes si la
proposicin
p
es una tautologa.
Unas equivalencias
importante
(p
(p
Demostracin
p
q p
q
q)
~p )
q)
~p
)
~q
(P
~p
(~q
(~q
(~q
q)
~p)
ARGUMENT
OS
se lee:
Se escribe
P(
Se dice :
si
P( entonces
Premisas y conclusin
pq ,
r
qr
Equivalencias bsicas
Se demuestran mediantes tablas de verdad.
p q
(p V ~(p V ~p ^
q)
q)
~q
V V
V F
F V
V
V
V
F
F
F
F
F
F
p q
(p ^ ~(p ^ ~p v
q)
q)
~q
V V
V F
F V
F F
F
F
F
V
V
V
V
V
V
Ms Equivalencias bsicas
(Se demuestran mediantes tablas de verdad) .
pq p
q
pq q
p
(p(qp))
q
Asociatividad y
conmutatividad
(p (qp))
q
(p q) q
conmutatividad:
b^a
a^b
avb
bva
(p q)^
q
~q ^ (p
q)
(q ^ p) (~q ^
q)
(~q ^ p)
(p q) (*
)
Ejercicio 4 de la Gua 4
Discernir si es verdadera la siguiente
Proposicin
(p(qp)) q (p q)
Por (*) sabemos que la proposicin
de la izquierda es equivalente a (p
q)
~(~p q)
pq
p[((p q) ( pq ))]
pq
Notemos que
(p q) q p ~q p y
tambin
( pq )= ~p ~q
~(~q p ) (~ p ~q )) (~q p ) (~ p ~q ))
((~q p) ~p ) ((~
q p) ~q )
(~q ) (~ q p)
~q p
P(
El argumento P(por lo tanto
La proposicin es una tautologa