A matemática tem muitos símbolos. Alguns podem dizer muitos símbolos. Então, vamos fazer algumas contas com fotos. Vamos ter um papel, no qual iremos desenhar. Para começar, o papel está vazio, diremos que é equivalente a ⊤⊤\top ou .truetrue\textit{true} Se escrevermos outras coisas no papel,...
Usando as dez inferências do Sistema de Dedução Natural, comprova as leis de DeMorgan . As regras da dedução natural Introdução à Negação: {(P → Q), (P → ¬Q)} ⊢ ¬P Eliminação de Negação: {(¬P → Q), (¬P → ¬Q)} ⊢ P E Introdução: {P, Q} ⊢ P ʌ Q E eliminação: P ʌ Q ⊢ {P, Q} Ou Introdução: P ⊢ {(P ∨...
Dado um nível positivo de aninhamento de número inteiro ne uma sequência sde caracteres ascii imprimíveis ( para ~gerar um programa que, quando executado no mesmo idioma, gera um programa que gera um programa ... que gera a strings . Um total de n programas deve ser gerado, todos os quais devem...
Dados inteiros positivos e h produzem w colunas e h linhas de texto, conforme descrito abaixo.wwwhhhwwwhhh A primeira linha começa com 11 0s, a segunda linha com 10 1s, a terceira com nove se 2assim por diante na décima linha com dois 9s. Em cada uma dessas dez primeiras linhas, após a execução...