Nlgebra Superior
Enero 2017
L Legica y conjuntos
4 Proposiciones
DVebinicionds Ona proposicion es una atirmacién,.
que es Falsa_o verdaderd , pero no ambas.
Ejemplas
' a
(a) Exjste un mamitero que es oulpare
dEs unu proposrcion’
p
La res puesta es Sf, ya te lea dtiima-
CroA ,es Verdaderm, el ornjroryinco es v4
mamitero ovrpara, Le asigaumes el valor de
verdad Vr
() Esta okixmacién es balsa
dQue opinas, es esta alivmacien ona
proposicion
¢ Que pasa $i suponemos que es verduderu?
i Suponemos EES es ,Verdadera, dice [a
verdad, entoncey la atiemuciOA nos dree
ve ed falsu.
d Que’ pasa ahova «/ Suponemas gee rm)
alsu%(c) Ws y VBP 2. dEs esta abiemacién
@) Lat Cercicn seno es periddica y aires
on .nometo entero. .
@ gEs es @ aFivmacion ung proposicion e
e) Joerza® o wW7/1o dSon estas
(f) S; @72 , entonces er4 atrrmdcrones
G va! No @& VA numMclo vacronal Proposrcconcs Q
ufyler y vst>a"
won
por “py 4 os ahow tepres eatamos 'y!' por
»
u
a ne epresen ¢ n
D L em? 2 Wigty 2!"
pore ye RI ee Fi eclenee poke,
vy pv4; donde ° @ D todo NV.
e° €>_Xe@prese, pe
En el gyemplo (f) St e" xe presenta a lu Peapasic!
on “erty "2 4 PY, cepresentama la
propose "S; ea, entoncwm e>y” por ‘
p=.
Alora si P vepteseata lo Propos-cion V2 2 un
nimcro racienal, entones —p representa lo pro-
poocién del eyem plo (5)£ umen
“Forma Tyradvecicn Nombre
=P No owe P Negacien de Pp
Png ry 4 Conjuacion de py 4
ev4g isy uncion de Py F
° 4
p=>g. |i f entowes q | Implicacin
Cp implra 4)
La iqviente tabla mets la velaciéa gue
xi y :
Est bl mada tabl rdad
tet
entre” p,q y PAG, eve p=?4-