Considere
como a proposição "
tem uma conexão de Internet" e
como a proposição "
e
conversaram pela Internet", em que o domínio para as variáveis
e
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.
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
significa “
tem uma conexão de Internet” e o domínio de
são os estudantes da sala.
Passo 2
A expressão “Nem todos os
satisfazem
” equivale a negar “Para todo
,
”, ou seja,
que por sua vez é logicamente equivalente a “Existe algum
tal que não
”: