VÍDEO AULA - ÁLGEBRA DAS PROPOSIÇÕES

E aí E aí E aí [Música] e agora a gente vai falar da álgebra das proposições Então vai vir um monte que resolvam que é bom vocês gravarem porque Vai facilitar E aí A negação lógica fala negar uma proposição composta unida pelo conectivo conjunção que é pedir seguiremos os seguintes passos exemplo todos os mecânicos são inteligentes e resolvem problemas que que eu vou fazer é o primeiro passo negamos a primeira parte de p eu passo até não tem então algum mecânico mal e inteligente porque alegação de todos é algum e não segundo passo negamos a

segunda parte então ao invés de ter que eu passo até não que então não resolvem problema porque é negativa do que vai ser ou não não resolve problema minha terceira parte a se fazer trocamos e ou então não ter ou não que a conclusão vai ser não p e que ou não P ou não que nesse caso é o tem algum mecânico não é inteligente ou não resolvem problema o que para negar uma proposição composta punida pelo conectivo condicional e se P então q significa o quê no espaço exemplo se Paulo não foi ao banco

ele está sem dinheiro que que eu vou fazer mantemos a primeira parte então vou continuar com a minha primeira proposição P igual Paulo não foi ao banco negamos a segunda parte não que no lugar da proposição que aí eu passo a de está com dinheiro porque a proposição O que dizia que ele está sem dinheiro então agora ele está com dinheiro e para de sendo que era nossa conclusão trocamos o se então por e da conjunção aí eu passo a p p e não que conclusão não p condicional aqui que vai ser p e não

que aí eu passo a ter Paulo não e está com dinheiro Olá neste caso perceba que expressão Paulo não está sem dinheiro equivale a Paula está com o dinheiro é por isso que a gente trocou a palavra porque se eu não tivesse sem estar com dinheiro eu materia a primeira finalidade da minha proposição que tá bom aí eu tenho para negar uma proposição composta unida pelo corretivo disfunçao P ou que seguiremos os seguintes passos matemática é fácil ou física tem poucas formas o primeiro 99 negão a primeira parte então eu passo a ver não vê

no lugar de bebê Então até matemática não é fácil a segunda parte Tudo bem então eu vou ter não que no lugar de que aí eu passo á B física não tem poucas fórmula e no terceiro parte que é a minha conclusão nossos propósitos o ou pelo edicom junção aí eu tenho não p e não que conclusão não perco o que vai ser igual a não p e não que tô matemática não é fácil e física não tem poucas fotos não é possível negar essa proposição composta aplicando a lei de Morgan negando cada parcela e

trocando ou porém então botei aqui ver Marcelo gosta de futebol ou Bruno não gosta de natação Marcelo gosta de futebol e Bruno gosta de natação então eu contrariei a minha que fiquei cor não que e troquei o conectivo de ou por é que eu que se perde na lei de Morgan só trocar os coletivos de disjunção para cujo são E vice-versa então posso trabalhar dessa forma posso vou posso seguir os três passos lógicos Ok para negar uma proposição composta lida pelo coletivo Incondicional Se e somente se seguiremos os e Chove em pé que se somente

se faz calor no verão então que a gente faça mantemos a primeira parte P Então nós não vamos trocar o pelo não perca a gente vai continuar não proposição bem chove e inde mantemos a segunda parte que também não fazemos alteração dela então nós vamos ter faz calor no verão trocamos os Se e somente se pelo ou exclusivo na hora da conclusão que é o nosso terceiro passo então a gente passa a ter P ou não o que conclusão não p Incondicional aqui que é igual pequi então para saber ou Chove em pé ou faz

calor no verão porque eu vou ele tem que ser exclusivo tão ovo ou vai ser a minha Incondicional dos sexualmente se contrariada o a negativa da mesma o que finalizar negação de proposições categóricas todas as vezes que eu tiver no conjunto todo ai b que aquela aquele primeiro conjunto que não me ó eu tenho o ar inteiramente dentro de bebê ele está contido em B eu vou negar da seguinte forma pelo menos um ar não é b é uma ligação porque o meu conjunto ahn está inteiramente contido no conjunto do mesmo né algum lá não

é ver é uma ligação seu mesmo motivo existe a que não é de botar negando aqui também vai estar mentindo porque todo aqui está como escrever o quadro de negar os conjuntos de nenhuma é b Ou seja aquele conjunto que não conjunto União vai ficar um conjunto aqui e um conjunto B que tem nenhuma intercessão e sentarem contido sempre se eu vou usar o seguinte temos algum lá é b que é uma ligação já que todos eles são separados nenhum lá nunca vai receber eu vou negar dizendo o que que é algo lá que é

de aqui também vai ser falso né tem ouvidos um ar Hebe não existe isso tudo bem mas a gente está procurando A negação da obra não existe a que ele agora quando eu sou negar alto no lar app que aquele conjunto que tem aconteçam e que a resposta que eu procuro do meu conjunto união é exatamente aquela intercessão aquele meio hachurado e entra o conjunto A e o conjunto B eu vou usar os termos nenhum não vai ver que vai ser mentira já que tem lá que também pertence sabe todo a não é de também

é uma mentira a gente sabe que aconteçam existe né e prova de negar alguma não é bi que é aquele conjunto que eu tenho a interseção entre os termos porém a parte hachurada no meu conjunto união é aquela que não faz parte nem de ver e nem da parte hachurada é aquela que fica no cantinho eu vou usar os termos nenhum lá não é ver vou usar o tempo todo a deve porque eu e na primeira opção de nenhum ar não é b o que eu sei que existe interação entre ele porém o que eu

quero de conclusão é o que tá fora da intercessão e que pertence só a então vamo tipo dizer que não existe o tempo que existe na intercessão e vou usar o tempo todo Live porque eu sei que não conjunto ahn vai ter números que vai estar fora da intercessão caso contrário nessa questão estudo aitem eu ter ido eu conjunto Ahn contido em B inteiramente bebê e a gente sabe que não essa parte na conclusão que a gente gosta Ok onde todos os [Música] E aí [Música] E aí