No livro Lógica e Conjuntos, o autor Francisco Cunha defende o uso de parênteses na simbolização das proposições para evitar ambiguidades, mas concorda que a notação pode ser simplificada (supressão de parênteses) desde que não venham a ocorrer ambiguidades. Para essa simplificação é definida uma ordem de precedência das operações lógicas, de maneira a permitir identificar o conectivo principal de uma proposição, de modo a poder nomeá-la.
De acordo com a ordem estabelecida no livro, dadas as proposições simples, p, q, r e s, a proposição

∼∼p ∨ q → r ∧ (s ↔ ∼q ∨ ∼p)

é uma

Dois carrinhos correm lado a lado sobre uma pista retilínea, de uma extremidade a outra da pista, de maneira que, ao atingirem uma extremidade, invertem instantaneamente o sentido e correm para a extremidade oposta. As extremidades da pista são denominadas A e B, e cada carrinho percorre sempre uma mesma distância a cada segundo. Considere que o carrinho mais lento foi colocado na extremidade A, o carrinho mais rápido na extremidade B e que em seguida iniciaram seus movimentos. Quando os carrinhos se encontraram pela primeira vez, estavam a 20 dm da extremidade A e continuaram correndo de maneira que o carrinho mais rápido chegou à extremidade A, inverteu seu sentido, ultrapassou o carrinho mais lento e, quando chegou à extremidade B, o carrinho mais lento ainda estava a 14 dm de distância de B.
O comprimento dessa pista, em dm, está compreendido entre

Em seu livro A arte de resolver problemas, George Polya apresenta um Pequeno dicionário de heurística, que ocupa praticamente 75% das páginas do livro. Um dos “verbetes” de seu dicionário é a Sabedoria dos provérbios, em que afirma que “há muitos provérbios que caracterizam admiravelmente os procedimentos típicos seguidos na resolução de problemas, os aspectos de bom senso, os estratagemas e os erros habituais”.
Para cada uma das quatro fases no trabalho de resolução de um problema, conforme propostas por Polya, alguns provérbios foram citados, sendo que para a fase da Execução do plano um dos provérbios utilizados pelo autor foi

A negação lógica da proposição “Se Aldo é pescador e é mentiroso, então todo pescador sabe nadar”, pode ser enunciada como

Em uma família existem 3 irmãos, e Alice fez a seguinte pergunta para cada um desses irmãos: “qual a soma das idades dos seus irmãos?” e obteve como resposta, respectivamente, 37 anos, 34 anos e 41 anos.
Nessa família, a diferença entre as idades do irmão mais velho e do irmão mais novo é igual a

Em Lógica, o conectivo ∨ representa a disjunção exclusiva, de maneira que a operação lógica p ∨ q é verdadeira quando apenas uma das proposições p ou q for verdadeira.
Dadas as proposições simples p e q, é tautológica a proposição composta