Regras de inferência e teorias científicas: duas propostas de soluções lógico-probabilísticas para a afirmação do consequente na verificação de teorias e algumas aplicações no ensino de ciências Documento