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

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!!!

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

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

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

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

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

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.

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

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!

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

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.

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.

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

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

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

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!!!!!!!!

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

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!

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

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

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.

Aulas excelentes! O logo ficou lindo.

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

Revendo a aula, nunca é demais :)

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

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

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.

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

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

Mais uma excelente aula, professor!

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

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

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

A didatica do professor é muito boa

Obrigado professor, show de aula.

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

O logo ficou legal! Obrigada pelas aulas =)

Gostei muito do logo. Obrigado profe

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

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!

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

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

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!

Logo excelentee!! Parabéns!

obrigado professor pela aula, me ajudou muito

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

Vc é um abençoado!

video realmente muito bom, parabens!!!

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

Q professor maravilhoso!! Parabéns!

TOP!!!

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

Aula show

Valeu!

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

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

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

Tudo muito bom. Boa didática.

Muito bom , me ajudou bastante.

Perfeito! Ótima didática

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

Excelente!! Obrigado Mestre!

Obrigada por mais um show de aula professor

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.

muito perfeito, esse conteúdo!

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

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!

Excelente professor!! Muito grata!!!

Muito obrigado!!!!

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!

aula de verdade!!!!

Ótimas aulas, prof.! Adorei o canal.

Parabéns.

Muito boa aula, obrigada.

eu curti muito esse LOGO, ficou show

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

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?

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

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

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?

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?

Cheguei aqui também.

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 !!!

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

Vc deu de milhoes a zero no meu professor , slc

🤩🤩

Sempre supomos que a proposição é verdadeira?

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... ?

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

deus da lógica

Muito difícil...

Que legal professor, muito obrigada.