Aula 4 - Regras de Inferência (Parte IV de Lógica) - Fundamentos Matemáticos para Computação

[@dinhahistoire]

Caramba, professor, você é show! Estava quebrando a cabeça nos vídeos da faculdade mas vc mostrou mais uma vez que não basta ser mestre, tem que saber ensinar. Sucesso sempre!!!

[@ProfessorDouglasMaioli]

Olá Ingrid, muito obrigado 🥰

[@Eduardo_BP]

Ingrid Matos: Os professores n tem culpa de os alunos não saberem que existem uma área chamada APRENDER A APRENDER, n verdade tem kk ou seja, antes, antes, antes de estudar qualquer coisa primeiro tem que aprender a aprender só depois começar a aprender um assunto ou tema. Isso é uma doença, câncer em relação a educação, a maioria das pessoas não sabem disso, fico me perguntando o quantas outras coisas óbvias n sabemos kk

[@ivanzeg]

amiguinho, vc que diz saber aprender a aprender, devia estudar um pouco sobre violência simbólica e como isso atrasa o desenvolvimento de uma nação.

[@leandro_fmoraes]

Existe aluno ruim e existe professor ruim. Não adianta a pessoa ter uma baita formação se não tem didática e tem uma metodologia ruim.

[@lrconsultoriabim]

Pra mim já ficou claro, que é impossível se manter na UNIVESP sem usufruir demais dos vídeos do Prof Douglas Maioli... Obrigado por todo esforço em produzir esses vídeos

[@luizfelipedasilvachagas]

Amigo vc tbm faz algo relacionado à computação?

[@sebastiaorodrigues3481]

Professor Douglas, sou muito grato, as suas aulas têm me ajudado bastante! Continue desse jeito!

[@ProfessorDouglasMaioli]

Que bom Sebastião 🙏🏻👊🏻

[@NathZCalmon]

Que playlist incrível. Abençoado seja quem linkou ela no Github

[@iwakurasape]

sou grato, fiquei quase 2 meses na faculdade quebrando a cabeça e em 5 videos consegui entender muito bem

[@davidjunior8290]

pessoal bora ser um padrinho do professor DOUGLAS!!!!! assim podemos contribuir para termos um apoio de qualidade no decorrer do nosso curso...

[@ProfessorDouglasMaioli]

👏👏👏👏

[@antoniodias7073]

Finalmente consegui entender esse tema! Muito obrigado professor DM!! ✌✌

[@AnaCarolina-gx7ue]

Isso não é um professor, é um prefeito! Abençoado sejam esses professores de matemática!

[@EduardoGarcia-cf3zl]

Mais uma vez o professor Douglas salvando ao dia. Lógica não é fácil, se for contar apenas com a explicação do AVA, estariamos ferrados.

[@amiltonsouza6242]

e põe ferrados nisso....didática horrível da univesp....

[@adautoandrade7579]

Obrigado pelo esforço e iniciativa. Estou me apoiando nos seus videos para conseguir prosseguir nos estudos agora em abr 2023 Parabéns Excelente didática

[@ProfessorDouglasMaioli]

Olá Adauto, obrigado 👊🏻

[@adautoandrade7579]

Valeu!

[@ProfessorDouglasMaioli]

Muito obrigado Adauto 🙏🏻

[@fernandodesign-o8i]

Estou fazendo a cadeira de matemática discreta na faculdade, seus vídeos tem me ajudado muito pois as notas de aula do meu professor são muito difíceis de compreender com explicações confusas. Suas aulas ajudam muito!!!! Muito obrigado, professor Douglas!

[@mariacoelho3290]

Revendo a aula, nunca é demais :)

[@ProfessorDouglasMaioli]

Com certeza Maria 👏👏👏

[@MrPedrotec]

Muito obrigado!!!!

[@leidianegomes4340]

Professor salvou as aulas da Univesp .Obrigada pro! Saúde e sucesso

[@heraldocandidodacruz4587]

Professor, parabéns. Estava no escuro com as Regras de Inferência, não entendia estas regras com a sua explicação ficou bem mais claro.

[@ProfessorDouglasMaioli]

Que bom que a minha aula te ajudou Heraldo 🙏👍

[@mariacoelho3290]

Amei a logo, o significado, as cores, as letras ... tudo! Acho muito legal como tudo está sendo organizado. Parabéns 👏👏

[@ProfessorDouglasMaioli]

Que bom que gostou Maria .... Muito obrigado ❤️

[@jessicaangel49]

Aula maravilhosa, queria que todos os professores da faculdade fossem iguais a você! A cada aula sua, eu sinto mais vontade de aprender.

[@ProfessorDouglasMaioli]

Obrigado Jéssica 🥰🥰 Que bom, fico feliz por isso 🙏❤️

[@jacobsoncosta7747]

Parabéns, professor. Continue firme e forte. Muito boa aula.

[@ProfessorDouglasMaioli]

Valeu Jacobson 👍🏻

[@mayarasilva989]

A cidade de foi salva, mais uma vez, pelo Prof.: Basicamente eu me reconciliei com a matemática graças as suas habilidades de ensinar, Obrigada!

[@rosemeirezapater888]

Excelente professor!! Muito grata!!!

[@janainamaya4217]

Caraca que professorZão TOP!!!! Tava perdidinha...agora me animei com essa matéria...muito boa suas aulas, parabéns e obrigada por nos ajudar de graça. Pena que não vi as aulas de Cálculo a tempo....mas tá tudo aqui no canal e ainda dá pra correr atrás....vlw demais professor Douglas. Melhor do mundo. Claps!!!!!!!!

[@ProfessorDouglasMaioli]

Muito obrigado Janaina 🥰 Que pena que conheceu o canal só agora 😔 Fiz uns vídeos de Pensamento Computacional, mas comecei a acompanhar a nossa turma numa disciplina inteira em Matemática Básica. Mas como disse, todos os vídeos estão no canal pra consulta.

[@rsobral41]

Todos os caminhos levam ao canal do Maioli... Sempre soube aplicar o cálculo lógico, mas quando começaram a nomear o que sempre apliquei, deu bug... Obrigado Maioli, sua didática é sempre perfeita, rápida e descomplicada.

[@ProfessorDouglasMaioli]

Valeu, muito obrigado 🥰🙏

[@rogerioTASI]

Parabéns professor! Suas aulas são bençãos pra nós! obrigado! Deus te abençoe!

[@oziresramos9466]

Como sempre, só tenho que agradecer. Obrigada Professor. Quanto ao logo, ficou fantástico.

[@ProfessorDouglasMaioli]

Valeu Ozires, obrigado 👍

[@thiago44328]

Incrível a facilidade em passar o conteúdo! Parabéns!!!!!!

[@ProfessorDouglasMaioli]

Valeu 👍

[@ivanclobocar7298]

Parabéns professor. Estou gostando da sua forma de ensinar, muito didático! Esse já foi mais difícil mesmo hein, vou até assistir o vídeo umas 2x. Abs

[@ProfessorDouglasMaioli]

👏🏻👏🏻👏🏻👊🏻

[@sidneimarcal7407]

O logo ficou top! E as aulas estão maravilhosas! Professor, meu muito obrigado pelo tempo e dedicação.

[@ProfessorDouglasMaioli]

Valeu Sidnei 💪👏👏 De nada 👍

[@42jhonatan]

Professor Douglas você é DEMAIS, muito obrigado, estou aprendendo super bem com suas aulas.

[@elisvaldocastromoura8105]

Tudo muito bom. Boa didática.

[@graziellaleite4561]

Oi prof. Perfeito o logo! Com certeza é a tradução do seu ótimo trabalho! Parabéns!!!

[@ProfessorDouglasMaioli]

Muito obrigado Grazi ❤️

[@riskbreakerz1]

