1. Responda las siguientes preguntas multiple opción, justifcando su respuesta:
1 Qué tipo tipo de fórmul fórmula a es la la sigui siguient ente e "-(p "-(p .-p) .-p)
a) Una tautología conocida como principio de no contradicción. El principio de no contradicción establece que ninguna proposición puede ser verdadera y falsa al mismo tiempo. l negar dic!a fórmula el principio de no contradicción indica precisamente que cualquier enunciado con esa estructura lógica es formalmente falso (una contradicción)# y el propio principio que niega la contradicción resulta formalmente verdadero (una tautolog$a). b) %na contingencia conocida como principio de identidad. c) %na contradicción lógica. d) %na equivalencia. e) %na tautolog$a conocida como principio de tercero e&cluido. e&cluido.
2) 'ndique cul de las siguientes armaciones es falsa* a) -+-p implica a +p b) -+p implica a +-p c) ,p implica a +p -+p d) Op implica a –Php p establece* obligatoriedad. obligatoriedad. +!p establece* pro!ibición. pro!ibición. -+!p establece* no est pro!ibido. pro!ibido. /a armación seria correcta correcta si estableciera en ve0 de 2+!p3 +!-p3 o 2p-p3. 2p-p3. /os operadores 3 3 y +!3 pueden ser denidos mediante el operador +3 y la negación -. E4emplo* si es obligatorio usar sombrero ser cierto que no esta permitido no usarlo.
5)6etermine desde el punto de vista formal a qué tipo genérico de argumento responde el siguiente ra0onamiento* "7i la reforma del anteproyecto de 8ódigo +rocesal penal introduce la causal de conmoción social como causal de procedencia de la prisión preventiva entonces entonces violenta la constitución. /a reforma del anteproyecto de 8ódigo +rocesal penal introduce la causal de conmoción social como causal de procedencia de la prisión preventiva entonces por lo tanto violenta la constitución" a) Es un argumento deductivo modus tollens. ) !s un argumento deducti"o modus ponens. /a regla del del modus ponens establece que que de un condicional y de la armación armación de su antecedente se inere el consecuente. c) Es un argumento inductivo d) Es un argumento entimemtico e) Es un argumento deductivo silogismo !ipotético. !ipotético. 9) 7i el ra0onamiento que tiene tiene dos premisas condicionales y una conclusión también condicional entonces podemos decir que es un* #ilogismo $ipot%tico puro a) b) 7ilogismo 6isyuntivo c) 7ilogismo categórico d) 6ilema
e)
:odus +onens
;) "/os modelos de procesos penales son acusatorios o inquisitivos. 7i son acusatorios entonces el peso de la averiguación de la verdad recae sobre las partes. 7i es inquisitivo entonces el peso de la averiguación de la verdad recae sobre el 4ue0. +or lo tanto siempre o la averiguación de la verdad recae sobre 4ue0 o recae sobre las partes. " es un ra0onamiento* a) %n silogismo !ipotético b) %n silogismo disyuntivo c) Un dilema +resenta una disyunción en la que se arman su s dos miembros y del que se sigue una conclusión que puede resultar paradó4ica. d) %na reducción al absurdo e) %na falacia de división <) /a fórmula p => -p es equivalente a* a) p b)-p c) p - p d) &inguna es correcta /a fórmula antes mencionada es una formula condicional por ende ninguna de las respuesta seria la correcta ya que la opción a) es una proposición a secas # la opción b) es una negación de una proposición# la opción c) es una con4unción.
?) 7i una disyunción de las proposiciones p y q es falsa entonces* a) tanto p como ' son (alsas E&isten dos tipos de disyunción* una es la e&cluyente y la otra es la incluyente. mbas tienen algo en com@n* para ser verdaderas e&igen que por lo menos unos de sus componentes lo sea. Es decir que son falsas cuando sus dos componentes son falsos. /a @nica diferencia reside en el caso que los dos componentes sean verdaderos* una de las disyunciones lo admite (lo incluye) como caso de verdad de la formula compuesta en tanto la otra lo rec!a0a (lo e&cluye) al tomarlo como falso. b) p es verdadera pero q es falsa c) q es verdadera pero p es falsa d) ninguna es correcta
A) /a proposición p -q es una proposición* a) atómica ) molecular 7i bien e&isten numerosas formas de clasicar las proposiciones la lógica proposicional se centra en la distinción entre proposiciones atómicas y proposiciones moleculares. /as moleculares en una primera categori0ación son las que conectan dos o ms proposiciones a través de diferentes conectivas lógicas. /levan una variable (p) ms una conectiva lógica o con4unción ms otra variable (q) para la otra proposición. /a otra alternativa de proposición molecular es la proposición atómica alterada por el conector mondico de la negación. c) tautológica d) contradictoria
B) /a negación de una tautolog$a es* a) %na tautolog$a ) Una contradicción +or aplicación de la tabla de verdad de la negación toda tautolog$a negada se convierte en contradicción y toda contradicción negada se transmuta en tautolog$a. c) %n condicional d) Cinguna es correcta 1D) 7i un esquema implica a un segundo esquema y éste implica a un tercero entonces... a) El segundo implica al primero ) !l primero implica al tercero %na de las leyes de la lógica preposicional es la denominada transitividad del condicional3 que dice que si una proposición implica materialmente una segunda y ésta a una tercera entonces la primera implica necesariamente a la tercera. c) El tercero implica al segundo d) El tercero implica al primero 11) ealice el procedimiento de demostración de equivalencias por tablas de Ferdad y determine cul es la fórmula equivalente a - (p=>q) a) (-p -q) b) - (-p q) c) p " ' d) p -q
p F F , ,
' F , F ,
p , , F F
' , F , F
p *+' F F , F
1G) 7i aplicamos las leyes de 6emorgan a la proposición - (p v q) obtenemos* a) p ' b) p q c) p v q d) - p v -q 15) 7i al describir una acción p regulada por las normas de un sistema decimos que p est débilmente permitido entonces* a) El sistema no tiene lagunas ) !l sistema no contiene una norma 'ue prohía la acción p +ermisión débil que describe una conducta que no est regulada 4ur$dicamente (permisión como ausencia de pro!ibición). c) El sistema tiene una norma que autori0a la acción p d) El sistema es inconsistente 19) %na proposición molecular es*
a) %n enunciado prescriptivo b) %na denición c) Un compuesto de proposiciones atómicas %na formula atómica es aquella constituida e&clusivamente por una variable proporcional no modicada por operador alguno por e4emplo p3. En cambio en las formulas en las que aparece un operador monadico (-q3) o que resultan de una combinación de fórmulas unidas por conectivas didicas se llaman moleculares. d) %n compuesto de proposiciones tautológicas 1;) El signicado de las conectivas lógicas est determinado por* a) /as reglas del lengua4e ordinario ) Una tala de "erdad 'ue prescrie sus condiciones de "erdad /a forma en que el valor de verdad de u na oración compuesta depende del valor de verdad de las oraciones simples o atómicas que la componen y del conectivo empleado. El signicado de cada conectivo est determinado por una tabla de verdad correspondiente que prescribe sus condiciones de verdad consultando las correspondientes tablas de verdad para cada uno de estos conectivos en /ógica proposición y norma. c) /a denición de tautolog$as y contradicciones d) /a combinación de proposiciones atómicas
2) -ormalice el siguiente enunciado, realice las talas de "erdad estale/ca si las mismas se tratan de contradicciones, tautologías contradicciones. 1. 7i el 4ue0 falla a favor de la poseedora entonces dar curso a la usucapión. Co dio curso a la usucapión. /uego no fallo a favor de la poseedora. H(p
q).-qI .-p
Jautolog$a
p
'
F F , ,
F , F ,
p q F , F F
H(p *+ q).-qI , , , F
-q , F , F
-p , , F F
H(p *+ q).qI .-p , , , F
1 Co es cierto que los elementos de los contratos sean esenciales o naturales. Co !ay elementos naturales por lo tanto los elementos son esenciales. H-(p v q) . 2 qI
p
p 8ontingencia
q
-p
-q
-p v -q
-(p v q). -q
H-(p v q) . 2 qI
*+
F F , ,
F , F ,
, , F F
, F , F
, F F F
p F F F ,
, F , F
0. Resuel"a las siguientes talas de "erdad: a.
H(p=>r).qI v (r.p)
p
r
'
F F , F F , , , F F , F F , , , E7%/J6
P r
F F F F , , , ,
*+ F , F , F , F ,
F F , F F F , F
F F , , F F , ,
b) (p v q) => -(q .p)
p
'
F F , ,
F , F ,
E7%/J6
P" ' F F F ,
*+ , , , F
'. p , , , F
'
p
, F , F
, , F F
.'
'
1
r
p
r.p
F F , F , , , ,
F F F F , , , ,
F F , F F , , ,
F F , , F F , ,
F , F , F , F ,
F , , , F , , ,
