Ferramentas do usuário
dica:lstip
Demonstração similar ao item anterior, bastando fazer uso do critério de Tarski para garantir que as fórmulas existenciais estejam no submodelo.
dica/lstip.txt · Última modificação: 2020/11/06 16:05 (edição externa)
Ferramentas da página
Exceto onde for informado ao contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Share Alike 4.0 International
