Live Matemática Discreta - Argumentação e regras de inferência

[@josesilvareisbatista6631]

Adorei sua explicação professor Marcelo Gama, aluno de Mat. da UFRB.

[@gabrielaarbelaiz5561]

Melhor explicação que encontrei, parabéns!

[@professormarcelogama]

Que bom que te ajudei. Boa sorte nas provas!

[@PauloCesar-wk7qr]

Bom dia marcelo gostaria de saber de como ler os símbolos exemplo →,^ preciso disso porque vou estudar para concurso

[@Matheus6591]

Professor, gostei da sua aula, excelente trabalho, poderia enviar uma lista de exercícios pra eu praticar? Desde já grato.

[@luiscarlosbispodossantos4590]

alguma indicação de livro para este tema?

[@u5faddd]

Professor, boa noite, humildemente, peço-lhe faça mais um vídeo só resolvendo questões usando Regra de Inferência. Estou no primeiro período de ciência da computação e é de explicações como a sua que preciso. UERN

[@eliezerjnr9247]

Excelente explicações nas regras de inferência, obrigado Professor pela aula.

[@professormarcelogama]

Obrigado Eliezer. Fico feliz em ter ajudado!

[@wilianfarias9444]

e também P → Q posso também concluir mais duas P → ( P → Q ) P → ( P se e somente se Q ) Além dessa P → ( P ^ Q ) que vc disse que é exatamente essa que aparece no google como uma das regras de inferências com o nome de absorção. Mas todas as outras duas também eu posso concluir. Porque essas três são equivalentes a uma condicional P → Q

[@luiscarlosbispodossantos4590]

EXELENTE

[@thalysf.candido1758]

Boa noite professor, excelente vídeo aula, consegui aprender bastante. Gostaria de saber se teria como você me enviar a lista de exercícios que resolveu durante sua vídeo aula

[@professormarcelogama]

Obrigado Thalys. Posso enviar sim. Qual o teu e-mail?

[@eu2480]

poderia enviar para mim. Email [e-mail]

[@liliarogerio5221]

PARABÉNS PROFESSOR VC FOI DEZ......

[@silvavalterjunior]

boa noite professor . o srº poderia explicar o tema lógica aristotélica? ou lógica quantitativa?

[@sandinom.coelho5425]

Obrigado Professor. Adorei a aula.

[@professormarcelogama]

Fico feliz em ter ajudado. Bom estudo!

[@rsvmrubovic]

Professor, usando a regra da tabela verdade pra concluir a inferencia, tambem pode ser aplicado a tabela verdade pra poder abstrair a tabela de equivalencia?

[@professormarcelogama]

Pode sim. Funciona perfeitamente!!

[@rsvmrubovic]

valew professor

[@simoneferreira6280]

Ótima aula!!! Muito bem explicada!!!!

[@professormarcelogama]

Obrigado Simone. Fico feliz em ter ajudado. Estou preparando umas surpresas aqui pro canal a partir de fevereiro! Espero que te ajude ainda mais.

[@marciamamede2747]

Tenho grande dificuldade regras de inferência, não sei qual utilizar nas premissas.

[@professormarcelogama]

Olá Márcia. Minha dica é que você fique atenta à forma como cada regra se apresenta, mesmo que não decore o nome delas. Por exemplo, sempre que entre várias proposições você encontrar essas p->q, p, você raciocina da seguinte forma: (primeira) Se eu tiver p, então terei q. (Segunda) mas eu tenho p. (Conclusão) Logo terei q. Daí você sabe que as duas iniciais poderão ser "descartadas" e você fica somente com "q". Pense sempre da seguinte forma: Trocar duas premissas por uma conclusão. Daí você dá uma olhada bem atenta às regras de inferência até começar a entender quem substitui quem. Qualquer coisa manda uma imagem de alguma questão pra mim facebook.com/marcelo.gama.7355 que eu terei o maior prazer em ajudar.

[@1guinho123]

O professor explicou a interpretação do Modus Ponens, muito bom. A interpretação é bom usar em todas as argumentações. Como essa do Modus Tollens: se p então q, não q(como eu neguei q, para que seja verdade a proposição(premissa) "p→q", temos que ter não p). Quando você tenta encontrar o sentido e interpretar, o argumento tem mais sentido, e não parece ser apenas letras e formulas de letras que precisam ser somente decoradas.

[@professormarcelogama]

Verdade Igor. Eu sempre procuro interpretar o que está escrito. Assim fica mais fácil raciocinar.

[@wilianfarias9444]

