Question

1.Construir a condicional associada aos seguintes argumentos : p -> q |- ~(p ^ ~q)Resposta: (p → q) → ~(p ^~q)OBS: ^ = OuAlguém sabe me explicar como chegar nessa resposta?

Answer 1

$p\rightarrow q~~\vdash~~ \sim (p\wedge \sim q) \\ p\rightarrow q~~\vdash~~ \sim p \vee q~~~~~~NEG \\ p\rightarrow q~~\vdash~~~~ p\rightarrow q~~~~~~COND \\ \\ \\ \vee=ou \\ \wedge= e \\ \sim=n\~ao \\ \rightarrow=condicional \\ \vdash = conclus\~ao$


Espero ter ajudado, qualquer dúvida comente embaixo! :)