LGICA PROPOSICIONAL - TEORA

Proposiciones
Compuestas o
moleculares: (Tambin
llamadas coligativas) son
aquellas que poseen dos o
ms proposiciones simples
(aquellas que no incluyen
conectores lgicos), unidas
por un operador lgico.
Clases:
- Conjuntivas
- Disyuntivas incluyentes
- mplicativas
- !eplicativas
- "iimplicativas
- Disyuntivas e#cluyentes
- "inegacion conjuntivas
- "inegacin disyuntivas
- $egativas
CLASIFICACIN DE LAS PROPOSICIONES
COMPUESTAS:
C
l
a
s
e
s
O
p
e
r
a
d
o
r
S
e

l
e
e
E
j
e
m
p
l
o
s
F

r
m
.
F
u
n
c
i

n
C
o
n
j
u
n
t
i
v
a
s

Y
Pedro
estudia y
trabaja
p q
Compatibili-
zador
D
i
s
y
u
n
t
i
v
a
s
v O
Pedro
estudia o
trabaja
p q
Alternador
I
m
p
l
i
c
a
t
i
v
a
s
,
Si
entonces

Si Pedro
estudia
entonces
trabaja
p q
Causalidad
!
e
p
l
i
c
a
t
i
v
a
s

Si

Pedro
estudia si
trabaja
p q
!ec"proco
del implicador
#
i
m
p
l
i
c
a
d
o
r
$% &
Si y s'lo
si
Pedro
estudia si
y s'lo si
trabaja
p q
()uivalorador
D
i
s
y
u
n
t
o
r
e
*
c
l
u
y
e
n
t
e
+ o o
O Pedro
estudia o
trabaja
p+) (*clusador
#
i
n
e
,
a
c
i
'
n
e
*
c
l
u
s
i
v
a

Da,a
S-e..er
/i ni
Pedro ni
trabaja ni
estudia
p q
Inalternador
#
i
n
e
,
a
c
i
'
n
d
i
s
y
u
n
t
i
v
a
/ #arra
/icod
/o o no
Pedro
trabaja o
no
estudia
p% q
Incompatibilizador
/
e
,
a
t
i
v
a
s
0
/o
Pedro no
trabaja
0p
Inversor