Estructuras Discretas by Daniel Iriarte https://padlet.com/uberdaniel12345/fu3o27z12xigcj95 Hecho por los alumnos de grupo 4 acerca de Lógica Proposicional. en-us 2021-09-30 16:20:39 UTC 2024-10-06 19:11:42 UTC hello@padlet.com https://padlet.net/icons/png/1f4cc.png Aplicación de la Lógica Proposicional carlosluyo14 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782084566 En este artículo se presentan algunas situaciones de la vida real, donde son aplicados algunos conceptos y propiedades de la lógica proposicional. ]]> 2021-09-30 17:10:05 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782084566 Proposiciones uberdaniel12345 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782094496 Es un enunciado que posee un valor de verdad, puede ser verdadero o falso, sin dobles significados y en un determinado contexto.
Ejemplo:

Lima es una cuidad de la costa del Perú.
Buenos Aires es la capital de Argentina.
Deseo comer una hamburguesa. ]]> 2021-09-30 17:13:57 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782094496 Variables Proposicionales uberdaniel12345 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782103472 Son proposiciones simbolizadas mediante letras minúsculas del alfabeto como p, q ,r ,s ,entre muchas otras.
Ejemplo:

p: 1 + 1 = 2
q: Daniel es Peruano]]> 2021-09-30 17:17:36 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782103472 Tablas de Verdad joacaxd1 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782109219 Las tablas de verdad son un método para saber si una formula lógica es siempre verdadera o si no lo es, en que casos es verdadera.]]> 2021-09-30 17:19:50 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782109219 Tipos de Proposiciones uberdaniel12345 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782121273 Pueden ser simples o compuestas.
Simples: Son aquellas que tienen una única idea, es decir una sola afirmación, siempre en positivo.
Compuestas: Son aquellas que tienen dos o más proposiciones.
Ejemplos:
Simples: La ballena es azul, uno más uno es dos, Daniel es peruano.
Compuestas: Es falso que, Carlos tenga buena nota. , Es falso que, dos más dos es 5.

]]> 2021-09-30 17:24:22 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782121273 Conectores Lógicos uberdaniel12345 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782131358 Son aquellos que conectan las proposiciones lógicas como se observa en la tabla.

]]> 2021-09-30 17:28:16 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782131358 Tautología joacaxd1 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782143248 Una fórmula lógica es una tautología si su tabla de verdad presenta sólo valores de verdad verdaderos.

]]> 2021-09-30 17:33:00 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782143248 Fórmulas Lógicas uberdaniel12345 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782144324 Están formadas por variables proposicionales y conectores lógicos combinados.
Por ejemplo:

(p ^ q)→q
(p ^ q)↔(p ˅ q)]]> 2021-09-30 17:33:23 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782144324 Contradicciones uberdaniel12345 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782399081 Cuando el resultado de todos los valores en una tabla de verdad de una fórmula lógica, son falsos.]]> 2021-09-30 19:30:50 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782399081 Contingencia uberdaniel12345 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782404835 Cuando en el resultado en una tabla de verdad de una formula lógica, hay falsos y verdaderos.]]> 2021-09-30 19:34:12 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782404835 Compuertas Lógicas uberdaniel12345 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782410540 Es un dispositivo electrónico con una función booleana u otras funciones como sumar o restar, incluir o excluir según sus propiedades lógicas.]]> 2021-09-30 19:37:38 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782410540 Equivalencia Lógica uberdaniel12345 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782431702 Se dice que dos formulas lógica son lógicamente equivalentes si al combinarlas mediante una bicondicional se obtiene una tautología.]]> 2021-09-30 19:49:23 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782431702 Leyes del Álgebra Proposicional uberdaniel12345 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782643162 2021-09-30 22:32:14 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782643162 uberdaniel12345 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782649919 2021-09-30 22:38:36 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1782649919 uberdaniel12345 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1788098782 2021-10-03 23:27:49 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1788098782 Integrantes del Grupo 4 uberdaniel12345 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1788114671 2021-10-03 23:43:29 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1788114671 uberdaniel12345 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1788118397 2021-10-03 23:47:12 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1788118397 uberdaniel12345 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1788130190 2021-10-03 23:59:15 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1788130190 La proposición lógica como instrumento para la comprensión y transformación de la realidad. uberdaniel12345 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1788160388 2021-10-04 00:26:22 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1788160388 Revisión de las definiciones de proposición y enunciado en su relación con las matemáticas. uberdaniel12345 https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1788169469 2021-10-04 00:33:02 UTC https://padlet.com/uberdaniel12345/fu3o27z12xigcj95/wish/1788169469