Lógica computacional y teoría de modelos (2019-20) Lógica computacional y teoría de modelos (2019-20)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Estructura secundaria ARN: Instancia 3.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%% Secuencia: ccaagauguggaggcuggggucag

seq(1,c). seq(2,c). seq(3,a). seq(4,a). seq(5,g). seq(6,a).
seq(7,u). seq(8,g). seq(9,u). seq(10,g). seq(11,g). seq(12,a).
seq(13,g). seq(14,g). seq(15,c). seq(16,u). seq(17,g). seq(18,g).
seq(19,g). seq(20,g). seq(21,u). seq(22,c). seq(23,a). seq(24,g).