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)
![[MD] Aula 02a: Dedução Natural para Lógica Proposicional (1/2)](http://i.ytimg.com/vi/QJiy9MfawzM/mqdefault.jpg)
![[MD] Aula 02d: Dedução Natural - Exemplos (2/2)](http://i.ytimg.com/vi/rWVB678sPbs/mqdefault.jpg)
![Lógica proposicional [8] - Dedução natural (método direto) (1/3)](/img/n.gif)
que homem, muito bem explicado
deus te abençoe meu mestre
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