O professor tem lista de tudo e pelo "andar da carruagem", eu acredito que vou assistir tudo e aprender de fato pois muita coisa ficou bem a desejar na minha graduação, um exemplo é lógica.

[@lyncanjm9809]

muito bom mesmo sua didatica paciencia e explicaçoes claras e objetivas.. obrigado de verdade🤟

[@ProfessorDouglasMaioli]

Valeu Lyncan .... Obrigado 👍

[@igorduarte1449]

Vc é um abençoado!

[@ricardoseung1785]

Gostei muito do logo. Obrigado profe

[@ProfessorDouglasMaioli]

Que bom Ricardo 🙏👏👏

[@rodolfo.pinheir0]

Obrigado Professor, teus vídeos estão me ajudando muito. Deus ter abençoe a cada dia mais.

[@ProfessorDouglasMaioli]

Que bom Rodolfo! Amém 🙏

[@rafaelsaboia910]

Aula excelente professor, tive matemática discreta na primeira graduação, mas não entendi muito coisa. Todavia agora com os seus vídeos deu uma clareada legal.

[@ProfessorDouglasMaioli]

Que bom que os vídeos ajudaram Rafael 👏👏👏👏👏

[@rfqueiroz02]

Q professor maravilhoso!! Parabéns!

[@ProfessorDouglasMaioli]

Valeu Roldão 👏👏👏👏

[@nataligregoriodasilva3363]

O logo ficou legal! Obrigada pelas aulas =)

[@ProfessorDouglasMaioli]

Valeu Natali ❤️ De nada 🥰🥰

[@priscilalima2132]

Aula show

[@ProfessorDouglasMaioli]

Obrigado Priscila ❤

[@wadered9033]

obrigado professor pela aula, me ajudou muito

[@Paulocarvalho1979]

Excelente, Professor Douglas! Aula sensacional! Parabéns!

[@mundoparalelo6893]

A didatica do professor é muito boa

[@ProfessorDouglasMaioli]

Muito obrigado 👊🏻

[@smasherCAEU]

De Portugal um enorme abraço. Obrigadíssimo pela ajuda

[@ricj9594]

Logo excelentee!! Parabéns!

[@ricj9594]

e aula show de bola!!

[@ProfessorDouglasMaioli]

Valeu Ricardo 👍

[@ulissesalbardeiro9272]

Mais uma excelente aula, professor!

[@Rosas-u4k]

Perfeito! Ótima didática

[@PatriciaSB-un3ek]

Professor, você é sensacional! Obrigada é pouco pra descrever o quanto tem me ajudado! Abs,

[@H.Fvlogs]

video realmente muito bom, parabens!!!

[@marcelaseixas]

aula de verdade!!!!

[@ProfessorDouglasMaioli]

Obrigado Marcela 🥰

[@lndrms4044]

Como sempre o melhor!! Parabéns !! Prof..

[@ProfessorDouglasMaioli]

Valeu Leandro 👍

[@MateusMoreiraPereira]

Ótimo vídeo me ajudou bastante, não estava entendendo nada na faculdade

[@ramonjales9941]

muito perfeito, esse conteúdo!

[@1001Coisas-yt]

Aulas excelentes! O logo ficou lindo.

[@ProfessorDouglasMaioli]

Obrigado 🙏🏻

[@odharamaggi7061]

Que conteúdo excelente Professor!!!! Muito obrigada pela didática na explicação, agora tá começando a fazer sentido pra mim kkk me ajudou bastante!

[@ProfessorDouglasMaioli]

Que bom O'Dhara ... Muito obrigado pela sua mensagem ❤️🙏

[@igorghiberti8281]

Brabo!

[@aparecidomachado9581]

Obrigado professor, show de aula.

[@bolhars]

Muito bom , me ajudou bastante.

[@dimaspereira4723]

Excelente!! Obrigado Mestre!

[@ProfessorDouglasMaioli]

Valeu Dimas 👍

[@angelica4504]

