Segundo o argumento:
¬ ( s ^ ¬v ), s ⊢ v
1. ¬(s^¬v)
2. s
3. ¬s ˅ ¬¬v
4. ¬¬v
5. v
quais as regras de inferência foram usadas para completar a prova?
¬ ( s ^ ¬v ), s ⊢ v
1. ¬(s^¬v)
2. s
3. ¬s ˅ ¬¬v
4. ¬¬v
5. v
quais as regras de inferência foram usadas para completar a prova?
0 Respostas
Mais perguntas de Informática
Top Semanal
Top Perguntas
Você tem alguma dúvida?
Faça sua pergunta e receba a resposta de outros estudantes.
