eu não entendo porque no exemplo 20, A é tomado como verdade, sem a necessidade de prová-lo, sendo que ele nao fazia parte das premissas. O que me garante que A é verdade e eu posso usá-lo repetidas vezes na prova?
Assumir uma premissa não faz dela uma verdade. No exercício 20, quando assumimos A como verdadeiro é como o seguinte raciocínio: "Vamos imaginar que A é verdade... Opa! mas se A é verdade então B é verdade também e *sabemos* que B é falso! A ser verdade é um absurdo!! Logo, A só pode ser falso!" Espero ter ajudado a ver o exemplo de uma outra forma. []s
![[MD] Aula 02c: Dedução Natural para Lógica Proposicional (2/2)](http://i.ytimg.com/vi/boeUtv9s8gA/mqdefault.jpg)
![[MD] Aula 02c: Dedução Natural para Lógica Proposicional (2/2)](/img/tr.png)
![Lógica proposicional [8] - Dedução natural (método direto) (1/3)](http://i.ytimg.com/vi/XwhAx5k1DA8/mqdefault.jpg)
![Lógica proposicional [8] - Dedução natural (provas hipotéticas) (2/3)](http://i.ytimg.com/vi/GQ8xezGZ2Yk/mqdefault.jpg)
![[MD] Aula 07b: Relações - Classificações](/img/1.gif)
deus te abençoe meu mestre
que homem, muito bem explicado
Muito bom vídeo irmão, primeiro que vejo que ensino direito, faltei justo no dia que a professora deu esse assunto e tava custando a entender
eu não entendo porque no exemplo 20, A é tomado como verdade, sem a necessidade de prová-lo, sendo que ele nao fazia parte das premissas. O que me garante que A é verdade e eu posso usá-lo repetidas vezes na prova?
Assumir uma premissa não faz dela uma verdade. No exercício 20, quando assumimos A como verdadeiro é como o seguinte raciocínio: "Vamos imaginar que A é verdade... Opa! mas se A é verdade então B é verdade também e *sabemos* que B é falso! A ser verdade é um absurdo!! Logo, A só pode ser falso!"
Espero ter ajudado a ver o exemplo de uma outra forma. []s
@@brhott_ufop entendi sim, agradeço bastante a explicação
Muito bom vídeo irmão, primeiro que vejo que ensino direito, faltei justo no dia que a professora deu esse assunto e tava custando a entender