O símbolo de ¬ é computado no comprimento da fórmula ou não? O "true", conta também?
estava estudando comprimento das fórmulas e notei que tive esse dúvida, O símbolo de ¬ é computado no comprimento da fórmula ou não?
💡 4 Respostas
Marcos Felipe Rezende Xavier
o simbolo de negação não conta.
Andre Smaira
Nesse exercício vamos estudar lógica proposicional, mais especificamente a definição de comprimento.
Sendo $H$ e $G$ símbolos proposicionais ou de verdade, então $comp[H]=comp[G]=1$. A partir dai a definição é recursiva:
$comp[\neg H]=comp[H]+1$ (logo $\neg$ é computado)
$comp[H\vee G]=comp[H]+comp[G]+1$
$comp[H\wedge G]=comp[H]+comp[G]+1$
$comp[H\rightarrow G]=comp[H]+comp[G]+1$
$comp[H\leftrightarrow G]=comp[H]+comp[G]+1$
Andre Smaira
Nesse exercício vamos estudar lógica proposicional, mais especificamente a definição de comprimento.
Sendo $H$ e $G$ símbolos proposicionais ou de verdade, então $comp[H]=comp[G]=1$. A partir dai a definição é recursiva:
$comp[\neg H]=comp[H]+1$ (logo $\neg$ é computado)
$comp[H\vee G]=comp[H]+comp[G]+1$
$comp[H\wedge G]=comp[H]+comp[G]+1$
$comp[H\rightarrow G]=comp[H]+comp[G]+1$
$comp[H\leftrightarrow G]=comp[H]+comp[G]+1$
Faça como milhares de estudantes: teste grátis o Passei Direto
Esse e outros conteúdos desbloqueados
16 milhões de materiais de várias disciplinas
Impressão de materiais
Agora você pode testar o
Passei Direto grátis
✏️ Responder
Para escrever sua resposta aqui, entre ou crie uma conta.
Perguntas relacionadas
Compartilhar