Segundo o argumento: ¬ ( s ^ ¬v ), s ⊢ v1. ¬(s^¬v)2. s3. ¬s ˅ ¬¬v4. ¬¬v5. vquais as regras de

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?

RESPONDER

Pattiniantonia está aguardando sua ajuda, Clique aqui para responder.