The present invention relates to a device for encoding propositions and their possible truth values by means of nucleic acid strands, useful for the representation of logical rules, modus ponens, modus tollens, resolution and hypothetical syllogism. On the other hand, the present invention implements rules of inference on nucleic acids without the need for restriction enzymes. (Machine-translation by Google Translate, not legally binding)
REIVINDICACIONES 1. 1. Dispositivo de codificación de proposiciones y sus posibles valores de verdad mediante hebras de ácidos nucleicos, caracterizado por que a una proposición P genérica se le asigna una hebra de ácido nucleico que comprende una secuencia única de nuc1eótidos dividida en dos segmentos de igual longitud, PI y P2, orientados de manera que el segmento con subíndice 1 (PI) es el más cercano al extremo 5' de la hebra, yel segmento con subíndice 2 (P2) es el más cercano al extremo 3' de la hebra, y donde a la negación de una proposición dada, denotada como -'P, se le asigna una hebra de ácido nucleico que comprende una secuencia de nuc1eótidos de la misma longitud que la proposición P y complementaria con la misma y la secuencia de nuc1eótidos que codifica a la proposición -,p está dividida en dos segmentos de igual longitud, ~I y ~2, orientados de manera que el segmento con subíndice 1 (~I) es el más cercano al extremo 3' de la hebra, y el segmento con subíndice 2 (-'P2) es el más cercano al extremo 5' de la hebra. 2. 2. Dispositivo según la reivindicación 1, caracterizado por que comprende dos hebras de ácidos nuc1eicos parcialmente hibridadas entre sí en uno de sus segmentos, de tal manera que los subíndices de los segmentos hibridados no coinciden entre sí. 3. Dispositivo según la reivindicación 1, caracterizado por que comprende una hebra que codifica a la negación de la proposición que es antecedente de la regla, una hebra que codifica a la proposición que es consecuente de la regla, una hebra puente que comprende una secuencia de nucleótidos dividida en dos segmentos con subíndices 1 y 2, caracterizada por que su segmento de índice 1 es complementario al segmento de índice 1 de la hebra que codifica la negación de la proposición que es antecedente de la regla, y su segmento de índice 2 es complementario al segmento de índice 2 de la hebra que codifica al consecuente de la regla y una hebra auxiliar, que comprende una secuencia de nuc1eótidos caracterizada por ser totalmente complementaria a la secuencia de nuc1eótidos de la hebra puente, excepto en un prefijo y un sufijo de longitud prefijada en dicha secuencia de la hebra puente. 4. 4. Dispositivo según la reivindicación 1, que comprende un número variable de hebras de ácidos nucleicos: un conjunto de hebras, una hebra puente que comprende una secuenCIa de nucleótidos, dividida en tantos segmentos como el número de proposiciones representadas en el dispositivo, donde cada uno de estos segmentos es totalmente complementario al segmento con índice 1 de la hebra que codifica a la proposición asociada a dicho segmento de la hebra puente. 5. Dispositivo según la reivindicación 4, que comprende además una hebra auxiliar complementaria a la hebra puente, diseñada de forma que en uno de sus extremos (3' o 5'), que coincide con el principio o el final de la secuencia de nucleótidos complementaria a las hebras de proposición, se fija una partícula atenuadora de luminosidad, capaz de atenuar la luz generada por un tluoróforo y un tluoróforo en el extremo de la hebra puente que es antiparalelo al extremo de la hebra auxiliar al que se ha fijado la partícula atenuadora. - 6. 6. Uso del dispositivo según una de las reivindicaciones 2 ó 3, para la representación de una regla lógica simple, donde la hebra cuyo segmento de subíndice 1 está hibridado codifica a la negación del antecedente (--'P), mientras que la otra hebra codifica al consecuente (Q). 7. 7. Uso según la reivindicación 6, para la representación de reglas lógicas en un modo de funcionamiento básico, iterativo o recursivo. 8. 8. Uso según la reivindicación 7, para la realización de inferencia lógica empleando las reglas de inferencia Modus Ponens y Modus Tollens. 9. 9. Uso del dispositivo según la reivindicación 4, para la representación de una cláusula lógica, que contiene una lista de proposiciones relacionadas entre sí mediante la operación de disyunción (v). 10. Uso según lareivindicación 9, para la representación de fórmulas lógicas expresadas en forma normal conjuntiva. 11. 11. Uso según la reivindicación 10, para la realización de inferencia lógica entre cláusulas, empleando las reglas de inferencia resolución y silogismo hipotético. 12. Uso según la reivindicación 11, caracterizado por que la cláusula resultante de 5 aplicar una regla de inferencia se utiliza como entrada de otra regla de inferencia. 13. Uso del dispositivo según la reivindicación 5, para la evaluación de fórmulas lógicas expresadas en ~orma normal conjuntiva, caraCterizado por que se adicionan hebras que codifican los valores opuestos a los de la asignación de valores que se pretende evaluar