Reescreva cada uma das sentenças abaixo usando funções proposicionais
, quantificadores e conectivos lógicos.
Há um estudante em sua universidade que fala russo, mas não sabe
;
Há um estudante em sua universidade que fala russo, mas não sabe
Passo 1
Beleza, vamos lá! O enunciado da questão diz: “Há um estudante em sua universidade que fala russo, mas não sabe
.” A gente vai usar funções proposicionais, quantificadores e conectivos lógicos para reescrever essa frase de forma matemática. Para isso, vamos precisar entender como representar propriedades de uma pessoa e como expressar “há alguém que…” usando lógica.
Passo 2
Primeiro, vamos definir as funções proposicionais que vão representar as características mencionadas na frase:
-
: " é um estudante na sua universidade." -
: " fala russo." -
: " sabe ."
Essas funções nos ajudam a associar cada propriedade a uma pessoa específica representada por
.
Passo 3
Agora, vamos pensar nos conectivos lógicos que vamos usar:
-
(E): Para juntar duas condições que precisam ser verdadeiras ao mesmo tempo. -
(NÃO): Para negar uma condição. -
(Existe): Para indicar que “há alguém que…”.
Na frase, queremos dizer que existe um estudante que fala russo e não sabe
.
Passo 4
Juntando tudo, a expressão lógica fica assim:
Aqui,
significa “há pelo menos um
tal que”, e dentro dos parênteses,
representa que esse
é estudante, fala russo e não sabe
.
Resposta
Exercícios relacionados
Determine o valor lógico de cada uma das expressões quantificadas abaixo, assumindo que o domínio consiste de todos os números inteiros.
Reescreva cada uma das sentenças abaixo de modo que o símbolo de negação apareça somente dentro de predicado, ou seja, de modo que nenhuma negação esteja à frente de um quantificador ou de uma proposição envolvendo operadores lógicos.
UNIVERSIDADE FEDERAL DE MATO GROSSO DO SUL FACULDADE DE COMPUTAÇÃO
Reescreva cada uma das sentenças abaixo usando funções proposicionais
, quantificadores e conectivos lógicos.
Um homem se classifica para a maratona se o seu melhor tempo for menor que 3 horas, e uma mulher, se seu melhor tempo for menor que 3,5 horas;
Um homem se classifica para a maratona se o seu melhor tempo for menor que 3 horas, e uma mulher, se seu melhor tempo for menor que 3,5 horas;
Reescreva cada uma das expressões quantificadas abaixo em português, expressando um fato matemático. O domínio em cada caso são todos os números reais.