Flj parcial 3 - nota 4

FLJ – PARCIAL N° 3

  1-

  1) Es una tautología conocida como principio de no contradicción. Este principio establece que ninguna proposición puede ser verdadera y falsa al mismo tiempo. (Ej.: “no es cierto que el reo es culpable pero no es culpable”).

  2) Es falsa Fp implica a Pp ^-Pp; esto es así, puesto que esta afirmación es facultativa, esto quiere decir que una acción es facultativa cuando está permitido cumplirla y también está permitido omitirla. (Ej.: “está permitido ejercer un derecho y también está permitido omitir ejercerlo”).

  3) Es un argumento deductivo silogismo hipotético, puesto que la primera premisa es una fórmula que enlaza 2 proposiciones, moleculares en este caso, unidas mediante un conector condicional, la segunda premisa es uno de los disyuntos afirmado, y la conclusión es la formulación del otro disyunto afirmado.

  4) Es un silogismo hipotético puro. La primera premisa es una fórmula que enlaza dos proposiciones (atómicas o moleculares) unidas mediante un conector condicional. La segunda premisa es uno de los disyuntos afirmado o negado. La conclusión es la formulación del otro disyunto afirmado o negado. (A => B) . (B => C) => (A => C)

  5) Es un silogismo hipotético, porque su primera premisa es una fórmula que enlaza 2 proposiciones, moleculares en este caso, unidas mediante un conector condicional, su segunda premisa es uno de los disyuntos afirmado, y su conclusión es la formulación de otro disyunto afirmado.

  6) p => -p es equivalente a p ^ -p

p=> -p              p ^ -p

V     F  F          V    F  F

F     V  F          F    V  F

V     F  F          V    F  F

F     V  F          F    V  F

  7) Tanto p como q son falsas, esto se da tanto en la disyunción inclusiva como en la excluyente. Esto es así puesto que, para que una disyunción inclusiva sea verdadera, las dos premisas necesariamente deben ser verdaderas; y para que una disyunción excluyente sea verdadera, una premisa debe ser verdadera y la otra falsa, o viceversa.

  8) Es una proposición de tipo molecular. Este tipo se compone por más de dos proposiciones atómicas vinculadas a través de conectivas lógicas. (Ej.: “el sistema penitenciario está colapsado y la inseguridad crece”).

  9) La negación de una tautología es una contradicción, y a su vez toda contradicción negada se transmuta a la tautología porque pueden transformarse la una en la otra por simple operación, pero la tautología representa el modelo de razonamiento que se debe llevar a cabo.

  10) Si un esquema implica a un segundo esquema, y éste implica a un tercer esquema, entonces el primer esquema implica al tercer esquema. Es un silogismo hipotético puro: (A=> B) . (B=>C) => (A=>C). Esto se debe a que es una de las leyes de la lógica proporcional llamada transitividad del condicional.

  11) La fórmula equivalente a -p=>q es -p v -q (el resultado está, en el caso “ – (p => q)”, en color celeste, debido a que se cambia el resultado como consecuencia del signo “-“).

-(p => q)                 (-p . -q)

V        V   V F           F    F  F

F        V   F V           V    F  V

V        F   F V           F    V  V

F        F   F V           V    V  V

  12) Si aplicamos las leyes de Demorgan a la proposición –(p v q) obtenemos la expresión -p ^ -q; esto es así porque las leyes de Demorgan son una forma que permite pasar de una conjunción a una disyunción, por lo que es necesario que “-(p v q)” que es una disyunción, debe ser equivalente a una conjunción.

  13) Si al describir una acción p regulada por las normas de un sistema decimos que p está débilmente permitido, entonces, el sistema no contiene una norma que prohíba la acción p, ya que, siguiendo el principio de prohibición, conforme a lo que dicen Alchourrón y Bulygin, cuando un sistema regula una permisión débil significa que hay una ausencia de prohibición. (Una permisión débil sería, por ejemplo: “Lo que no está prohibido está permitido”, y esta permisión débil se traduce en la falta de prohibición).

  14) Una proposición molecular es un compuesto de proposiciones atómicas (2 ó más) vinculadas mediante conectivas lógicas.

  15) El significado de las conectivas lógicas está determinado por las reglas del lenguaje ordinario, y a cada uno se le asigna un símbolo propio. Es por esta cuestión que tenemos conformada la siguiente tabla de conectivas:

  2-

...