Baralho de Revisão: Raciocínio Lógico e Matemática - Método Sormany

Conjunto de flashcards de vocabulário e resolução de questões de Raciocínio Lógico e Matemática do Professor Sormany Barreto.

Problema das Portas Abertas (CESPE / CEBRASPE - 2026 - SEMA-AM)

Método para calcular o número de maneiras de uma sala com $5$ portas ficar aberta: calcula-se o total de combinações possíveis ($2^5 = 32$) e subtrai-se a única combinação em que todas as portas estão fechadas ($32 - 1 = 31$).

Estratégia do Complementar em Contagem

Técnica de resolução em análise combinatória na qual, para encontrar o número de casos em que ao menos um elemento cumpre uma condição (ex.: sala aberta com pelo menos uma porta aberta), subtrai-se do total de possibilidades $2^n$ a única situação totalmente desfavorável (todas as portas fechadas).

Diagramas Lógicos em Silogismos (Instituto Avalia - IBGE - 2026)

Técnica de representação gráfica de premissas categóricas. Para 'todo mamífero é vertebrado' e 'nenhum vertebrado é inseto', desenha-se o conjunto dos mamíferos ($M$) contido nos vertebrados ($V$) e o dos insetos ($I$) totalmente separado de $V$, concluindo que 'Nenhum mamífero é inseto'.

Padrão Lógico-Matemático do Triângulo (IDECAN - 2026)

Regra em que o número central de cada triângulo é obtido pela multiplicação dos dois números superiores menos o número da base. Para a terceira figura, com topo $9$ e $4$ e base $7$: $Y = (9 \times 4) - 7 = 36 - 7 = 29$.

Soma dos Algarismos de Y (IDECAN - 2026)

Etapa final da questão de sequência lógica: após determinar que o valor desconhecido $Y$ é igual a $29$, realiza-se a soma de seus algarismos, resultando em $2 + 9 = 11$.

Representação Simbólica do Quantificador Existencial (CEBRASPE - 2026 - Câmara dos Deputados)

Formalização em lógica de primeira ordem para a frase 'Existe deputado que não é favorável à matéria e sua votação não é favorável', expressa simbolicamente por $\text{Existe } x: \neg p(x) \bigwedge \neg q(x)$ ou \bigexists x (\neg p(x) \bigwedge \neg q(x)).

Conectivo 'E' em Proposições Existenciais

Regra da lógica de primeira ordem que exige o uso do conectivo de conjunção 'e' ($\bigwedge$) na formalização do quantificador existencial 'Existe…' (\bigexists x) ao atribuir propriedades simultâneas a um elemento, tornando incorreto o uso de uma implicação ($\rightarrow$).