Colaborar - Adg2 - Elementos da Matemática I

Prévia do material em texto

 Elementos da Matemática I (/aluno/timeline…
Adg2 - Elementos da Matemática
Sua avaliação foi confirmada com sucesso
  
(/notific
×
Informações Adicionais
Período: 02/08/2021 00:00 à 27/11/2021 23:59
Situação: Cadastrado
Protocolo: 635281867
Avaliar Material
a)
b)
1) Silogismos são argumentos cons�tuídos de duas premissas e uma conclusão. Em um silogismo
categórico temos proposições categóricas, ou seja, enunciados com apenas um sujeito e um
predicado.
No quadro das proposições categóricas temos as relações entre afirmações universais, negações
universais, afirmações par�culares e negações par�culares.
Lembremo-nos do quadro de proposições categóricas apresentado na seção 2.1:
 
 Sobre as proposições categóricas é correto afirmar que:
 
Alternativas:
duas proposições contrárias podem ser verdadeiras e falsas ao mesmo tempo.
duas proposições subcontrárias podem ser falsas ao mesmo tempo.

https://www.colaboraread.com.br/aluno/timeline/index/3001973502?ofertaDisciplinaId=1653213
https://www.colaboraread.com.br/notificacao/index
javascript:void(0);
c)
d)
e)
a)
b)
c)
d)
e)
2)
3)
duas proposições subalternas podem ser verdadeiras ao mesmo tempo.  Alternativa assinalada
duas proposições contraditórias podem ser verdadeiras ao mesmo tempo.
duas proposições subalternas não podem ser verdadeiras ao mesmo tempo.
Lembremos a definição de implicação lógica: "Dizemos que uma proposição composta p implica
logicamente uma proposição composta q quando a proposição q assumir valor lógico verdadeiro sempre
que a proposição p assumir valor lógico verdadeiro".
Pode-se verificar que a proposição p implica logicamente a proposição q se não observarmos valor
lógico verdadeiro na úl�ma coluna da tabela-verdade de p e valor lógico falso na úl�ma coluna da
proposição q.
 
Considere as proposições:
a: 
b: 
c: 
d: 
Então é verdadeiro afirmar que:
Alternativas:
a proposição b implica logicamente a proposição a.
a proposição b implica logicamente a proposição c.
a proposição simples p implica logicamente a proposição composta c.
a proposição d implica logicamente a proposição simples q.
a proposição c implica logicamente a proposição d.  Alternativa assinalada
Podemos usar tabelas-verdade para decidir se um argumento é válido. Construímos a tabela-verdade do
argumento e buscamos por linhas em que as premissas sejam verdadeiras e a conclusão seja falsa. Se
existir ao menos uma linha nesta condição o argumento é inválido. Se em todas as linhas para as quais as
premissas são verdadeiras a conclusão também for verdadeira, então o argumento é válido.
Considere os argumentos:
Argumento I:
Premissa 1:se ou então
Premissa 2: 
Conclusão: e
Argumento II:
Premissa 1: Se ou então 

a)
b)
c)
d)
e)
a)
b)
4)
Premissa 2: 
Conclusão: 
Alternativas:
O argumento I é válido pois existe ao menos uma linha na tabela-verdade do argumento na qual a
conclusão assume valor lógico verdadeiro.
 
O argumento II é válido pois existe ao menos uma linha na tabela-verdade do argumento na qual
a conclusão é verdadeira.
 
O argumento I é inválido pois existe ao menos uma linha na tabela-verdade do argumento na qual
a conclusão assume valor lógico falso.
 
O argumento II é inválido pois existe ao menos uma linha na tabela-verdade do
argumento na qual temos as premissas assumindo valor lógico verdadeiro e a
conclusão com valor lógico falso.
 Alternativa assinalada
Ambos os argumentos são válidos pois existe ao menos uma linha na tabela-verdade do
argumento na qual temos as premissas assumindo valor lógico verdadeiro e a conclusão com valor
lógico falso.
 
A demonstração por absurdo também é conhecida como prova indireta. Ela consiste em utilizar a
negação da conclusão como uma premissa adicional. Então, busca-se uma contradição. Em decorrência
dessa contradição, conclui-se pela validade da conclusão.
Considere o argumento a seguir:
Argumento:
Premissa 1: 
Premissa 2:
Conclusão:
A alternativa que apresenta a sequência correta para demonstrar a validade do argumento acima é:
Alternativas:

c)
d)
e)  Alternativa assinalada
