Matemática Discreta

Sesión 2 Principales Reglas y Leyes de la

Lógica Proposicional

Semana 2. Clase 2
Docente: Celia Patricia Suca Mamani
 TABLAS DE VERDAD-LEYES
LÓGICAS Y REGLAS DE INFERENCIA

PROPÓSITO
El Estudiante evalúa y construye tablas de verdad a partir de los
conectores lógicos.
El estudiante utiliza las leyes y equivalencias notables para
simplificar esquemas lógicos
El estudiante interpreta las Reglas de inferencia y a partir de ellas
demuestra la validez de los razonamientos.

Mgº Juan Lira

ANÁLISIS DE INFERENCIAS MEDIANTE
EL MÉTODO ANALÓGICO
 ANÁLISIS DE INFERENCIAS
MEDIANTE EL MÉTODO ANALÓGICO
PRINCIPIOS LÓGICOS FUNDAMENTALES
PRINCIPIOS LÓGICOS FUNDAMENTALES
PRINCIPIOS LÓGICOS FUNDAMENTALES
PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL
PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL
PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL
PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL
PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL
PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL
PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL
PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL

Mgº Juan Lira

PRINCIPALES REGLAS Y LEYES DE LA
LÓGICA PROPOSICIONAL

Mgº Juan Lira

EJEMPLO 1: Tanto la dinámica como la cinemática estudian el
movimiento. Por tanto, la cinemática estudia el movimiento.

Mgº Juan Lira

EJEMPLO 2: 3 es menor que 4 si 4 es mayor que 3. Y 3 es diferente de 4
si 3 es menor que 4. Luego, 4 es mayor que 3 si e es diferente de 4.

Mgº Juan Lira

EJEMPLO 3: Si es selectivo, metódico y explicativo, el conocimiento es científico. Si
es problemático, crítico y trascendente, el conocimiento es filosófico. Es selectivo,
metódico y explicativo o es problemático, crítico y trascendente. En consecuencia,
el conocimiento es científico o es filosófico.
CONTINUACIÓN… Si es selectivo, metódico y explicativo, el conocimiento es científico.
Si es problemático, crítico y trascendente, el conocimiento es filosófico. Es selectivo,
metódico y explicativo o es problemático, crítico y trascendente. En consecuencia, el
conocimiento es científico o es filosófico.

DC
EJEMPLO 4: Una expresión algebraica no es prima a menos que sea
divisible por ella misma y por la unidad. No es prima. En consecuencia,
es falso que sea divisible por ella misma y por la unidad.

Mgº Juan Lira

EJEMPLO 5: Enrique representa a la Nación y no está sujeto a mandato
imperativo porque es congresista. Representa a la Nación y no está sujeto
a mandato imperativo. Luego es congresista.

Mgº Juan Lira