Raciocínio lógico - Algebra das Proposições - Universidade de Pernambuco (UPE / UPENET / IAUPE) - 2006
Machado (2001) faz alusão ao conceito de modelo a partir de uma análise semântica das linguagens formais e, em seguida, argumenta que diante um conjunto de fórmulas F e de uma linguagem formal L, diz-se que um modelo para F é uma particular determinação de um conjunto de objetos e atribuição de significados. Cabe informar que neste conjunto, as variáveis e as relações presentes nas fórmulas de F estão estruturadas, de modo que todas elas se tornem proposições verdadeiras a respeito dos objetos considerados.
Diante das informações dadas acima sobre um modelo, tomando I como exemplo, assinalar a alternativa falsa.
O conjunto de seres humanos e a relação ser primo (grau de parentesco).
O conjunto das retas de um plano e a relação de paralelismo.
O conjunto dos automóveis produzidos no Brasil e a relação ter o mesmo fabricante.
Há duas alternativas verdadeiras.
Há três alternativas verdadeiras.
{TITLE}
{CONTENT}
{TITLE}
Aguarde, enviando solicitação...