LóGica SesióN N°2

Lógica FBMM02 Semestre 0708A Profesor: Ricardo Escalante

Agenda ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Proposición ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Proposiciones compuestas Conectivos ,[object Object],[object Object]

Negación ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Negación ,[object Object],[object Object],p ~ p V F F V Posibilidades para la proposición p

Conjunción ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Conjunción ,[object Object],[object Object],[object Object],[object Object],[object Object],p q p  q V V V V F F F V F F F F

Disyunción ,[object Object],[object Object],p q p  q V V V V F V F V V F F F

Disyunción ,[object Object],[object Object],[object Object],[object Object],[object Object],p q p  q V V V V F V F V V F F F

Condicional ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Condicional ,[object Object],[object Object],[object Object],p q p  q V V V V F F F V V F F V

Condicional ,[object Object],p q p  q V V V V F F F V V F F V

Condicional ,[object Object],[object Object],p q p  q V V V

Condicional y Teoremas ,[object Object],[object Object]

Tablas de verdad ,[object Object],[object Object]

Ejemplo con 2 proposiciones simples ,[object Object],[object Object],p q V V V F F V F F p  q p  ~q V F F V F V F V ~q F V F V (p  q)  (p  ~q) F F F F

Ejemplo con 3 proposiciones simples ,[object Object],8 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

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

En resumen ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],4 = 2 2 filas 8 = 2 3 filas 16= 2 4 filas 2 n filas

Formas de expresar un condicional……. ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Partes de un condicional ,[object Object],antecedente Condición suficiente consecuente Condición necesaria

Formas derivadas del condicional ,[object Object],[object Object],[object Object],[object Object],[object Object]

Formas derivadas del condicional ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

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

Ejemplo ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Ejemplo ,[object Object],[object Object],[object Object],[object Object],[object Object]

Ejercicios ,[object Object],[object Object],[object Object]

Ejercicios ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

LóGica SesióN N°2

Recommandé

Recommandé

Contenu connexe

Tendances

Tendances (20)

En vedette

En vedette (20)

Similaire à LóGica SesióN N°2

Similaire à LóGica SesióN N°2 (20)

Plus de Ricardo Escalante Caregnato

Plus de Ricardo Escalante Caregnato (16)

LóGica SesióN N°2