lógica proposicional - Conceitos Introdutorios - UNB

Entrega de Exercícios - Conceitos Introdutórios - Lógica Computacional 1

Universidade de Brasília
Instituto de Ciências Exatas Departamento de Ciência da Computação

Turma B - 2015/2

Introdução
Este documento detalha a resolução de exercícios de Conceitos Introdutórios dado como segunda tarefa a ser entregue pela professora Cláudia Nalon, da disciplina 117366 - Lógica Computacional 1. turma B.

2 . 1 O que é argumento ? Exemplifique
R: É um conjunto de enunciados que estão relacionados entre si. Exemplo:
Todos os estudantes da Turma B passarão na matéria.
Isaac é um estudante da Turma B.
Logo, Isaac passará na matéria.
Este é um argumento formado por duas premissas e uma conclusão.
2.2 O que é um argumento correto ?
R: É um argumento em que ele, sendo válidos, todas as suas premissas são verdadeiras também.
2.3 O que é lógica e qual seu objeto de estudo ?
R: Lógica é a ciência do raciocínio e estuda o pensamento, assim como as leis e regras que o controlam, para que esse pensamento seja correto ou não.
2.4 Explique o que é linguagem natural e linguagem formal. Qual a diferença entre elas ? Exemplifique.
R: Linguagem natural é a linguagem desenvolvida por seres humanos, de forma não premeditada, para comunicar-se entre si. Linguagem formal é um mecanismo bem definido para especificação e representação de linguagens. A Linguagem natural é humana, orgânica, extensa e não exata. A linguagem formal é exata e precisa. Exemplos:
Linguagem natural: Isaac é o melhor aluno de Lógica Computacional
Linguagem formal: L = Σ.
2.5 Quais são as três dimensões da linguagem? Explique qual o objeto destas três dimensões e exemplifique:
R: Sintática, Semântica e Pragmática. Sintaxe preocupa-se com a com a organização. Semântica preocupa-se com o significado. Pragmática preocupa-se com o uso que fazemos da linguagem num dado contexto. Exemplo:
Fui até João para pagar-lhe um sapo.
A sintaxe está na forma correta de uso da gramática, ainda que tenha sido