Logica Computacional - Avaliação

Sabendo que a lógica clássica foi desenvolvida a partir das investigações de Aristóteles, as quais fizeram o filósofo descobrir que todo conhecimento válido emitido deverá ser composto e regido por três princípios, analise as afirmações: “Maria é professora. Maria não é professora.” 

Em qual dos princípios da lógica se aplicam essas afirmações?

Vídeo: https://drive.google.com/file/d/1nlMIDCA2DbReZ8ayNAFrMMCESvN4SFi4/view?usp=drive_link

• Identidade

  
  

• Não contradição

  
  

• Terceiro excluído

  
  

• Semelhança

  
  

Para entender a lógica clássica, precisamos saber analisar cada um dos princípios-base da lógica, sendo que a principal função é determinar se uma sentença terá um valor válido ou não, ou seja, se será uma sentença verdadeira. Sendo assim, leia com atenção a sentença a seguir: “É impossível que Maria seja Maria e não seja Maria.”  

Analisando a sentença, responda: sobre qual princípio essa sentença se apoia?

•  Identidade

• Não contradição

• Terceiro excluído

• Contradição

  
  

De acordo com o que propõe o estudo sobre a lógica e os argumentos, podemos considerar os argumentos como um conjunto de enunciados que estão relacionados uns com os outros. Argumento é, portanto, um raciocínio lógico.

Sobre os argumentos, é correto afirmar que:

• um argumento é formado por uma sequência de premissas que levam a uma conclusão.

  
  

• em um argumento é possível ter apenas uma premissa e uma conclusão.

  
  

• para um argumento ser válido, é preciso que apenas as premissas sejam verdadeiras.

•  para um argumento ser válido, é preciso que apenas a conclusão seja verdadeira.

Analise a questão lógica a seguir (CIRINO, 1984):

“Nenhum engenheiro é rico. 

Todos os ricos são saudáveis. 

Logo, nenhum engenheiro é saudável.”

Sobre essa questão lógica, é correto afirmar que:

• corresponde a um argumento verdadeiro.

•  corresponde a uma conclusão errada.

• “nenhum engenheiro é saudável” é uma premissa.

  
  

•  “todos os ricos são saudáveis” é a conclusão da primeira premissa. 

  
  

Sabe-se que a Lógica Proposicional é constituída de três etapas: alfabeto, sintaxe (gramática) e semântica. Sobre a gramática da Lógica Proposicional, qual alternativa apresenta corretamente sua definição?

• A gramática da Lógica Proposicional representa um conjunto contável de símbolos usados na linguagem.

  
  

• Conjunto de regras que são aplicadas sucessivamente, formando as expressões que são admissíveis na linguagem.

  
  

• É a parte da Lógica Proposicional que dá significado à linguagem.

  
  

•  Usa de suas experiências e conhecimentos para resolver problemas.

  
  

A lógica proposicional busca determinar o valor de verdade de proposições complexas para validar os argumentos a partir do valor de verdade das proposições simples, que entram nessas proposições complexas e nesses argumentos. Sobre as regras que compõem a Lógica Proposicional, pode-se afirmar que: 

•  Nem todo símbolo proposicional é uma fórmula.

  
  

• Se P é uma fórmula, então a sua negação (¬P) não é uma fórmula.

  
  

• A disjunção de P e Q não é considerada fórmula.

  
  

• Todo símbolo verdade é uma fórmula.

  
  

Os conectivos na lógica proposicional são importantes para definir se uma proposição composta é verdadeira ou falsa. Sendo assim, leia com atenção a sentença a seguir: “Ou Maria é dançarina ou João é marceneiro”. Qual operação é realizada nessa sentença?

• Conjunção, pois será falsa se alguma proposição for falsa. 

  
  

• Disjunção exclusiva, pois só será verdadeira quando uma das proposições for verdadeira. 

  
  

• Condicional, pois será verdadeira sempre que a segunda sentença for verdadeira.

• Bicondicional, pois será verdadeira se ambas forem verdadeiras ou falsas.

Aprendemos que a conjunção liga duas ou mais proposições simples. Entre as sentenças a seguir, qual é a proposição conjuntiva? 

• A bolsa não é branca.

  
  

•  Se a bolsa é branca, então Maria é bonita.

• A bolsa é branca e Maria é bonita.

  
  

•  A bolsa é branca ou Maria é bonita.