Anotações, resumos, trabalhos, provas e exercícios de Latim de Outros cursos

Unicidade e Equilíbrio de Fórmulas

Latim3,2 KB

Unicidade de Representação de Fórmulas

Teorema: Toda fórmula se escreve de uma e uma só maneira como sucessão finita (justaposição, arranjo ou concatenação) de símbolos do alfabeto.

Prova por indução na complexidade das fórmulas:

Seja D o conjunto das fórmulas que se escrevem de uma e uma só maneira como sucessão finita de símbolos do alfabeto.

Caso base: Seja p uma letra proposicional. Como p é um símbolo do alfabeto, há uma e uma só forma de escrever esta sucessão finita de símbolos do alfabeto. Logo, p ∈ D.

Passo indutivo:

  • Negação: Seja Φ uma fórmula em D. Então Φ admite uma única forma de escrita como sucessão finita de símbolos do alfabeto. Como o conetivo principal de ¬Φ é a negação, ¬Φ também admite
...
Continue lendo "Unicidade e Equilíbrio de Fórmulas" »

Petição de Inventário por Arrolamento Sumário

Latim3 KB

EXCELENTÍSSIMO SENHOR DOUTOR JUIZ DE DIREITO DA ... VARA CÍVEL DA COMARCA DE ...

FULANO... (qualificação completa), FULANO... (qualificação completa) e FULANO... (qualificação completa), acompanhados de seu advogado, vêm, respeitosamente, com fundamento no artigo 1.031 e seguintes do CPC e no artigo 1.784 e seguintes do Código Civil, requerer a abertura do INVENTÁRIO dos bens deixados por (NOME COMPLETO), que deverá ser processado na forma de ARROLAMENTO SUMÁRIO, falecido no dia ..., na cidade de ..., conforme comprova a certidão de óbito anexa (doc. .), deixando bens e herdeiros, sem deixar testamento ou qualquer disposição de última vontade.

Outrossim, requerem seja nomeado para o cargo de inventariante o herdeiro (nome completo)...

Continue lendo "Petição de Inventário por Arrolamento Sumário" »

Serviço Público: Concurso, Cargos, Estabilidade e Mais

Latim8,52 KB

Concurso Público

O concurso público é o processo seletivo para ingresso em cargos ou empregos públicos, visando garantir isonomia, impessoalidade e eficiência. Principais aspectos:

  • Direito à Posse e Exercício: Candidato aprovado e nomeado dentro do número de vagas previsto no edital possui, em regra, direito subjetivo à posse e ao exercício do cargo.
  • Preterição na Ordem de Classificação: Se um candidato for preterido na ordem de classificação (por exemplo, nomeação de candidato com classificação inferior ou contratação irregular de terceiros) dentro do prazo de validade do concurso, ele tem direito à nomeação.
  • Aprovação por Medida Liminar: A participação e aprovação de candidato em etapas do concurso por força de
...
Continue lendo "Serviço Público: Concurso, Cargos, Estabilidade e Mais" »