Rafael Mara Arzaga 12-22

Telfonos: Domicilio: 2831-749

Oficina: 2842-307 / 2833-76
E-mail: alejandroserrano4@holmail.com
Cuenca - Ecuador

TEMARIO DE LOGICA JURIDICA MARZO-JULIO DEL 2016

TEMA 1

La Lgica Simblica: Generalidades.- La unidad de la Lgica Jurdica: El Juicio y sus Valores

Veritativos.- variables.-conectivos y signos auxiliares.- la frmula lgica.-frmulas atmicas
y moleculares.

Por el sistema de lgica simblica, analice el siguiente argumento:

TEMA 2

Operaciones fundamentales.-La Funcin Contradictoria.-La Funcin Conjuntiva.-

Por el sistema de Lgica Simblica, analice el siguiente argumento:

TEMA 3

La Funcin Conjuntiva.-La Funcin Disyuntiva Inclusiva.-La funcin Disyuntiva Exclusiva.-

Por el sistema de Lgica Simblica, analice el siguiente argumento:

TEMA 4

Las Funciones Condicional y Bicondicional.-

Por el Sistema de Lgica Simblica, analice el siguiente argumento:

TEMA 5

La Funcin de Negacin Conjunta.-y la Funcin de Incompatibilidad.-

Por el sistema de Lgica Simblica, analice el siguiente argumento:

TEMA 6

Teora del Condicional.- el Condicional Asociado.-

Por el sistema de Lgica Simblica, analice el siguiente argumento:

 Rafael Mara Arzaga 12-22
Telfonos: Domicilio: 2831-749
Oficina: 2842-307 / 2833-7b
E-mail: alejandroserrano4@hotmail.com
Cuenca - Ecuador
TEMA 7

La Implicacin Material y la Implicacin Formal.-Equivalencia.-

Por el Sistema de Lgica Simblica, analice el siguiente argumento:

TEMA 8

Lgicas Modales: Concepto y Terminologa.-

Elabore la Tabla de Valor Veritativo del siguiente Polinomio (3 variables}

TEMA 9

Cuadriltero de Oposicin de las Modalidades Altica

Formalice los siguientes enuncados...{4 ejemplos con los conectivos

''NO, 'Y "O"

TEMA 10

Lgica Modal Dentica.-Relacin de Interdefinilidad.-Cuadriltero de Oposicin Dentica.-

El Principio de Subcontrariedad.-

Formalice como Disyunciones Inclusivas los siguientes juicios:

TEMA 11

Ley de Contrariedad: Enunciado y demostracin

Por el sistema de Lgica Simblica, analice el siguiente argumento:

TEMA 12

Ley de Subalternacin: Primera y Segunda Versin.-Enunciado y demostracin

Demuestre la validez del siguiente razonamiento por el mtodo de la "Condicional

Asociada"
 RoacI Mara Arzaga 12-22
Telfonos: Domicilio: 2831-749
Oficina: 2842-307 / 2833-076
E-mail: alejandroserrano4@hotmail.com
Cuenca - Ecuador
TEMA 13

Ley de Contradiccin: Primera y segunda versin.-Enunciado y demostracin.

Demuestre la validez del siguiente razonamiento por el mtodo de la "Condicional

Asociada"

TEMA 14

Leyes de Contradiccin Dentica: Primera y segunda versin.-Enunciado y demostracin

Elabore la Tabla de Valores Veritativos del siguiente Polinomio (3 variables)

TEMA 15

El Operador "F": Significado y Frmulas.-Calificacin Normativa de las Conductas

Complejas: Concepto y Frmulas

El Axioma: Principio de Distribucin de la Permisin

Formalice los siguientes juicios ( 2 ejemplos de condicionales)

TEMA 16

Teorema de Distribucin de la Obligacin: Enunciado y demostracln.-

Elabore la tabla de Valores Veritativos del siguiente Polinomio { 3 variables)

TEMA 17

Teorema de la Obligacin Alternativa: Enunciado y Demostracin

Formalice los siguientes juicios:

"NO, "Y" "O"

TEMA 18

Teorema de la Permisin Conjunta: Enunciado y demostracin

Formalice los siguientes juicios: (Conjuncin y Disyuncin)

 Rafael Mara Arzaga 12-22
Telfonos: Domicilio: 2831-749
^/x/n}^ &e9^^}^a/^ O^^^W^^ Oficina: 2842-307 / 2833-076
E-mail: alejandroserrano4@holmail.com
Cuenca - Ecuador

TEMA 19
Teorema de la Permisin Mnima: Enunciado y demostracin.
Por el Mtodo de la "Condicional Asociada" demuestre la validez del siguiente
razonamiento:

TEMA 20
Los Teoremas de Morgan, variaciones y extensiones.- Enunciado y
demostracin por medio de las Tablas de Valores Veritativos.
Formalice los siguientes enunciados:
... (cuatro ejemplos con diversos Conectivos Lgicos)

TEMA 21
Tabla de Valores Veritativos de las Siete Funciones Lgicas
Por el Mtodo de la "Condicional Asociada" demuestre la validez del siguiente
razonamiento:

Cuenca, 27 de Jun. de 2016