Seja
:
é um número irracionale a proposição
: 2 não é um número primo. Escreva, na linguagem corrente, as proposições compostas dadas por:
.
Passo 1
O enunciado pede para transformar a proposição composta
em linguagem corrente. O conteúdo aqui é Lógica Proposicional, e vamos precisar usar a definição de negação e de implicação.
Passo 2
Identificamos as proposições simples:
é “
é um número irracional” e
é “2 não é um número primo”.
Passo 3
Aplicamos a negação de
. Como
é “2 não é um número primo”, temos
= “2 é um número primo”.
Passo 4
Agora reescrevemos a implicação
em linguagem corrente usando a forma “Se …, então …”.
Resposta
Se 2 é um número primo, então π é um número irracional.