.
Las computadoras y los líquidos no son muy compatibles, como tantos dueños
descuidados de ordenadores han descubierto al beber café demasiado cerca
de sus equipos. Pero un nuevo descubrimiento de un equipo de investigadores
podría conducir a la creación futura de circuitos lógicos que operen literalmente
en un tubo de ensayo, o incluso en el cuerpo humano.
(NC&T) Un grupo del Caltech (Instituto Tecnológico de California), dirigido por los
especialistas en computación Erik Winfree y Georg Seelig, ha creado circuitos lógicos
de ADN que funcionan en agua con sal, un medio similar al ambiente intracelular.
Tales circuitos podrían llegar a formar una especie de microcontrolador bioquímico,
formado por células biológicas y otros sistemas químicos complejos
servido por clase primero
sin comentarios
compártelo
Un grupo de científicos ha comenzado a elaborar el primer mapa de las autopistas interplanetarias generadas por los Puntos de Lagrange, valiéndose únicamente de la lógica matemática. Su propósito es que este mapa sea utilizado en el futuro por misiones espaciales, que no usarán combustible para propulsarse, sino que aprovecharán la gravedad presente en estas autopistas para viajar a mayor velocidad de un lado a otro del sistema solar, prácticamente sin combustible. Aprovechando la rutas establecidas por la gravedad, la NASA planea enviar en 2012 una nave a las lunas de Júpiter para averiguar si bajo su superficie existe agua. Por Eduardo Martínez de Tendencias Científicas.
.jpg)
servido por clase primero
sin comentarios
compártelo
La lógica deductiva es un tipo de razonamiento en el cual estamos seguros de que la conclusión es verdadera, si las premisas son verdaderas.
Existen dos tipos de lógica: lógica de proposiciones y lógica de términos.
LÓGICA DE PROPOSICIONES:
Son los argumentos mínimos de sentido que se sustituyen por variables para poder ver si son correctas.
Utiliza variables para comprobar la verdad de los enunciados y funciones para unir dos proposiciones.
Las funciones:
- Negación, conjunción, disyunción, implicación, bicondicional
Las leyes lógicas: la formalización de un argumento permite poner de relieve su forma lógica. Ponendo ponens, tollendo tollens, ponendo tollens y la regla de la doble negación.
LÓGICA DE TÉRMINOS:
De ella nos interesan cada uno de los términos y cómo están colocados con respecto del argumento para ver si son correctos.
Utiliza las palabras para comprobar la verdad de los enunciados. El objetivo es ver las correcciones de una deducción utilizando los silogismos categóricos( que son dos premisas y una conclusión).
Las proposiciones se clasifican en:
UNIVERSAL PARTICULAR
+ A I
- E O
servido por clase primero
1 comentario
compártelo
