Uma proposição funcional simbólica é uma expressão que contém variáveis x, y, z, ... e predicados P, Q, R, ..., que dizem respeito às variáveis, e pode ou não conter os símbolos quantificadores denotados por oe (para todo) e › (existe) que atuam sobre as variáveis. Uma proposição funcional pode ser julgada como verdadeira (V) ou falsa (F), dependendo do conjunto de valores que são atribuídos às variáveis e à interpretação dada aos predicados. Proposições funcionais são expressões, por exemplo, do tipo etc. Algumas proposições não têm variáveis e são representadas por letras maiúsculas do alfabeto, como, por exemplo, A, B e C, que podem ser conectadas por símbolos lógicos, formando proposições compostas. São exemplos de proposições compostas as seguintes expressões: AB, que é lida como "A e B" e tem valoração V quando A é V e B é V e, nos demais casos, é F; ¬A, que é lida como "não A" e tem valoração V quando A é F, e tem valoração F quando A é V; AB, que é lida como "A ou B" e tem valoração F quando A é F e B é F e, nos demais casos, é V; A→B, que é lida como "se A então B" e tem valoração de F quando A é V e B é F e, nos demais casos, é V. Uma dedução é uma seqüência finita de proposições, em que algumas das proposições são assumidas como verdadeiras e, a partir delas, a seqüência é acrescida de novas proposições sempre verdadeiras. A última proposição que se acrescenta é chamada conclusão. A partir das informações acima, julgue os itens a seguir. Uma proposição funcional simbólica é uma expressão que contém variáveis x, y, z, ... e predicados P, Q, R, ..., que dizem respeito às variáveis, e pode ou não conter os símbolos quantificadores denotados por oe (para todo) e › (existe) que atuam sobre as variáveis. Uma proposição funcional pode ser julgada como verdadeira (V) ou falsa (F), dependendo do conjunto de valores que são atribuídos às variáveis e à interpretação dada aos predicados. Proposições funcionais são expressões, por exemplo, do tipo etc. Algumas proposições não têm variáveis e são representadas por letras maiúsculas do alfabeto, como, por exemplo, A, B e C, que podem ser conectadas por símbolos lógicos, formando proposições compostas. São exemplos de proposições compostas as seguintes expressões: AB, que é lida como "A e B" e tem valoração V quando A é V e B é V e, nos demais casos, é F; ¬A, que é lida como "não A" e tem valoração V quando A é F, e tem valoração F quando A é V; AB, que é lida como "A ou B" e tem valoração F quando A é F e B é F e, nos demais casos, é V; A→B, que é lida como "se A então B" e tem valoração de F quando A é V e B é F e, nos demais casos, é V. Uma dedução é uma seqüência finita de proposições, em que algumas das proposições são assumidas como verdadeiras e, a partir delas, a seqüência é acrescida de novas proposições sempre verdadeiras. A última proposição que se acrescenta é chamada conclusão. A partir das informações acima, julgue os itens a seguir. Se as variáveis x e y pertencem ao conjunto A = {2, 3, 4} e o predicado P(x, y) é interpretado como x 2 y + 2, então a proposição funcional é avaliada como verdadeira. Se as variáveis x e y pertencem ao conjunto A = {2, 3, 4} e o predicado P(x, y) é interpretado como x 2 y + 2, então a proposição funcional é avaliada como verdadeira.

Se as variáveis x e y pertencem ao conjunto A = {2, 3, 4}...

Q244742

Raciocínio Lógico Simbologia dos quantificadores lógicos( Linguagem)

Ano: 2007

Banca: Centro de Seleção e de Promoção de Eventos UnB - CESPE CEBRASPE

Prova: CESPE/CEBRASPE - Petrobras - Analista de Sistemas - Área Engenharia de Software - 2007

Se as variáveis x e y pertencem ao conjunto A = {2, 3, 4} e o predicado P(x, y) é interpretado como x² y + 2, então a proposição funcional é avaliada como verdadeira.

Certo

Errado

Comentários Marcadores Anotações (0) Estatísticas Reportar erro

Se as variáveis x e y pertencem ao conjunto A = {2, 3, 4} e o predicado P(x, y) é inter...