Você está na página 1de 6

Resumo da Unidade I de Lgica II

Unidade 1 Lgica Simblica


Existem outras Lgicas?
A questo aqui compreender as diversas aplicaes que se estabeleceram para definir
as regras gerais para um bom raciocnio.
Na Lgica Simblica destacaremos primeiramente as Regras de Boole (operaes
algbricas):
Essas regras se fundamentam por dois princpios
1) No Contradio
2) Terceiro excludo
A partir da estrutura definida, a Lgica Simblica se caracteriza por um modelo
bivalente (verdadeira e falsa), onde atribumos um valor de verdade para as proposies.
Exemplos
O Brasil um pas tropical (V): a frase deve ter a evidencia da verdade
Todas as rosas so amarelas (F): a frase deve ter evidencia da falsidade
Antes de comentar os procedimentos para utilizarmos a tabela verdade, importante
destacar a forma de representao das proposies em proposies simples e compostas.
Esta informao importante para se aplicar a denominao de smbolos, (p, q, r, s).
p
Pedro foi a escola (dizemos que se trata de um proposio simples, pois existe uma
nica ao do sujeito)
p
q
Pedro foi a escola e ao ginsio de esportes (proposio composta tem pelo menos duas
aes distintas)
Observe tambm que foi utilizado um conectivo para explicitar as duas aes nesse caso
a letra e
Em geral utilizam-se os conectivos: e (^) , ou (), no (~), Se .. ento. ()
e Se e ......somente se ()
p
q
a) Voc est feliz ou est insatisfeito. ( p q)
~ r
b) Amanh no vou ao mdico (~r)
p
~t
c) Se chover ento no vou a praia (p ~t)
p
r
d) Carlos ser aprovado se e somente se fizer todas as provas. ( p r)

A sntese dos elementos da Tabela Verdade:


1) A conjuno (elemento e ) para proposies de 02 elementos, usaremos 4 valores
de verdade. Se tivssemos trs elementos a tabela conteria 8 elementos a serem
avaliados. Observe que isto est relacionado com os valores das potencias de base 2.
2 = 2x2 = 4
2= 2x2x2= 8
p
V
V
F
F

q
V
F
V
F

p ^q
V
F
F
F

Em uma conjuno a sentena verdadeira quando os dois enunciados so verdadeiros.


De outro modo, ser falso
2) A disjuno aplicado quando se verifica o elemento ou em duas situaes
a) Na forma inclusiva
p
q
Joo foi ao cinema ou ao teatro. ( p q)
p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

Uma disjuno inclusiva somente ser falsa se os dois enunciados so falsos.


b) Na forma exclusiva
p
q
Ou fao dieta ou chupo sorvete
p
V
V
F
F

q
V
F
V
F

pq
F
V
V
F

Neste caso as proposies so consideradas verdadeiras se uma delas falsa ou


verdadeira.

3) A Negao
Para a Lgica a negao o contrrio do que se pretendia afirmar
p
Eu vou ao cinema
~p
No vou ao cinema
Na tabela verdade teremos,
p ~p
V F
F V
4) Implicao
As proposies que se caracterizam na forma:
p
~q
Se ganhar na loteria ento no vou trabalhar
Tem em grande medida muitas derivaes na linguagem comum. O que se tem de
acordo que quando o antecedente verdadeiro e a conseqncia falsa ento a
implicao tambm dever ser falsa.
p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

5) A bi-implicao.
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

Um modo simples de caracterizar a bi-implicao proceder como se verificasse uma


implicao nas duas direes se pq ento qp
p
q
Eu irei viajar se e somente receber o pagamento

Unidade 2: Usando a Tabela Verdade


A partir do argumento enunciado, definimos os smbolos de cada proposio
p
q
Voc vai ao cinema ou ao teatro. p q
~p
Voc no foi ao cinema.
q
Logo, voc foi ao teatro
Montamos a tabela verdade com os smbolos p e q
p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

~p
F
F
V
V

Anlise da validade

Verificamos a validade atravs dos valores dos smbolos que aparecem no argumento.
Observe que se p q verdadeira e ~p verdadeiro, a concluso q igual a V. Neste
caso o argumento valido, pois no ocorre que proposies verdadeiras e concluso
falsa.
Exemplo 2
Se chover (p), eu vou a praia(q)
Se fazer sol (r), eu vou a praia (q)
Se chover (p), vai fazer sol (r)
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

pq
V
V
F
F
V
V
V
V

rq
V
V
F
V
V
V
F
V

pr
V
F
V
F
V
V
V
V

Verifique que ocorre pelo menos um caso em que duas proposies so verdadeiras e a
concluso falsa. Dado que no admissvel nenhum caso de incompatibilidade,
dizemos que o argumento no valido.

Calculo de Predicados Unidade 3


Na apostila a sintaxe do Calculo de Predicados define a forma de representar sentenas
a partir da Linguagem CP
1) Usando elementos prticos e com objetividade, o autor define como nominar as
proposies singulares (proposies com uma informao particular), exemplos
Maria bonita dado que o predicado informao mais relevante em CP
Maria simbolizamos com a letra - m
Enquanto bonita B
Ento a proposio Maria bonita - Bm
2) Proposio Gerais ( proposies que informam sobre o geral ou sobre algum no
identificado) utiliza-se os quantificadores
No calculo CP o termo todo(s) simbolizado por
Enquanto o termo singular (existencial) simbolizado por C
Exemplos: Todos so filsofos - Na linguagem CP temos x (Fx).
Observe, para todos usamos o smbolo universal e filosofo o predicado F
Como no h identificao usamos a letra x.
Exemplo 2: Algum mdico Na linguagem CP temos x (Mx)
Observe, para algum ou algum usamos o smbolo e
para mdico a letra M.
Lgica Clssica Problema Ontolgico Unidade 4
Existe uma extenso do CP que ser utilizado nas proposies categricas
Trata-se das proposies que afirmam elementos que pertencem ao nosso cotidiano,
temos conscincia de sua existncia e representadas atravs de quantificadores universal
ou existencial
Todo A B
Nenhum A B
Algum A B
Algum A no B

x (Ax Bx)
x (Ax Bx)
x (Ax Bx)
x (Ax Bx)

Exemplo 1
Alguns homens so desonestos, na linguagem CP, temos
x (Hx Dx)
Identificador existencial
H homem
D - desonestos
Todo brasileiro otimista
x (Bx Ox)
Identificador existencial
B brasileiro
O - otimista