Gratidão enorme a você Douglas, que Deus te abençoe!

[@ProfessorDouglasMaioli]

❤️❤️❤️❤️

[@gabriellacastelari1356]

Aula excelente! Em meio a tantas outras, a sua salvou os meus estudos, muito obrigada! Recomendo!

[@edsonvalentimhernandes7715]

Excelente aula, o logo ficou ótimo...Parabéns

[@ProfessorDouglasMaioli]

Obrigado Edson 🙏❤️

[@gustavosannt]

Oi professor, a logo ficou ótima sim kkkkkkkkkkkkk muito obrigado pela aula!

[@ProfessorDouglasMaioli]

Obrigado Gustavo 🙏

[@Meinicke1]

Parabéns.

[@ProfessorDouglasMaioli]

Obrigado 👏👏👏

[@ColldMaster]

TOP!!!

[@jeffersonsouza8750]

Top dms professor ta me ajudando demais, não tava entendendo nada dessa matéria muito obrigado!

[@ProfessorDouglasMaioli]

Que bom que os vídeos estão te ajudando Jefferson 👍 De nada 💪👏👏👏

[@goldmz]

Ganhou mais 1 inscrito 😱👏🏼👏🏼 o melhor de todos 👏🏼

[@ProfessorDouglasMaioli]

🥰👊🏻

[@alexandrejesus9903]

Parabéns pela didática. Eu estava perdido com as aulas da faculdade.

[@ProfessorDouglasMaioli]

Valeu Alexandre 👍 Que bom que as minhas aulas te ajudaram!

[@janelove]

Obrigada por mais um show de aula professor

[@ProfessorDouglasMaioli]

Nossa, obrigado eu por esse elogio da aula 🥰

[@liviasabbagh30]

Muito boa aula, obrigada.

[@ProfessorDouglasMaioli]

De nada Lívia 🥰

Ótimas aulas, prof.! Adorei o canal.

[@glauciabrito_]

Assistindo à aula no feriado. Acho que eu deveria estar na praia... 😂😂😂

[@ProfessorDouglasMaioli]

🤣🤣🤣🤣🤣 A implicação foi falsa 😔 .... Mas, por enquanto, pois nossa hora vai chegar, pra passar os feriados na praia kkkkkk

[@dyariodebordo]

tá errado esse negócio aí 🤣🤣🤣

[@ProfessorDouglasMaioli]

Então Sissy 😥🤣🤣🤣

[@nilsondelourenco1883]

Glaucia, você estudou inglês comigo?

[@glauciabrito_]

@@nilsondelourenco1883 Oi Nilson! Pode ser, sim. Onde foi?

[@kellycamargo4957]

Prof vc é demais, vc ajuda muito a todos nós, espero em breve poder te retribuir de uma forma mais rentável.

[@MrLFerM]

eu curti muito esse LOGO, ficou show

[@ProfessorDouglasMaioli]

Que bom Fernando 👏👏👏👏

[@michellegomes2741]

Ficou muito bom o logo professor, obrigada pela ajuda com as matérias :D

[@ProfessorDouglasMaioli]

Obrigado Michele 🙏❤️

[@sidneypedro4195]

Caro Prof., em primeiro lugar parabéns e muito obrigado! Creio que se não fosse suas aulas eu, bem, não sei o que faria. Olha, no exercício 2 (+- 31min) forcei mas não entendi a passagem do item 3 para o 4, pois na minha concepção (errada, né?) para eu tirar o A do parênteses ele não continuaria negado, pois negação de negação dá o próprio A. Gostaria de uma explicação, por favor, e... mais uma vez, muito obrigado!

[@ProfessorDouglasMaioli]

Obrigado Sidney 🙏 Então, nessa parte, eu usei a regra de equivalência condicional, que diz que se eu tenho um OU, posso transformar em um IMPLICA, negando o primeiro termo, mas o primeiro termo, no meu caso já tinha duas negações, aí ao usar a condicional coloco uma terceira negação, mas duas delas se cancelam, aí acabou ficando só a terceira negação que veio da condicional mesmo.

