Download 200611-708 Paso2 DiegoStivelRubioMoreno PDF

Title200611-708 Paso2 DiegoStivelRubioMoreno
TagsProposition Mathematical Logic Epistemology Physics & Mathematics Mathematics
File Size133.9 KB
Total Pages8
Document Text Contents
Page 2

INTRODUCCIÓN

El siguiente trabajo proposiciones y tablas de verdad se pretende interpreta y conjugar expresiones

del lenguaje simbólico y del lenguaje natural en la formulación y representación del pensamiento

lógico a través de las estructuras semánticas, variables y conectores, como elementos

fundamentales de la lógica proposicional.

Abordando temas como Lógica proposicional, tablas de verdad en proposiciones compuestas,

álgebra de proposiciones, tautologías y contradicciones y contingencias, proposiciones categóricas.

Page 5

p q R ¬ q (P ⋀

¬ q)

[(P ⋀

¬ q)

⋀ r ]

[(P



¬

q)



r ]



q

V V V F F F F

V V F F F F F

V F V V V V V

V F F V V F V

F V V F F F F

F V F F F F F

F F V V F F V

F F F V F F V

 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.

Tarea 3: Problemas de aplicación

Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su

escogencia en el foro, de tal forma que no coincida con los compañeros.

Page 7

v F V F F F V F F V F V

v F F V F F V V F V V V

v F F F F F V V F V F V

F V V V V V V V V F V V

F V V F V V V F F F V V

F V F V V V F V F F V V

F V F F V V F V F F V V

F F V V V V V V V V V V

F F V F V V V F F V F V

F F F V V V F V V V V V

F F F F V V F V V V F F

 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.

Definir si el argumento es una Tautología, contradicción o contingencia

Es TAUTOLOGÍA.

Similer Documents