Formalizar y Deducir

Formalizar y deducir:
Si la noche es clara, Drcula agitar sus alas y afilar sus dientes. Si agita sus alas y encuentra mi ventana
abierta, pasar, me despertar, pero le dar un fuerte tirn de orejas. Si afila sus dientes y la encuentra
cerrada, montar en clera, romper los cristales y le dar un fuerte tirn de orejas. As pues, si la noche es
clara y Drcula encuentra la ventana abierta o cerrada, le dar un fuerte tirn de orejas.
La noche es clara...p
Drcula agitar sus alas...q
Afilar sus dientes...r
Encuentra mi ventana abierta...s
La encuentra cerrada (no abierta)... s
Pasar...t
Me despertar...w
Le dar un tirn de orejas...m
Montar en clera...n
Romper los cristales...k
Si se admite la teora del eterno retorno, se debe admitir la existencia de entidades corpusculares
identificables a travs del tiempo y que se pueda hablar de un estado del universo definido en cada instante
individual. Ahora bien, no es cierto que haya entidades corpusculares permanentes y estados del universo
definidos en cada instante. Por tanto, la teora del eterno retorno es inadmisible.
Se admite la teora del eterno retorno: p
Se admite la existencia de entidades...:q
Se habla de un estado del universo...:r
Si la pena de muerte antepone la defensa de la sociedad a la conservacin de la persona, entonces, si supone
la destruccin total de la persona, imposibilita la correccin del penado. Imposibilita la correccin del
penado slo si es condenable ticamente. La pena de muerte antepone la defensa de la sociedad a la
conservacin de la persona. Por tanto, si la pena de muerte supone la destruccin total de la persona e
imposibilita la correccin del penado, es condenable ticamente.
La pena de muerte antepone la defensa......p
Supone la destruccin total de la ......q
Posibilita la correccin del ......r
Es condenable ticamente......s
Si los habitantes de Venus invaden la tierra, entonces los hombres se pondrn nerviosos o las mujeres se
entusiasmarn. Si los hombres se ponen nerviosos, las mujeres se entusiasmarn. Por tanto, si los habitantes
de Venus invaden la Tierra, las mujeres se entusiasmarn.
Los habitantes de Venus invaden......p
Los hombres se pondrn nerviosos......q
Las mujeres se entusiasmarn......r
Si las autoridades prohben fumar en pipa a los feos, entonces los guapos se alzarn indignados porque no
venden pipas. Si los guapos no venden pipas o las autoridades crean nuevos puestos de trabajo, entonces la
nacin no saldr de la crisis econmica. La
nacin sale de la crisis econmica y los guapos no venden pipas. Por lo tanto, las autoridades no prohibirn
fumar en pipa a los feos.
Las autoridades prohben fumar......p
Los guapos se alzarn ......q
Los guapos veden pipas......r

Las autoridades crean nuevos......s
La nacin saldr de la crisis......t
Si los filsofos callasen, la nieve quemara y los crculos seran cuadrados. Si los crculos fuesen cuadrados,
entonces los matemticos se dedicaran a cazar brujas y las abejas a fabricar acero. Ni los matemticos se
dedican a cazar brujas, ni las abejas a fabricar acero. Por tanto, los filsofos no callarn.
Los filsofos callasen......p
La nieve quemara......q
Los crculos seran cuadrados......r
Los matemticos se dedicaran......s
Las abejas se dedicaran......t
EJERCICIOS DE DEDUCCIN NATURAL CON REGLAS BSICAS
-1 p ^ [ q (p s)]
-2 p q ^ r
-1
-2
-3
-4
pq
qvrs
s (t m)
p^ t
ps
-1 p [ q r ^ (s v t)]
-2 p ^ (s m)
-3 q ^ ( t h ^ n)
mvh
-1 ( p ^ q) (r ^ s)
-2 s (q ^ t)
-3 s ^ t
p (q ^ r)
-1 q s
-2 r s ^ t
p ( q v r s)
-1 p q
-2 p q ^ s
-1 p v ( q ^ r)
-2 t v q (p t)
(p t)
(p q) [(q r) (p r)]
-1 p ^ q ( r s)
-2 s ^ r
pq
-1 p q v r
-2 q r
-3 r s
ps
-1 p t ^ s
-2 s v r t
-1 q ( p ^ q)
1
-2
-3
-4
tpvq
pm^s
qm
s v m (p v q)
-1 t p v q
-2 p n ^ s
-3 q n
tsvn
-1 (p ^ q) v (r ^ s) [ (p v r) ^ (p v s)] ^ [ ( q v r) ^ (q v s)]
-1
-2
-3
-4
pmvt
mr
tr^s
q t^ r
pvqr
1 p q
-2 m r v s
-3 r q
-4 s q ^ t
(p ^ m)
( p q) ^ ( q r) ( p r)
(p q) (p ^ r q ^ r)
1 p v q r v m
-2 (r t v s) ^ ( n s)
-2 m ^ r n
p [ (q v r) s v t]
(p q) [ (p r) (p q ^ r)]
1 p q ^ r
-2 p s
-3 s r
1 (p ^ q t) ^ ( t v n)
-2 r v s t ^ m
p ( q v r s)
(p r) [ (q r) ( p v q r)]
1 (p s) ^ (q t)
-2 ( s v t m) ^ (r v n m)
pvqr

Formalizar y Deducir

Cargado por

Copyright:

Formatos disponibles

Formalizar y Deducir

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Formalizar y Deducir

Cargado por

Copyright:

Formatos disponibles

Formalizar y deducir:

Los guapos veden pipas......r

También podría gustarte