PROPOSICIONES SIMPLES Y COMPUESTAS - CLASES DE PROPOSICIONES

Vídeo de proposiciones simples y compuestas: https://youtu.be/pwmeMe80TK4

TABLAS DE VERDAD - TABLAS DE VALORES DE VERDAD CON 2 Y 3 PROPOSICIONES LOGICAS - LOGICA PROPOSICIONAL

 Tabla de verdad con dos y tres proposiciones: https://youtu.be/n_t1f0xa3D0

TABLA DE VERDAD

Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.

El resultado puede ser tautología, contradicción o contingencia.

Construye la tabla de verdad de las siguientes proposiciones compuestas:

1) ~ [(~ p Λ q) → p] ꓦ q

2) (~ p ↔ q) Λ ~ (q → ~ p)

3)  [( p Λ ~ q) → ~ r] ꓦ  ( p Δ  q)

Simplificación De Proposiciones Lógicas Ejercicios Resueltos - Simplificación De Proposiciones Lógicas Paso A Paso

LEYES LÓGICAS Y SIMPLIFICACION DE PROPOSICIONES - VIDEOS: https://cutt.ly/AIUzywW

Simplificación de proposiciones lógicas - Vídeo 1: https://youtu.be/KyIdCTWZuJ8

Simplifica la proposición: (Vídeo 1)

~ [(~ p Ù q) → p] Ú q

~ [~(~ p Ù q) Ú p] Ú q                     … Ley condicional

~ [(~(~ p) Ú ~ q) Ú  p] Ú q              … Ley De Morgan

~ [( p Ú ~ q) Ú  p] Ú q                     … Ley de doble negación

~ [ p Ú ~ q Ú  p] Ú q                       … Ley asociativa

~ [ p Ú ~ q ] Ú q                             … Ley de idempotencia

[ ~p Ù q ] Ú q                                 … Ley De Morgan y ley de doble negación

                    q                                 … Ley de absorción total

Simplificación de proposiciones lógicas - Vídeo 2: https://youtu.be/shOOoVRqKcA

Simplifica la proposición: (Vídeo 2)

(~ p → q) Ù ~ (q → ~ p)

 [~(~ p ) Ú q] Ù ~(~ q Ú ~ p)        … Ley condicional

 [ p Ú q] Ù [~(~ q) Ù ~( ~ p) ]       … Ley de doble negación y Ley De Morgan

[ p Ú q] Ù [q Ù p ]                         … Ley de doble negación

[ p Ú q] Ù q Ù p                            … Ley asociativa

                  q Ù p                           … Ley de absorción total

                  p Ù q                           … Ley conmutativa

Simplificación de proposiciones lógicas - Vídeo 3: https://youtu.be/UZDME4cZxNc

Simplifica la proposición: (Vídeo 3)

[ p Ú (~ q Ù r) ] → [p →(~ p Ù q) ]

[ (p Ú ~ q) Ù (p Ú r)  ] → [~ p Ú (~ p Ù q) ]             … Ley distributiva y Ley condicional

~ [ (p Ú ~ q) Ù (p Ú r)  ] Ú [~ p Ú (~ p Ù q) ]           … Ley condicional

[ ~ (p Ú ~ q) Ú ~ (p Ú r)  ] Ú ~ p                               … Ley De Morgan Y Ley de absorción total

[  (~p Ù  q) Ú  (~p Ù ~r)  ] Ú ~ p                               … Ley De Morgan y Ley de doble negación

    (~p Ù  q) Ú  (~p Ù ~r)   Ú ~ p                               … Ley asociativa

    (~p Ù  q) Ú  ~ p                                                    … Ley de absorción total

                         ~ p                                                   … Ley de absorción total

Simplificación de proposiciones lógicas - Vídeo 4: https://youtu.be/Ayk4qXcoiOM

Simplifica la proposición: (Vídeo 4)

[ (p Ú ~ q) → ~p ] Ù (~ p « q)

[ (p Ú ~ q) → ~p ] Ù [(~ p → q) Ù (q →~p)]              … Ley bicondicional

[ ~ (p Ú ~ q) Ú ~p ] Ù [( p Ú q) Ù (~q Ú ~p)]             … Ley condicional y ley de doble negación

[(~ p Ù  q) Ú ~p ] Ù [( p Ú q) Ù (~q Ú ~p)]                … Ley De Morgan y Ley de doble negación

                        ~ p Ù [( p Ú q) Ù (~q Ú ~p)]              … Ley de absorción total

                        ~ p Ù ( p Ú q) Ù (~q Ú ~p)                … Ley asociativa

                        ~ p Ù  q Ù (~q Ú ~p)                         … Ley de absorción parcial

                                 ~ p Ù  q                                    … Ley de absorción total

Simplificación de proposiciones lógicas - Vídeo 5: https://youtu.be/5r8S-wMJq7I