Piensa como Juanito

Este es el último tema respecto a las proposiciones y tablas de verdad. Es la negación más larga y compleja. Al igual que en la condicional, al momento de realizar una negación los conectores lógicos cambian. Ejemplo: ~(P<->q) ~(p->q) v ~(q->p) (P^~q) v (q^~p) Opinión personal Es la negación con la que más cuidado hay que tener al momento de operar, pues se deben cambiar conectores y utilizar negaciones individuales por término. Pero es bastante útil y ejercita nuestra capacidad de análisis. Mejorar Comprensión Como este es el último tema de las tablas de verdad debemos tener muy claros todos los conceptos de los otros conectores lógicos ya que haremos una unión de todos.

Como el nombre lo dice el conector lógico condicional y sus tablas de verdad tienen una variantes bastante interesantes. Si contamos la original son 4, estas son: Directa p -> q Recíproca q -> p Inversa ¬ p -> ¬ q Contrapositiva ¬ q -> ¬ p Ejemplo Opinión personal Es importante conocer las variaciones de una tabla de valores original y entender el por qué solo es aplicable a este conector lógico en concreto. De esta forma, nos damos la oportunidad de resolver problemas cada vez más complejos y aumentar nuestra habilidad en el tema. Mejorar comprensión Debemos estar finos en la resolución de problemas con el conector lógico -> Si entonces. Pues de él salen todas la variaciones

Como expresé en entradas pasadas, las leyes de Demorgan son aplicables a todos los conectores lógicos de las tablas de verdad, la condicional no es la excepción. Esta vez, el resultado será más un poco más complejo. Como podemos observar la negación de p -> q da como resultado p ^ ~q. Esto se puede entender más fácil si realizamos la representación gráfica de la proposición Opinión personal Las leyes de De morgan me están gustando y las estoy entendiendo bien, creo que es la simplicidad del análisis lo que me atrae. Es aún más interesante que en las próximas clases veremos estas leyes aplicadas al conector lógico bicondicional. Mejorar Comprensión Al igual que con las otras leyes debemos estar finos en la creación de tablas de verdad y sus variantes. Además en estos resultados que son un poco más extensos debemos cuidar el orden de operaciones para no perdernos.

Este fue el primer tema del curso que desconocía en su totalidad, pero me di cuenta que son sumamente útiles al momento de trabajar negaciones dentro de las tablas de verdad y son aplicables a cualquier conector lógico. Las leyes de Demorgan dictan que la negación de la conjunción es la siguiente: Original: (p ^ q) Negación ~ (p ^ q) = ~p v ~q  Las leyes de Demorgan dictan que la negación de la disyunción es la siguiente: Original: (p v q) Negación ~ (p v q) = ~p ^ ~q Representación gráfica Opinión personal Este tema, aunque esté relacionado con las tablas de verdad que no me agradan, me gustó pues lleva un análisis un poco más elevado, y las representaciones gráficas sirven bastante para enterlo. Mejorar comprensión Para entender las leyes de Demorgan primero debemos tener claras las tablas de verdad. Además, la representación gráfica por medio de conjuntos es sumamente útil.

Este tema ya no es una estrategia como tal, pues tiene sus propias reglas y variantes, pero sigue siendo parte de los problemas lógico-matemáticos y debemos buscarles una solución adecuada. Proposiciones: Para la lógica una proposición es la unidad de razonamiento que expresa un contenido al cual se le puede agregar un valor de verdad. Tabla de verdad: Es una lista de todos los posibles valores de varias proposiciones unidas por un conector lógico. Las tablas de verdad se dividen según sus conectores lógicos, estos son: Conjunción Disyunción Condicional Bicondicional Opinión personal Este tema en particular nunca ha sido mi favorito, pero admito que es bastante complejo e interesante cuando se estudia en un grado de dificultad mayor. Mejorar Comprensión Para lograr la mejor comprensión del tema debemos tener claras las definiciones de proposiciones y tablas de verdad, saber cuales son los componentes de cada una y las reglas semánticas que siguen.