Colaborar - Av2 - Lógica Computacional - A

" #
! Lógica Computacional
Av2 - Lógica Computacional - A
Informações Adicionais
Período: 01/08/2022 00:00 à 05/09/2022 23:59

Situação: Cadastrado
Pontuação: 1200
Protocolo: 763665814
Avaliar Material
1)
As expressões lógicas, também chamadas de
fórmulas, são como fórmulas matemáticas. Assim, se
existem regras para escrever uma fórmula matemática,
também existem para escrever fórmulas do cálculo
proposicional. Quando uma fórmula proposicional é
escrita corretamente, ela é chamada de fórmula bem-
formulada.
Nesse contexto, analise as proposições a seguir:
I.
II.
III.
IV.
É correto o que se afirma em:
Alternativas:
a) I e II, apenas.
b) III, apenas.
c) IV, apenas.
d) II, III e IV, apenas. Alternativa assinalada
e) I, apenas.
2)
Através de valores lógicos de entrada para as
proposições, uma fbf pode ser valorada em verdadeira ou
falsa. Nesse contexto, associe os itens da figura 1, a
seguir:
Figura 1 – Fórmula proposicional
Fonte: Adaptado de SCHEFFER, V.C. Fundamentos da

lógica – conectivos e classificação textual, p. 12.
( )
( )
( )
Assinale a alternativa que contém a associação correta

entre a figura 1 e a valoração:
Alternativas:
a) 1-2-3.
b) 3-2-1.
c) 2-3-1.
d) 1-3-2.
e) 3-1-2. Alternativa assinalada
3) A lógica proposicional é composta por proposições e

conectivos lógicos que permitem criar uma série de
fórmulas, que quando escritas corretamente são
chamadas de fbfs (fórmula bem formulada). Uma fbf é
valorada em verdadeira (V) ou falsa (F), a partir da
valoração das proposições com o conectivo lógico em
questão, respeitando a ordem de precedência dos
operadores lógicos. A valoração de uma fórmula também
depende dos valores lógicos de entrada para cada uma
das proposições.
Com base em seu conhecimento à respeito de lógica

proposicional, analise as afirmativas a seguir.
I. Quando uma fórmula apresenta um conjunto de

proposições, das quais uma delas é uma conclusão,
dizemos que tal fórmula é um argumento.
II. Uma sequência de demonstração e´ uma sequência de

fbfs nas quais cada fbf e´ uma hipótese ou o resultado de
se aplicar uma das regras de dedução do sistema formal
a fbfs anteriores na sequência
III. As regras de inferência serão usadas quando uma fbf

(que pode ser uma hipótese ou resultado de uma regra)
pode ser substituída por outra fbf, mantendo o resultado
lógico.
Neste contexto, é correto o que se afirma em:
Alternativas:
a) I, apenas.
b) II, apenas.
c) I e II, apenas. Alternativa assinalada
d) II e III, apenas.
e) I, II e III.
4) Além das regras de equivalência, o processo de

dedução lógica também possui as regras de inferência.
Na inferência, dada uma determinada fbf, ela poderá ser
substituída por outra que atenda a regra de inferência. Há
três regras de inferência principais: Modus Ponens (MP),
Modus Tollens (MT) e Silogismo Hipotético (SH).
De acordo com as informações apresentadas na tabela a

seguir, faça a associação das regras de inferência na
Coluna A com as respectivas estruturas apresentados na
Coluna B.
Coluna A Coluna B
I. Modus Ponens (MP) 1. (P ¿ Q)¿¬Q ¿ ¬P
II. Modus Tollens (MT) 2. (P ¿ Q)¿P ¿ Q
III. Silogismo Hipotético (SH) 3. (P ¿ Q)¿(Q ¿ R) ¿ (P ¿ R)
Assinale a alternativa que apresenta a associação

CORRETA entre as colunas.
Alternativas:
a) I - 1; II - 3; III - 2.
b) I - 2; II - 1; III - 3. Alternativa assinalada
c) I - 3; II - 1; III - 2.
d) I - 3; II - 2; III - 1.
e) I - 1; II - 2; III - 3.
5) Quando uma fórmula apresenta um conjunto de

proposições, das quais uma delas é uma conclusão,
dizemos que tal fórmula é um argumento. “Um
argumento e´ um conjunto de proposições, ou de
fórmulas, nas quais uma delas (conclusão) deriva, ou e´
consequência, das outras (premissas).”
Com relação à temática apresentada, avalie as seguintes

asserções e a relação proposta entre elas.
I. A ligação entre as hipóteses e a conclusão é feita por

meio do conectivo condicional
PORQUE
II. No argumento, as proposições são ligadas logicamente

pelo conectivo de conjunção (e), as quais implicam
logicamente a conclusão.
A respeito dessas asserções, assinale a alternativa

correta.
Alternativas:
As asserções I e II são proposições

a) verdadeiras, mas a II não justifica a Alternativa assinalada
I.
As asserções I e II são proposições verdadeiras e a II

b)
justifica a I.
c) A asserção I é uma proposição verdadeira e a II, falsa.
d) A asserção I é uma proposição falsa e a II, verdadeira.
e) As asserções I e II são proposições falsas.

Colaborar - Av2 - Lógica Computacional - A

Enviado por

Direitos autorais:

Formatos disponíveis

Colaborar - Av2 - Lógica Computacional - A

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Colaborar - Av2 - Lógica Computacional - A

Enviado por

Direitos autorais:

Formatos disponíveis

" #

Av2 - Lógica Computacional - A

Período: 01/08/2022 00:00 à 05/09/2022 23:59

Nesse contexto, analise as proposições a seguir:

É correto o que se aﬁrma em:

d) II, III e IV, apenas. Alternativa assinalada

Figura 1 – Fórmula proposicional

Fonte: Adaptado de SCHEFFER, V.C. Fundamentos da

Assinale a alternativa que contém a associação correta

e) 3-1-2. Alternativa assinalada

3) A lógica proposicional é composta por proposições e

Com base em seu conhecimento à respeito de lógica

I. Quando uma fórmula apresenta um conjunto de

II. Uma sequência de demonstração e´ uma sequência de

III. As regras de inferência serão usadas quando uma fbf

Neste contexto, é correto o que se aﬁrma em:

c) I e II, apenas. Alternativa assinalada

4) Além das regras de equivalência, o processo de

De acordo com as informações apresentadas na tabela a

I. Modus Ponens (MP) 1. (P ¿ Q)¿¬Q ¿ ¬P

II. Modus Tollens (MT) 2. (P ¿ Q)¿P ¿ Q

III. Silogismo Hipotético (SH) 3. (P ¿ Q)¿(Q ¿ R) ¿ (P ¿ R)

Assinale a alternativa que apresenta a associação

b) I - 2; II - 1; III - 3. Alternativa assinalada

5) Quando uma fórmula apresenta um conjunto de

Com relação à temática apresentada, avalie as seguintes

I. A ligação entre as hipóteses e a conclusão é feita por

II. No argumento, as proposições são ligadas logicamente

A respeito dessas asserções, assinale a alternativa

As asserções I e II são proposições

As asserções I e II são proposições verdadeiras e a II

c) A asserção I é uma proposição verdadeira e a II, falsa.

d) A asserção I é uma proposição falsa e a II, verdadeira.

e) As asserções I e II são proposições falsas.

Você também pode gostar