Márcia. Bom dia , garanto pra vc que é fácil... Partindo da ideia que eu sou obrigado a considerar que todas as premissas são verdadeiras até que eu consiga provar o contrário ou o autor da questão diga o contrário.....mas inicialmente se não dizer nada , terá que ser todas verdadeiras .. sendo assim.. O modus pôneis é a primeira regrinha de inferência a ser estudada , muito fácil... Se eu tenho uma condicional , e ela diz assim, se isso acontecer , com certeza isso acontecerá ...na primeira premissa aí na segunda premissa diz que isso aconteceu realmente , logo...qual a conclusão que eu tiro ? Que irá acontecer o consequente da condicional da primeira premissa , só isso ...nada mais que isso... Aí partindo dessa mesma ideia , vc parte pra outra que è o modus tollens , que faz a mesma coisa , escreve uma condicional Só que a segunda premissa , é a negação do consequente da primeira premissa , hora.. Eu só posso concluir a negação do antecedente da condicional da primeira premissa , e assim vai...na próxima. Seria a inferência do dilema construtivo que se vc sabe o modus pôneis , vc também sabe o dilema construtivo ...que seria tipo uma derivação do modus pôneis... a próxima seria o dilema destrutivo , que se vc sabe o modus tollens. .também vc vai saber o dilema destrutivo que seria como uma derivação do modus tollens.. Pra que serve tudo isso....são ao todo ...umas 10 regras de inferências Serve pra vc chegar a umas conclusões que possivelmente estar em umas das alternativas da questão....chegar na resposta em tempo recorde sem perder tempo...serve como um atalho...pra chegar na resposta e muitas vezes num piscar de olhos...

[@rogerfilipem.martins8119]

Bom dia , professor vc poderia me explicar ? Por que “Q” é equivalente a “[P e/ou Q] e Q” e por que “P e/ou Q” é equivalente a “[P e/ou Q] e/ou Q”? e o que é equivalente a “Se A é, B deve ser”?

[@professormarcelogama]

“Q” é equivalente a “(P ou Q) e Q” . Para ver isso é só fazer a tabela-verdade. Tenho certeza que você consegue.

[@professormarcelogama]

A segunda equivalência que você pede precisa ser mais específica. Quando quando você escreve "e/ou" temos duas expressões distintas: uma usando "e", outra se usar "ou". Cada novo "e/ou" dobra a quantidade de expressões possíveis. Como temos 3 "e/ou" será necessário escrever 2x2x2, ou seja, 8 expressões e analisar cada uma. Já adianto que nem todas são equivalências; por isso eu preciso que você escreva as equivalências que deseja verificar. Manda aí que eu ajudo! :)

[@professormarcelogama]

Não entendi bem o que significa “Se A é, B deve ser”. Eu acredito que seja a condicional "Se A, então B". Se for esse o caso, essa proposição será equivalente a "(não A) ou B". Você pode raciocinar assim: Acontece (não A) ou A, obviamente. Se acontecer A, então acontecerá B, por causa da condicional. Então teremos (não A) ou B. De qualquer forma, a tabela-verdade é sempre uma boa opção para chegar a essa conclusão.

[@rogerfilipem.martins8119]

obrigado

[@mariojuditemagaia3192]

Olá

[@JhonW24]

professor, adorei suas explicações, quero também essa lista de exercícios. Email: [e-mail]

[@wilianfarias9444]

argumento nenhum....se faz com tabela verdade ....tem inferencias , outras técnicas bem mais rápidas.

[@professormarcelogama]

Eu fiz essa live para os meus alunos e esse era o assunto que eles precisavam estudar para a prova. Casos mais simples podem ser resolvidos com tabela verdade. Digamos que um aluno esqueça as regras de inferência, ele precisa ter outra alternativa...

[@wilianfarias9444]

@@professormarcelogama isso ...em último caso....vai por tabela mesmo....só não pode deixar de fazer ...

[@wilianfarias9444]

@@professormarcelogama queria umas questões top...sabe aquelas questões de argumento mesmo, etc...que a grande maioria erra..se vc tiver uma assim, manda pra mim....tou selecionando inúmeras questões de diversos assuntos da lógica....e tou atrás agora das mais sofisticadas , sabe ...meu email é esse : se tiver uma assim...é só mandar , [e-mail] porque o que faz a diferença prof é acertar questões dificeis , porque as fáceis , a maioria acerta , não é..meu email tá aí..se vc perceber que a questão é um pouco diferente ..que foge um um pouco do básico...pode mandar...pra eu ver se não tiver na minha lista , eu acrescento....obrigado !!! eu tenho uma de argumento fantástico ...sabe aquele tipo de questao, que se vc não viu uma assim parecida antes , na hora da prova com o tempo correndo , não faz de jeito algum....me manda um email depois que te mando essa questão ...pra tu explicar pra turma ...