Equivalencias Tautológicas
Implicaciones Tautológicas
* Modus ponendo ponens
* Modus tollendo tollens
(p -> g) A ^g => ->p
* Silogismo disyuntivo
(p V q) A ->p =$• q
(p V q) A ->q =$• p
* Ley de simplificación
(P A q) =» p
* Ley de silogismo hipotético
(p -* 9) A (í -» r) => (p -» r)
* Ley de la adición
p=$> p V q
* Leyes de Morgan
-i(p A g) <^ -ip V
->(p V 9) <=> ->p A
* Doble negación
p •& -i(-.p)
* Contraposición
* Equivalencia para la implicación
(P -> 9) -^ ^P V q
* Ley del bicondícional
(p+-*q)<&fy-*q)/\(q-*p)
(p <-» g) 4* (-.p A -i?) V (p A 9)
* Conmutatividad
p A g -^ g Ap
p V q •&• q V p
* Asociatividad
(p A q) A r 4=> p A (q A r)
(pV?) V r ^ p V ( g V r )
* Distributividad
p A (q V r) 4=> (p A g) V (p A r)
p V (q> A r) 4* (p V q) A (p V r)
* Ley de Exportación/Importación
(p A q -> r) ^ (p -> (g -> r))
v\
O

-fe /s ; JL (o

\n x?\)

9a-

- V'
v
\

90 y

s _x K 0109.^04. fe (T)
 d i
C5 •Q
ó
J
-3
J ó) 01
/ 1
iái
-— 1
O
^
^
•^n
VJ 1 es
d
§5
O
!| S -t t
fe ^
Q) 8 ¿tS>9<
O- AJ 0' sL' ,n
0^ 0
A
rí (fi-0
d ^
^r a
*•""*

I "j S
^-C # 0 o
CíJ
c
1cU>1 ^
u f
sr i01 ¡a & e» CÑL

£rf
1^1

7-3

-*! P
T^§ f 13 J
ít Jj 1t|£^"f S"^ d8 r^l^ ¿.
-^? 0) <:

^ /~ o> 0 l*r '

> • 'á f
(í <P Cw <3- '¿ -> « ~-^o
1 !<yrí t
O-
ot of <$^«D < «8-3,
^
a. t
f ¡\ )
(f '•-*
1
,\£
&
crriu, r. ^-t
^ . v_y >r (
^x-«1 ^ ^ £c t? -^á"Fr'
^3
t -f
< x Sá -§ I -d Í^£TO)
<
l ^ (pcc
j -f
><
£
x- /^ "^*^ 1*"^ J«i ***iml*l'1^ Si—^^ -""^- 1 J«l '"*1*

^">
f <T ^
<=^5
' f
<i- ' r T
t
£ < 6^r J
J¿ S c I lo
1 cp —^
•o-ü> ^d ^^^ o-W 4 <#

i .;••)
6
§
i _V
V—X^ '-«^ttijr

n
•*" 0! -0^¿y
i *' "B«i**™\X

~aóv
y S

y'"m\
^S
,__ V

^o
. d
^^^*
. ^^¿tJi-)
j*-*»^

O
^

— *"
^>.fc""™1.'i '

''
W
>-> Jr*<
\J
y^
;'\
^- «ÍLÍ

i4
g
vi

/4- ^ C '
J
""13
0 o»
^D
-
.v1
u o

^
 O

\S
O X '

\L

A,

v C?-
 UNIVERSIDAD CENTRAL DE VENEZUELA
FACULTAD DE CIENCIAS ECONÓMICAS Y SOCIALES
ESCUELA DE ESTADÍSTICA Y CIENCIAS ACTUÁBALES
CURSO PROPEDÉUTÍCO: MATEMÁTICA

LÓGICA PROPOSICIONAL
PROPIEDADES DE Los CONECTIVOS LÓGICOS:

-
UNIVERSIDAD CATÓLICA ANDKES
Escuela de Educación
Cátedra de Algebra I , . / •*..
Prof. Pedro Navarro Gil

LEYES BÁSICAS DEL CÁLCULO PROPOSICIONAL

Enunciado Nombre
(1) p —» p Identidad
(2) p <-» p Identidad
(3) (p A p)' Afirmación
(4) p v p Tercero excluido
(5) p <-» (p)' Doble negación
(6) (p A q) -> p Simplificación
'{7) p —> (p v q) Amplificación
(8) (p A q) <-» (q A p) Conmutativa
(9), (p v q) <-» (q v p) Conmutativa
(10) (p <-» q) <-» (q <-» p) ; , Conmutativa
(11) [(p A q) A r] <-> [p A (q A r)] Asociativa
(12) [(p v q) v r] <-» [p v (q v r)] Asociativa
(13) [(p +* q) <-» r] <-» [p <-> (q 4-» r)] Asociativa
(14) [p A ('q v r)] <-> [(p A q) v (p A r)] Distributiva .
(15) , \[p/v:(q Ar)] «-» [(p v q) A (p v r)] Distributiva
(16)/ [p->(qAr)] <-> [(p -» q) A (p -> r)] Distributiva
(17)/ {pj1-» (q v r)] «-» [(p -» q) v (p -» r)] Distributiva
(18) [(p —> q) A (q —> r)] —> (p —>.r) Transitiva
(19) [(p <-» q) A (q <-> r)] -> (p <-> r) Transitiva
(20) {[(p -» q) A (r -> s)] A (p v r)} -> (q v s) Dilema
(21) /[(p A q)^j] <-> [p-> (q-» r)] Exportación
(22) / (p —» q) <-> (q —>• p) Transposición
(23) (p<->q)<->(q<->p) Transposición
(24) (p <-> q) <-> [(p -> q) A (q -> p)] Bicondicional
(25)/^ (p"^->,q) '<-> (p;V q) ' Condicional disyuntiva
(26) x (p->q) <-> (pA q)' Condicional conjuntiva
(27)/ (p A q)' <-» (p vq) Dualidad ^
(28X (p v q)' «-> (p A q) ' Dualidad S
(29) (p -> q) <-» [p <-> (p A q)] Expansión
(30) (p -> q) •<-> [q <-> (p v q)] , Expansión
(31) [(p -» q) A p] -> q Modusponens
(32) [(p-^>q) A q] -> p Modustollens