1) El documento presenta los conceptos básicos de la lógica proposicional como proposiciones simples y compuestas, conectivos lógicos y tablas de verdad. 2) Explica los conectivos negación, conjunción, disyunción y condicional y cómo construir sus tablas de verdad correspondientes. 3) Señala que las tablas de verdad permiten determinar el valor de verdad de proposiciones compuestas a partir de las proposiciones simples que las componen.

1. Lógica FBMM02 Profesionalización en Servicio Profesor: Ricardo Escalante

19. Ejemplo con 3 proposiciones simples Hacer la tabla de certeza para: (r  p)  ~(q  p) p q r V V V V V F V F V V F F F V V F V F F F V F F F r  p q  p ~(q  p) V V F V V F V V F V V F V V F F V F V F V F F V (r  p)  ~(q  p) F F F F F F V F

26. Formas derivadas p q q p ~ p ~ q ~ q ~ p Directo Recíproco Contrario Contrarrecíproco recíprocos contrarios contrarrecíprocos