Aplicaciones De Las Relaciones Y Funciones De La Pomputacion
2259 palabras
10 páginas
INSTITUTO TECNOLOGICO DE TLAHUAC lMATERIA: MATEMÁTICAS DISCRETA
NOMBRE DEL TRABAJO:
APLICACIONES DE LA LOGICA MATEMÁTICA EN LA COMPUTACIÓN
UNIDAD 3
PROFESOR:
JOSE LUIS DEL VALLE NUÑEZ
gAPLICACIONES DE LA LOGICA MATEMÁTICA EN LA COMPUTACIÓN
La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental a varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.
CIRCUITOS COMPUTACIONALES
El nivel menos abstracto dentro de una computadora está constituido por circuitos electrónicos que responden a diferentes señales eléctricas, siguiendo los …ver más…
Viajo: p
Mareo: q
Hambre: r
((p -> q) & (q -> r)) ->(r -> p) ( | ( | p | -> | q | ) | & | ( | q | -> | r | ) | ) | -> | ( | r | -> | p | ) | | | V | V | V | | V | | V | V | V | | | V | | V | V | V | | | | V | V | V | | F | | V | F | F | | | V | | F | V | V | | | | V | F | F | | F | | F | V | V | | | V | | V | V | V | | | | V | F | F | | F | | F | V | F | | | V | | F | V | V | | | | F | V | V | | V | | V | V | V | | | F | | V | F | F | | | | F | V | V | | F | | V | F | F | | | V | | F | V | F | | | | F | V | F | | V | | F | V | V | | | F | | V | F | F | | | | F | V | F | | V | | F | V | F | | | V | | F | V | F | |
INDETERMINACIÓN
4. O EL AMOR ES CIEGO Y LOS HOMBRES NO SON CONSCIENTES DEL HECHO DE QUE EL AMOR ES CIEGO, O EL AMOR ES CIEGO Y LAS MUJERES SACAN VENTAJA DE ELLO. SI LOS HOMBRES NO SON CONSCIENTES DE QUE EL AMOR ES CIEGO, ENTONCES EL AMOR NO ES CIEGO. EN CONCLUSIÓN, LAS MUJERES SACAN VENTAJA DE ELLO.
Amor ciego: p
Hombres no conscientes: ¬ q
Mujeres ventaja: r
((p & ¬q) v (p & r)) & (¬q -> ¬p) ->r (( | p | & | ¬ | q | ) | v | ( | p | & | r | )) | & | ( | ¬ | q | -> | ¬ | p | ) | -> | r | | V | F | F | V | | V | | V | V | V | | V | | F | V | V | F | V | | V | V | | V | F | F | V | | F | | V | F | F | | F | | F | V | V | F | V | | V | F | | V | V |