[@sidneypedro4195]

Muito obrigado, Professor! Pela resposta, pelas aulas e pela consideração! Às vezes me apego a detalhes e enquanto eu não tiver a resposta não sossego. Estou meio atrasado, mas assisto suas aulas bem passo-a-passo, a minha salvação para entender e seguir em frente na Univesp. Muito obrigado e parabéns pelas aulas e altruísmo.

[@ProfessorDouglasMaioli]

De nada Sidney, mas você está certo, tem q estudar assim mesmo, não sossegar até ter as respostas 👍

[@dimasfernandes8246]

mas eu queria que meu professor de graduação tivesse ao menos 10% da ditatica que ele tem, like like no video, muito bom!!!

[@DabioOtto]

Cheguei aqui também.

[@ProfessorDouglasMaioli]

Ebaaa 👏👏👏

[@pedrochagas8733]

Professor, uma dúvida no segundo exemplo da atividade minuto 30:50, poderia fazer direto o silogismo disjuntivo ficando B "conjunção" C e depois uma simplificação ficando só o B? Gosto muito das suas aulas, são show, muito obrigado!

[@Tania-ud4yx]

professor, muito obrigado por essas aulas. Tenho um dúvida, no 2º exercício (minuto 27:45) o senhor usa a dupla negação, eu poderia usar a distributiva em (Av(b^c)), ficaria assim: 1- AvB 2- AvC 3- A' 4- B 1,3 sd, está certo isso?

[@ProfessorDouglasMaioli]

Poderia sim Tânia 👍 Também estaria certo 👏👏👏

[@Tania-ud4yx]

@@ProfessorDouglasMaioli muito obrigado professor!

[@sandropxt]

Professor, no tempo 15:35, sobre a regra da Adição, posso deduzir também A v B de B verdadeiro? Obrigado!

[@jessicagodoy1408]

🤩🤩

[@diegosgarcia]

Douglas uma duvida, eu achava que uma vez utilizado uma linha ela não poderia ser utilizada novamente para se chegar a outro resultado, mas vi vc fazendo isso com a linha 6, combinando com a linha 2 para mt e depois com a 11 para a conclusão, todo o resto está muito claro. Mais uma vez obrigado pelos excelentes vídeos !!!

[@ProfessorDouglasMaioli]

Então, Diego, nesse caso de inferência, a gente supõe algumas verdades, e tenta chegar que a conclusão também é verdadeira, mas as linhas anteriores que supomos verdade, continuam verdade. Cuidado, que não estamos achando fbfs equivalentes, mas verificando a validade de um argumento. Teve algum livro que falou que não podia utilizar novamente? Se quiser me passar o material que você viu, que posso ver se está certo e tentar explicar ele.

[@diegosgarcia]

@@ProfessorDouglasMaioli não professor, não vi em nenhum livro foi uma dedução mesmo, mas agradeço demais, o conteúdo que está sendo disponibilizado é outro nível. Abraço.

[@marciobrunelli9232]

Boa tarde, Professor Douglas! Fiquei com uma dúvida nessa aula. Na aula 3, na tabela de implicação, estudamos que é possível que proposições falsas impliquem em algo verdadeiro, porque o evento que sucede o falso é incerto; portanto, por "precaução", é melhor que se o considere como verdadeiro (o exemplo dado é do Neymar e do jogo do Brasil). Nesse caso agora das regras de inferência, não seria possível também dizer que uma conjunção de hipóteses falsas poderia levar a uma conclusão verdadeira? Isso faria sentido com a tabela-verdade da implicação, mesmo que parece não haver muito sentido nesse contexto da inferência. Agradeceria a ajuda e agradeço pelo conteúdo de alta qualidade!

[@paulocastro7062]

deus da lógica

[@ProfessorDouglasMaioli]

Kkkkkk

[@brunosjb]

