Logica 1

Fundamentos de Lógica ¿Qué es una proposición? ¿Cuáles son los conectivos lógicos? ¿Cómo utilizar las tablas de verdad? ¿Qué es una tautología? ¿Qué es una contradicción?

Proposiciones ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],NO SON PROPOSICIONES “ Pare inmediatamente!” “ ¿15 y 18 tienen la misma cantidad de divisores?”. “ En realidad, ¿a qué se refiere?”. “ Lávalo”.

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Proposiciones Respuestas: Sólo son proposiciones los enunciados dados en 2 y 4

Notación ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Negación ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],V F F V  p p

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Notación

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Conectivos

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Conectivos

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Conectivos

[object Object],[object Object],Tablas de verdad F V V V p  q F F F F V F F F V V V V p  q q p p y q p o q

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Conectivos

[object Object],[object Object],[object Object],[object Object],[object Object],Conectivos La implicación es falsa, únicamente, cuando el antecedente es verdadero y el consecuente es falso. En este caso, a pesar de “estar dadas las condiciones”, no se cumple la promesa . V F F V V F F F V V V V p  q q p

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Conectivos ,[object Object],[object Object],[object Object],¿ x = ??

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Conectivos

[object Object],Conectivos V F F F V F F F V V V V p  q q p

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Tautología y contradicción

[object Object],[object Object],[object Object],[object Object],Ejercicios 3) Construye una tabla de verdad para cada una de las proposiciones a) ( p  ¬q )  q b) ( p  q )  ( p  q ) c) q  (¬p  ¬q) 2) Halla los valores de verdad de p, q, r, s, t para que ( p  q )  r  ( s  t ) sea falsa ¿Cuáles de estas proposiciones es una tautología? ¿Puedes construir una contradicción a partir de alguna de ellas? ¿Cuál?

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Formalización

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Formalización

Tarea ,[object Object],[object Object],[object Object],[object Object]

Logica 1

Recomendados

Recomendados

Más contenido relacionado

La actualidad más candente

La actualidad más candente (17)

Similar a Logica 1

Similar a Logica 1 (20)

Último

Último (20)

Logica 1