Scribd
Cargar
114 vistas5 páginas

Ejercicios de Lógica en Mecatrónica

Este documento presenta 12 ejemplos de demostraciones lógicas utilizando diferentes premisas y reglas de inferencia como modus ponens, leyes conmutativas, simplificación y silogismo hipotético. El objetivo es que el lector resuelva estos ejemplos y luego complete la tarea propuesta.

Cargado por

Ricardo Zapata
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
114 vistas5 páginas

Ejercicios de Lógica en Mecatrónica

Este documento presenta 12 ejemplos de demostraciones lógicas utilizando diferentes premisas y reglas de inferencia como modus ponens, leyes conmutativas, simplificación y silogismo hipotético. El objetivo es que el lector resuelva estos ejemplos y luego complete la tarea propuesta.

Cargado por

Ricardo Zapata
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

TECNOLOGÍAS Y SOFTWARE PARA MECATRÓNICA

TAREA 2:

Revisar los ejemplos resueltos del 1 al 12 y luego realizar la tarea:


EJEMPLOS:
1) Con las premisas (1) y (2) demostrar 𝐶

2) Con las premisas (1), (2) y (3) demostrar 𝑉

3) Con las premisas (1), (2) y (3) demostrar ¬𝐷(2 + 2)


Donde PP es la inferencia de Modus Pones
TECNOLOGÍAS Y SOFTWARE PARA MECATRÓNICA

4) Con las premisas (1), (2), (3) y (4) demostrar ¬𝑠


Tomar en cuenta C-D significa (Condicional disyuntiva), y equivale a
aplicar una equivalencia de implicación y una conmutativa.
Tomar en cuenta que S es simplificación.

5) Con las premisas (1), (2), y (3) demostrar 𝑃 → 𝑄

6) Con las premisas (1), (2), (3) y (4) demostrar 𝐹


TECNOLOGÍAS Y SOFTWARE PARA MECATRÓNICA

6) Con las premisas (1), (2) y (3) demostrar 𝑞

7) Con las premisas (1), (2), (3) y (4) demostrar ¬𝑀


TECNOLOGÍAS Y SOFTWARE PARA MECATRÓNICA

8) Con las premisas (1), (2), (3) y (4) demostrar ¬𝐴


Dónde: CC es la ley conmutativa

9) Con las premisas (1), (2) y (3) demostrar 𝑇 ∧ 𝑈

10) Con las premisas (1), (2) , (3), (4), (5) y (6) demostrar 𝐶 ∨ 𝐽

11) Con las premisas (1) y (2) demostrar (∃𝑥)(𝐴 ∧ 𝑅 )


TECNOLOGÍAS Y SOFTWARE PARA MECATRÓNICA

Tomar en cuenta que CM es la ley de la combinación

12) Con las premisas (1), (2) y (3) demostrar (∃𝑥)(𝑃 ∧ 𝑉 )


Tomar en cuenta que SH es la ley de Silogismo hipotético o ley
transitiva

También podría gustarte