Boa tarde professor. No primeiro exemplo do segundo exercício o senhor assumiu que a preposição A seria "Emília estava em casa". Por que não teria como assumir que A fosse "Emília não estava em casa", conforme o texto?

[@ProfessorDouglasMaioli]

Você pode também Bruno, assumir que a frase "Emília não está em casa" como A e "Emília está em cada" como ~A. É a mesma coisa na verdade, é que achei menos confuso chamar a frase "Emília não está em casa" como a negação da frase A que eu escolhi. Mas vc pode fazer desse jeito sim 👍

[@artsdasheloja8693]

O Modus Ponens pode ser considerado um silogismo sempre?? Lembro disso no Fundamental 🙂

[@kanicsbrel82]

Vc deu de milhoes a zero no meu professor , slc

[@4rthur_A]

fiquei com uma duvida, 1. A ou (B^C)} hip. 2.~A} hip. 3.B^C 1.2 sd. 4.B simp. 5.C simp. não é a mesma coisa?

[@ProfessorDouglasMaioli]

Está certo sua conta sim Arthur 👍

[@dyariodebordo]

Professor, no exemplo da Gláucia.. Todo feriado Gláucia vai a praia. O contrário é válido? Gláucia está na praia, então hoje é feriado... ?

[@ProfessorDouglasMaioli]

Oi Sissy, a frase "Todo feriado Gláucia vai para a praia" é equivalente a dizer, se Glaucia não foi a praia, então não é feriado". Mas não é equivalente a dizer "Gláucia está na praia, então é feriado". E eu explico: Se falar "Todo feriado Gláucia vai a praia" pode ser que a Gláucia vai na praia outro dia que não é feriado tbm, existe essa possibilidade, então ela vai na praia em todos feriados, mas se for em algum fds que não é feriado, isso não contradiz a frase. Agora se falar "Glaucia está na praia, então hojr é feriado" quer dizer que ela não pode ir em um fds que não é feriado, por isso as duas frase q vc citou não são equivalentes. Deu pra entender a minha explicação?

[@dyariodebordo]

@@ProfessorDouglasMaioli Ah entendi. Muito obrigada professor.

[@dyariodebordo]

Ficou muito claro.

[@goncwagner]

uma dúvida: (RVS)->T , ~T |- ~R ; 1 (RVS)-> T p1; 2 ~T p2; ___________________ ~T -> ~(RVS) contraposição ~(RVS) (~R^~S) De Morgan agora, ~T -> ~R^~S ~T |- ~R ? como chegar

[@marciaoliver123]

Muito difícil...

[@ProfessorDouglasMaioli]

Então Célia, realmente não é fácil, precisa de bastante treino, mas você consegue pegar 💪👏👏

[@tuca474]

Sempre supomos que a proposição é verdadeira?

[@paulooctavioemburana2298]

Professor, poderia verificar se a minha resolução está correta, tentando resolver exercícios pelas regras de inferência e equivalência conforme abaixo: Se Maria for assistir a uma série no canal de stream, não estudará para a prova, mas Maria deve estudar para a prova ou será reprovada. Logo, se Maria for assistir a uma série no canal de stream, ela será reprovada (A, B, C). A - Maria vai assistir a uma série B - Maria estuda para a prova C - Maria é Reprovada (A ⇒ ¬B) ⋀ (B V C) ⇒ (A ⇒ C) = (A ⇒ ¬B) ⋀ (A V C) ⋀ A ⇒ C 1 - A ⇒ ¬ B - hipótese 2 - B V C - hipótese 3 - A - hipótese 4 - ¬B - 1, 3, Modus Ponens 5 - ¬ (¬B) V C - 2, Dupla negação 6 - ¬B ⇒ C - 5, Condicional 7 - C - 4, 6, Modus Ponens - Conclusão.

[@ncs_edits]

a gente sempre supõe que as proposições são verdadeiras?

[@sandramilenavelez7293]

Que legal professor, muito obrigada.