Tablôs semânticos - Regras para operadores (2/?)

  Рет қаралды 5,877

É Lógico, pô

É Lógico, pô

Күн бұрын

Пікірлер: 20
@grichborn8376
@grichborn8376 2 жыл бұрын
Cara é bizarro pq vc explicando eu entendo, tipo ir deduzindo e pá faz muito sentido. Agora na aula do meu professor ele fica querendo o nome da regra q usou, isso induz uma decoreba desnecessária para essa matéria. Vou tentar umas duas provas, se der merda já tranco e fodac kkkkkk mas vlww conteúdo muito bom
@vinieluis_bikevlog6612
@vinieluis_bikevlog6612 8 ай бұрын
trancou?
@guilhermesilveiraaraujo2915
@guilhermesilveiraaraujo2915 Жыл бұрын
muito bommmm
@laederefacile
@laederefacile 4 жыл бұрын
Excelente
@ramongoncalves6168
@ramongoncalves6168 4 жыл бұрын
Como eu não consigo decorar formula, na minha opinião o melhor método para lembrar das operação é derivar todas as outras operações em "E" ou "OU". Cabou, izi izi.
@ELogicoPo
@ELogicoPo 4 жыл бұрын
Sim, é uma boa pensar nas operações como sendo expressas por conjunções ou disjunções mesmo, hehe.
@GohanSuperGamer
@GohanSuperGamer 4 жыл бұрын
up
@wilianfarias9444
@wilianfarias9444 3 жыл бұрын
Porque eu vejo a condicional em muitos lugares ser escrita de uma outra maneira chamada de implicacao material , isso P → Q como equivalente a P contém Q e em outros lugares tem P está contido em Q Porque , sempre achei que P então Q Seria P está contido em Q Ou Q contém P é assim que sempre entendi convertendo a condicional pra ideia de conjunto
@ABSOLUTISMOMERCEDISTA
@ABSOLUTISMOMERCEDISTA 2 жыл бұрын
Oi, novamente, se neg(P e Q), é correto afirmar neg(P)+neg(Q) ?
@ELogicoPo
@ELogicoPo 2 жыл бұрын
Sim, pela regra de De Morgan
@ABSOLUTISMOMERCEDISTA
@ABSOLUTISMOMERCEDISTA 2 жыл бұрын
@@ELogicoPo Ah obg! Vim reconferir esse assunto pois a banca da obmep realmente errou naquela questão do pinóquio sobre lógica preposicional. Resumindo, eu notei que a afirmação que a questão pede pra você negar é do tipo (P e Q), logo temos negP + Q ou P + negQ ou negP + negQ, a banca só aceita P + negQ e pior, teve uma restrição a mais que leva a concluir que apenas negP + negQ é a solução Vai dar um baita vídeo, simples e instrutivo, fica a dica aí, tmj
@anamarques7675
@anamarques7675 4 жыл бұрын
Muito bom o vídeo, pena que eu não entendi nada
@ELogicoPo
@ELogicoPo 4 жыл бұрын
Esse vídeo pressupõe bastante coisa. Tem que conhecer a base lógica que foi explicada nos vídeos anteriores para entendê-lo.
@carlosmiguel340
@carlosmiguel340 4 жыл бұрын
Seus vídeos me ajudam muito! Obrigado pelo conteúdo. Gratidão! E pra quem está tendo dificuldade, aqui tem link de uma aula complementar a essa: kzbin.info/www/bejne/iWa8p6ybhJaCm7M Nesse vídeo, os valores verdade são explícitos, assim como no livro do Mortari, acho mais fácil pra quem não está entendo no começo.
@ELogicoPo
@ELogicoPo 4 жыл бұрын
Opa, que bom que ajudou! O Pedro é fera, os vídeos dele são muito bons também. Valeu!
@wilianfarias9444
@wilianfarias9444 3 жыл бұрын
Uns dizem que P → Q é a mesma coisa que P C Q Outros dizem que é P c ao contrário Q eu sempre entendi que o certo é P C Q Mas porque que existe a outra meneira também , do símbolo do contém O contém até seria , mas teria que inverter ..
@dede-ts5st
@dede-ts5st 4 жыл бұрын
So uma curiosidade mesmo, vc em ancap? E se ss, pq?
@ELogicoPo
@ELogicoPo 4 жыл бұрын
😳
@dede-ts5st
@dede-ts5st 4 жыл бұрын
@@ELogicoPo ué kkkkkk, eh q vc eh inscrito nos canais ancaps
@kiq4767
@kiq4767 4 жыл бұрын
,
Tablôs semânticos - Regras para quantificadores (3/?)
27:21
É Lógico, Pô
Рет қаралды 3 М.
Introdução a tablôs semânticos para lógica clássica (1/?)
22:18
É Lógico, Pô
Рет қаралды 14 М.
BAYGUYSTAN | 1 СЕРИЯ | bayGUYS
36:55
bayGUYS
Рет қаралды 1,9 МЛН
СИНИЙ ИНЕЙ УЖЕ ВЫШЕЛ!❄️
01:01
DO$HIK
Рет қаралды 3,3 МЛН
Quilt Challenge, No Skills, Just Luck#Funnyfamily #Partygames #Funny
00:32
Family Games Media
Рет қаралды 55 МЛН
Lógica proposicional [5] - Regras de inferência (1/3)
25:24
É Lógico, Pô
Рет қаралды 30 М.
Lógica de primeira ordem [10] - Regras sintáticas
22:45
É Lógico, Pô
Рет қаралды 7 М.
Regras de inferência “Conjunção” - Lógica Matemática e Lógica Proposicional
3:05
Profº Allan Kardec do Canal Matemática Online
Рет қаралды 1,1 М.
Lógica proposicional [5] - Regras derivadas (2/3)
26:10
É Lógico, Pô
Рет қаралды 11 М.
Lógica de primeira ordem [9] - Predicados e relações (1/2)
26:27
É Lógico, Pô
Рет қаралды 27 М.
Lógica proposicional [2] - Implicação (5/7)
27:43
É Lógico, Pô
Рет қаралды 9 М.
Lógica proposicional [4] - Formalização de sentenças (1/4)
25:18
É Lógico, Pô
Рет қаралды 9 М.
Por que uma proposição falsa implica qualquer coisa?
20:05
É Lógico, Pô
Рет қаралды 5 М.
BAYGUYSTAN | 1 СЕРИЯ | bayGUYS
36:55
bayGUYS
Рет қаралды 1,9 МЛН