Lógica, perguntado por diegovieira3599, 1 ano atrás

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?


karolinep: Oi Diego, pode mandar anexo da foto da questão por gentileza?

Soluções para a tarefa

Respondido por karolinep
2
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! :)
Perguntas interessantes