01.06.2013 Views

DERECHO Y RAZÓN TEORÍA DEL GARANTISMO PENAL. LUIGI ...

DERECHO Y RAZÓN TEORÍA DEL GARANTISMO PENAL. LUIGI ...

DERECHO Y RAZÓN TEORÍA DEL GARANTISMO PENAL. LUIGI ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

A3 7 (LE. 7NE)<br />

A4 7 (NE. 7IN)<br />

A5 7 (IN. 7AT)<br />

A6 7 (AT. 7CU)<br />

A7 7 (CU. 7JU)<br />

A8 7 (JU. 7AC)<br />

A9 7 (AC. 7PR)<br />

A10 7 (PR. 7DF)<br />

2. MO<strong>DEL</strong>OS DE <strong>DERECHO</strong> <strong>PENAL</strong><br />

que equivalen, respectivamente, a las siguientes implicaciones:<br />

T1 (PE -+ DE)<br />

T2 (DE -+ LE)<br />

T3 (LE + NE)<br />

T4 (NE -+ IN)<br />

T5 (IN -+ AT)<br />

T6 (AT 4 CU)<br />

T7 (CU 4 JU)<br />

T8 (JU + AC)<br />

T9 (AC 4 PR)<br />

TI0 (PR -+ DF)<br />

de donde derivan, por la transitividad de la implicación, los siguientes cuarenta y<br />

cinco teoremas:<br />

TI1 (PE -+ LE)<br />

TI2 (PE-+NE)<br />

TI3 (PE -+ IN)<br />

TI4 (PE -+ AT)<br />

TI5 (PE 4 CU)<br />

TI6 (PE ir JU)<br />

TI7 (PE 4 AC)<br />

TI8 (PE 4 PR)<br />

TI9 (PE 4 DF)<br />

T20 (DE 4 NE)<br />

T21 (DE + IN)<br />

T22 (DE + AT)<br />

T23 (DE + CU)<br />

T24 (DE + JU)<br />

T25 (DE -+ AC)<br />

T26 (DE -+ PR)<br />

T27 (DE -+ DF)<br />

T28 (LE -+ IN)<br />

T29 (LE -+ AT)<br />

T30 (LE -+ CU)<br />

T31 (LE -+ JU)<br />

T32 (LE + AC)<br />

T33 (LE 4 PR)<br />

T34 (LE 4 DF)<br />

T35 (NE 4 AT)<br />

T36 (NE 4 CO)<br />

T37 (NE 4 JU)<br />

T38 (NE -+ AC)<br />

T39 (NE 4 PR)<br />

T40 (NE -+ DF)<br />

T41 (IN + CU)<br />

T42 (IN 4 JU)<br />

T43 (IN 4 AC)<br />

T44 (IN + PR)<br />

T45 (IN -+ DF)<br />

T46 (AT + JU)<br />

T47 (AT -+ AC)<br />

T48 (AT + PR)<br />

T49 (AT -+ DF)<br />

TSO (CU -+ AC)<br />

T51 (CU -+ PR)<br />

T52 (CU 4 DF)<br />

T53 (JU + PR)<br />

T54 (JU + DF)<br />

T55 (AC 4 DF)<br />

6. En efecto, mediante la conjunción de todos los consecuentes que en las cin-<br />

cuenta y cinco tesis tienen el mismo antecedente, el sistema completo puede ser expre-<br />

sado por las diez implicaciones que siguen, de las que las nueve primeras llevan como<br />

consecuente un producto lógico:<br />

TS6 Nulla poena sine crimine, sine íege, sine necessitate, sine iniuria, sine actio-<br />

ne, sine culpa, sine iudicio, sine accusatione, sine probatione et sine defen-<br />

sione.<br />

T57 Nullum crimen sine iege, sane necessitate, sine iniuria, sine actione, sine culpa,<br />

sine rudicio, sine accusatione, sine probatione et sine defensione.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!