Lógica computacional: lógica proposicional em Português e Ticuna