Considere I(x) como a proposição " x tem uma conexão de Internet" e C(x, y) como a proposição " x e y conversaram pela Internet", em que o domínio para as variáveis x e y são todos os estudantes de sua sala. Use quantificadores para expressar cada uma das proposições abaixo.
Nem todos em sua sala têm uma conexão de Internet.

Passo 1

O enunciado pede para traduzir para lógica de predicados a frase “Nem todos em sua sala têm uma conexão de Internet”, sabendo que I(x) significa “ x tem uma conexão de Internet” e o domínio de x são os estudantes da sala.

Passo 2

A expressão “Nem todos os x satisfazem I(x)” equivale a negar “Para todo x, I(x)”, ou seja,
\neg \forall x\,I(x),
que por sua vez é logicamente equivalente a “Existe algum x tal que não I(x)”:
\exists x\,\neg I(x).

Resposta

\exists x\,\neg I(x)

Exercícios de Livros Relacionados