Na lógica proposicional é comum atribuir letras para representar proposições e poder facilmente se referir a elas.
Considere as seguintes três proposições:
P = “O carro de Maria é de cor azul”.
Q = “Maria mora em Fortaleza”.
R = “Todo carro de quem mora em Fortaleza é de cor prata”.
Podemos afirmar corretamente que:
A conjunção é uma operação lógica representada pelo símbolo ? e cuja tabela-verdade está indicada a seguir.
Podemos afirmar corretamente que:
Marcos escreveu um número inteiro positivo de 5 algarismos decimais (ou seja, maior ou igual a 10 mil), formado por algarismos distintos, e o escondeu. João tentou adivinhar o número. Ele sugere os seguintes números:
Marcos adicionou à tabela acima um asterisco ao lado de cada algarismo que está presente no número que ele escreveu, mas que está na posição (ordem de grandeza) errada; e adicionou dois asteriscos ao lado dos algarismos que estão presentes e estão...
Observe a seguinte tabela:
Queremos desenhar retângulos cujos lados estejam na direção vertical ou horizontal (ou seja, cada lado é paralelo a um dos lados da tabela) e que satisfaçam as seguintes propriedades: (i) a união dos retângulos deve cobrir todos os números “1” da tabela e não pode cobrir nenhum dos números “0”; e (ii) os retângulos podem se intersectar ou se sobrepor. Qual a quantidade mínima de retângulos que precisam ser usados?
“Medalha Fields” é um prêmio concedido a dois, três ou quatro matemáticos com não mais de 40 anos de idade durante cada Congresso Internacional da União Internacional de Matemática (IMU), que acontece a cada quatro anos. O prêmio é muitas vezes visto como a maior honraria que um matemático pode receber. A Medalha Fields e o Prêmio Abel têm sido muitas vezes descritos como o "Prêmio Nobel dos matemáticos" (mas são diferentes quanto à restrição de idade, pois a Medalha Fields é um prêmio concedido somente a jovens matemáticos de até 40 anos de idade, enquanto o Prêmio Abel leva em conta o conjunto da obra do matemático). Em 2014, o brasileiro Artur Ávila tornou-se o primeiro matemático da América Latina a ser condecorado com a Medalha Fields; e Maryam Mirzak...
