Eu já vi um biológo dizendo que todo procedimento algoritmo é tautológico. Isso é realmente verdade?

Uma proposição, composta por afirmações, que seja verdadeira qualquer que seja o valor veritativo de suas afirmações componentes, é dita uma tautologia. Um algoritmo é uma sequência finita e ordenada de procedimentos que levam à execução de uma tarefa. Proposições e instruções são categorias diferentes. A primeira são afirmações ou negações. A segunda são ações. Ações não possuem o valor de serem verdadeiras ou falsas. Logo, no meu entendimento, não há como um algoritmo ser uma tautologia, pois tautologia é proposição. Para mim é o mesmo que querer dizer que o fato de algo ser bom implique que seja caro ou belo. São valores completamente distintos. Uma ação pode ser útil, eficiente ou eficaz, mas não verdadeira ou falsa. Gostaria de conhecer a argumentação que leva a essa conclusão.