Aula 1 resumo terico

Tema: LGICA PROPOSICIONAL

Noo preliminar.
Frase: Toda palavra ou conjunto de palavras que usamos para comunicar com algum e possua sentido
completo.
As frases podem ser de vrios tipos:
Declarativa: O Brasil um pas do continente americano.
Imperativa: Faa seu trabalho corretamente.
Interrogativa: Que horas so? Como vai voc?
Exclamativa: Bom dia!
A lgica formal tem como objetivo utilizar frases declarativas e que no possuam ambigidade.
PROPOSIES
Definio: Uma proposio toda sentena declarativa (com sujeito e predicado) qual pode se atribuir,
sem ambiguidade, apenas um do valor lgico: verdadeiro (V) ou falso (F).
Tema: Princpios Fundamentais da lgica
Princpio da Identidade:
Todo objeto idntico a si mesmo, isto , uma proposio verdadeira sempre verdadeira e uma
proposio falsa sempre falsa.
Principio da No-contradio
Uma proposio no pode ser simultaneamente verdadeira e falsa.
Principio do Terceiro Excludo
Toda proposio ou s verdadeira ou s falsa, nunca ocorrendo um terceiro caso.
Tema: CLASSIFICAO DAS PROPOSIES
As proposies podem ser simples ou compostas.
Proposio simples ou atmica: uma frase declarativa que expressa um pensamento completo acerca de
um objeto, isto , possui um nico objeto de estudo.
Proposio composta ou molecular: formada por duas ou mais proposies relacionadas pelos conectivos
lgicos.
Tema: operadores lgicos
p q : p ou q
P ou q ou ambos
P e/ou q (documentos legais)
Disjuno exclusiva: p q (l-se: ou p ou q).
DISJUNO:

CONJUNO: p q: p e q / p, mas q / Tanto p como q / p, apesar de q

Em provas de concurso j foi cobrado s seguintes formas:
peq
p, mas q
Tanto p como q
CONDICIONAL
As outras formas filosficas de escrever a condicional so :
Se p, ento q
p implica q
p suficiente para q
q necessrio para p
p conseqentemente q
Quando p, q

www.professorbrunovillar.com.br

No caso de p, q
q, contanto p
q, se p
q, no caso de p
Todo p q.
J foram cobradas as formas: p implica q; p suficiente para q; q necessrio para p ,
p consequentemente q; q, se p e todo p q.
BICONDICIONAL
Dadas duas proposies p e q, a proposio p se, e somente se, q, que ser indicada por p q,
chamada de bicondicional.
p q ( l-se : p se e somente se q)
RESUMO:
Conectivo

Smbolo

Forma simblica

Sentido

Disjuno inclusiva

p q

Ocorre p ou ocorre q ou ambos

Disjuno exclusiva

p q

Ocorre p ou ocorre q mas no ocorre ambos

Conjuno

pq

Ocorre p e q

Condicional

pq

Se ocorre p ento q tambm ocorre

Bicondicional

p q

Ou ocorre p e q , ou no ocorre p e q

Resumo da tabela.
Conectivo

Forma simblica

Dica

Disjuno inclusiva

p q

1V=V

Disjuno exclusiva

p q

Smbolos diferentes (VF ou FV) = V

Conjuno

pq

1F=F

Condicional

pq

VF = F

Bicondicional

p q

Smbolos iguais (VV ou FF ) =V

Tema: Negao de proposies compostas

Negao da disjuno: ~( p q ) ~ p ~q

www.professorbrunovillar.com.br

Cuidado: As expresses : ~( p q) e ~ p q no representam a mesma coisa , a primeira expresso a

negao da conjuno e a segunda a negao de p ou q
Dica: Negar a primeira proposio ( simples ou composta ) depois colocar o conectivo e e negar a
segunda proposio ( simples ou composta).
Negao da conjuno: ~( p q ) ~ p ~q
Dica: Negar a primeira proposio (simples ou composta) depois colocar o conectivo ou e negar a
segunda proposio (simples ou composta).
Negao da condicional: ~ ( p q) p ~q
Dica: Conserva a primeira proposio (simples ou composta) colocar o conectivo e e depois negar
somente a segunda proposio ( simples ou composta)
Negao da bicondicional: ~ ( p q ) = ~ p q outra opo p ~ q.
Dica: conserva o conectivo e nega apenas uma proposio

EQUIVALNCIA LGICA
EQUIVALNCIA LGICA
As proposies P e Q so equivalentes quando apresentam tabelas verdades idnticas.
Indicamos que p equivalente a q do seguinte modo: p q.
Para confirmar a equivalncia lgica deve-se construir a tabela verdade das proposies e se apresentarem a
mesma valorao ( na ordem das linhas correspondentes) , ento as proposies so equivalentes.
Vamos estudar, as equivalncias mais cobradas em provas de concurso.
A condicional possui duas expresses equivalentes
p q q p p q
1 forma: p q q p (contra-positiva)
Dica: Inverte as proposies e nega.
2 forma: p q p q ( a negao da negao da condicional)
Dica: Nega a primeira proposio colocar o conectivo ou e mantm a segunda proposio na forma original.
Resumo:
Se corro ,ento canso.( p q)
Se no canso , ento no corro. ( q p)
No corro ou canso. ( p q )
Equivalente da bicondicional: (p q) (p q) ^ (q p)

Quantificador Universal ( )
O smbolo pode ser lido das seguintes formas:
Todo
Qualquer que seja.
Exemplo: Todo homem mortal.

www.professorbrunovillar.com.br

Na representao do diagrama lgico seria.

Cuidado todo homem mortal, mas nem todo mortal homem.

A forma Todo A B pode ser escrita na forma Se A ento B.
A forma simblica da expresso Todo A B a expresso ( (x) / A (x) B)
Quantificador existencial ( )
O smbolo pode ser lido das seguintes formas:
Pelo menos um
Existe
Algum
Exemplo: Algum matemtico filsofo
O diagrama lgico dessa frase

O quantificador existencial tem a funo de elemento comum. A palavra algum do ponto de vista lgico
representa termos comuns, por isso Algum A B possui a seguinte forma simblica: ( (x)) ( A(x) B)

www.professorbrunovillar.com.br