Lgica para SI

Fernando Castilho

Proposies Verofuncionais
Proposio
Um enunciado, que verdadeiro ou
falso

Proposio Categrica Verofuncional

Proposio complexa - valor de verdade
determinado pela anlise de
proposies individuais , junto com
operadores lgicos.

Proposies Verofuncionais
Valor de Verdade
Proposies individuais apenas Verdadeiro ou Falso
Proposio complexa Valores individuais +
operador(es) lgico(s)

Operador Lgico
Termo Conectivo sem valor de verdade associado
Determina as possibilidades lgicas de veracidade
ou falsidade de uma proposio complexa
Mostra os requisitos lgicos de cada tipo de
proposio (negao, conjuno, disjuno,
condicional).

Proposies Verofuncionais
Operadores lgicos
Conjuno (e)

Se Verdade e Verdade
Todas as conjuntivas devem ser verdadeiras
P = Hoje quarta-feira.
Q = Vai ter jogo importante pelo
campeonato de futebol.

Simbologia - .
Traduo da proposio - P . Q

Proposies Verofuncionais
Operadores lgicos
Conjuno (e)
Tabela de Verdade
Estrutura para a validao de expresses que
utilizam conectivos lgicos
A

A.B

Proposies Verofuncionais
Operadores lgicos
Negao (no)
Altera o valor de verdade da proposio
P = Hoje quarta-feira.
Negao - Hoje no quarta-feira.
Simbologia - ~
Traduo da proposio - ~ P (no Hoje
quarta-feira)
P
~P
Tabela de Verdade V
F
F

Proposies Verofuncionais
Operadores lgicos
Disjuno (ou)
Se Verdade ou Se Verdade
Basta uma das disjuntivas ser verdadeira
S Falsa se todas as disjuntivas forem
falsas ao mesmo tempo
Simbologia - v
A disjuno pode ser Inclusiva ou
Exclusiva

Proposies Verofuncionais
Operadores lgicos
Disjuno Inclusiva
Todas as inclusivas podem ser verdadeiras
Hoje quarta-feira ou Vai ter jogo importante
Traduo - P v Q

Disjuno Exclusiva
Apenas uma inclusiva pode ser verdadeira
A verdade de uma exclui a verdade da outra
Hoje quarta-feira ou hoje quinta-feira

Traduo (P v Q)

~ (P

. Q)

Proposies Verofuncionais
Operadores lgicos
Disjuno (ou)
Tabela de Verdade
A

Proposies Verofuncionais
Exerccios
Se a estrutura da proposio X
verdadeira, qual o valor de X ?

. Y for

Verdadeiro / Falso / Verdadeiro ou Falso ?

Se a estrutura da proposio X v Y for falsa,

qual o valor de X ?
Verdadeiro / Falso / Verdadeiro ou Falso ?

Repetir o exerccio para as possibilidades

de tipo de conectivo e de verdade da
proposio complexa.

Proposies Verofuncionais
Traduo de proposies usando
operadores lgicos

(conjuno)

E, mas, ao passo que, porm, tambm,,

alm disso, embora, ainda que, desde que.

~ (negao)
No, no o caso que, falso que, no
verdade que.

v (disjuno)
ou, ou ... ou, a menos que, caso contrrio

Proposies Verofuncionais
Exerccios
Traduzir simbolicamente as seguintes proposies
verofuncionais
Meu carro grande, mas ele tem timo consumo de
combustvel
Cncer ou AIDS so doenas muito graves
No verdade que o mundo quadrado
A menos que voc pare de comer doces voc vai ter
diabetes
Joana uma menina dcil, ao passo que seu pai um
homem rude
S se voc terminar sua tarefa voc poder ir ao cinema

Proposies Verofuncionais
Condicionais
Elemento chave o termo se
Se o viaduto ficar pronto (P) o trajeto
ser reduzido (Q)
se P ento Q
Simbologia - - Se P Q
Antecedente Parte que segue o se
Consequente Parte que segue o
ento

Proposies Verofuncionais
Condicionais
Proposio condicional no uma inferncia.
Ela afirma que se o antecedente for
verdadeiro, o consequente tambm o ser.
P Q
Se P ocorrer, Q tambm ocorrer
No afirma as possibilidades de Q, apenas as de
P.

A nica forma de uma proposio condicional

ser falsa quando o antecedente verdadeiro
e o consequente falso

Proposies Verofuncionais
Condicionais
Tabela de verdade

P Q

Diagramao para
entendimento da tabela de verdade
desta proposio
Sinal indicando que a proposio
verdadeira:
dentro da caixa
P

Proposies Verofuncionais
P Q

P Q

P Q, com ambas verdadeiras

P Q, com P (Falsa) e Q (Verdadeira)

Q
P

P Q, com P (Falsa) e Q (Falsa)

Proposies Verofuncionais
Condicionais Presena da palavra se
Alternativas

Toda vez que P, ento Q

Cada vez que...
Todos os casos em que ...
Qualquer vez que...
No caso de ...
Sob a condio de que ...
Dado que ...
Desde que...
Em qualquer caso que ...
Supondo que ...
Em qualquer ocorrncia de ...
Para todas as instncias de ...

Proposies Verofuncionais
Condicionais - Se e somente se
Se Antecedente de uma proposio condicional
... e somente se Consequente da proposio
Se P ento Q
- P o antecedente
Se voc ganhar na loteria, ento voc ver parentes que
nem sonhava conhecer

P, se Q

- Q o antecedente

Voc ver parentes..., se voc ganhar na loteria

P, somente se Q - P o antecedente
Voc ver parentes..., somente se voc ganhar na loteria

Somente se P, Q - Q o antecedente
Somente se voc ganhar na loteria voc ver parentes...

Proposies Verofuncionais
Condicionais Exerccios
Se a estrutura de proposio P Q
for Falsa, qual o valor possvel para P
(V, F, V/F) ?
Se a estrutura de proposio P Q
for Verdadeira, qual o valor possvel
para Q ?
Se a estrutura de proposio P Q
for Falsa, qual o valor possvel para
Q ?

Proposies Verofuncinais
Frmulas bem formadas
Proposies verofuncionais que foram traduzidas
simbolicamente e esto sintaticamente corretas
Regra 1 os operadores e, ou e se devem sempre
estar entre duas proposies
Regra 2 O smbolo de negao (~) deve estar sempre
frente da proposio a ser negada
Regra 3 O smbolo de negao, sozinho, no deve estar
entre duas proposies
Regra 4 Parnteses so usados para eliminar
ambiguidades e para distinguir o operador lgico principal
de uma proposio complexa e para separar dois
operadores.
Operador lgico principal Aquele que determina o valor
final da proposio

Proposies Verofuncinais
Frmulas bem formadas
Exerccios Diga e explique porque as
proposies so FBF ou no

P v ~Q
R~vT
K . (P~Q)
~ P (v ~ R) . ~ S

Proposies Verofuncinais
Frmulas bem formadas
Exerccios Identifique o operador lgico
principal

~Q v P
R . (~ T v K)
L~Q
[P v (Q ~ R)] . (~ R v S)

Proposies Verofuncinais
Traduo de proposies
Pode-se traduzir sentenas em portugus para
proposies simblicas
Deve-se entender a inteno lgica da proposio
complexa antes de traduzir
Parnteses auxiliam a traduo correta em muitos casos
ex1: Ambas, Toyota e Honda so companhias japonesas T . H
A inteno afirmar que ambas o so, ento o operador e o
operador principal.

ex2: No o caso que ambas, Toyota e Honda sejam

genuinamente japonesas - ~ (T . H)
A inteno negar que as duas o sejam, ento a negao o operador
principal.

Proposies Verofuncionais
Exerccios Traduza as proposies:
Eu no estou enganado e o escore do meu teste foi
elevado, e eu estou feliz com o resultado
Se voc conseguir economizar R$ 200,00 por ms, ento
se voc conseguir pagar o seguro, ento voc poder
comprar uma motocicleta.
No o caso de, se voc interromper os estudos, ento
passar na disciplina e tambm conservar a sua bolsa
de estudos.
Se no formos cuidadosos e no trocarmos o leo do
motor frequentemente, ento o motor ir fundir
Se o seu toca-discos estragar, ento eu conseguirei
outro para voc, ou voc poder consert-lo

Proposies Verofuncionais
Tabelas verdade de proposies
complexas
Identifique o operador principal
Separe os grupos de proposies, de
modo a executar as proposies mais
internas primeiro

Proposies Verofuncionais
Proposies contingentes e no contingentes
Contingentes
Podem ter valores Verdadeiros e Falsos na coluna do
operador principal
Os valores verdade da proposio so contingentes, ou
dependem dos valores de verdade das partes
componentes, e no da sua forma lgica.

No Contingentes
Valores de verdade do operador principal no
dependem dos valores de verdade das partes
componentes, e dependem da sua forma lgica.
Compe as Tautologias e as Autocontradies

Proposies Verofuncionais
Tautologias
Uma proposio que necessariamente verdadeira,
devido sua forma lgica
O Luverdense vai ganhar, ou no vai ganhar o jogo.
No h necessidade de investigar o mundo, quaisquer que
sejam os fatores, o resultado ser sempre verdade
Pv~P

Algumas vezes a verdade funo da estrutura lgica,

e no da verdade dos fatos ou contedos
Tautologias no ensinam nada sobre o mundo, no
podem ser usadas como hipteses cientficas
Contudo, seu aprendizado serve para se identificar
situaes em que o contedo perde a importncia

Proposies Verofuncionais
Autocontradies
Uma proposio que necessariamente falsa,
devido sua forma lgica
O Luverdense vai ganhar, e no vai ganhar o jogo.
No h necessidade de investigar o mundo, quaisquer
que sejam os fatores, o resultado ser sempre falso
P.~P

Autocontradies no ensinam nada sobre o

mundo e, igualmente, no podem ser usadas
como hipteses cientficas
Contudo, seu aprendizado evidencia a
importncia de se evitar contradies.

Proposies Verofuncionais
Exerccios
Crie tabelas de verdade para determinar
se as proposies so contingentes,
tautologias ou autocontradies

P v (Q . ~Q)
P . (Q v ~Q)
(P v ~P) . Q
(R . ~R) (S v ~S)
~ (R V ~R) ~ (S v ~S)

Proposies Verofuncionais
Equivalncia Material
Relao bicondicional, que s
verdadeira quando ambos os
componentes tm o mesmo valor de
verdade, do contrrio, falsa.
(P Q) . (Q P)
Se voc comer vegetais, ento voc ganhar um
sorvete, e voc s ganhar um sorvete se voc
comer vegetais.

Smbolo - (se e somente se)

Proposies Verofuncionais
Tabela do uso do se
Se P, ento Q
Somente se P, Q
Q, se P
Q, Somente se P
Se Q, ento P
Somente se Q, P
Q, se e somente se P

P Q
Q P
P Q
Q P
Q P
P Q
Q P

Proposies Verofuncionais
Equivalncia Lgica
Proposies logicamente equivalentes
Tm tabelas de verdade idnticas

P Q / PvQ
~ (T . H) / ~ T v ~ H
~ (F v C) / ~ F . ~ C

Proposies Verofuncionais
Proposies Contraditrias
Duas proposies que tm valores de verdade
opostos em todas as linhas de suas respectivas
tabelas de verdade
O cu azul e o cu no azul
Hoje no segunda-feira ou amanh terafeira e Hoje segunda-feira ou amanh no
tera feira (so contraditrias ?)

Proposies Verofuncionais
Proposies Consistentes
Duas proposies que tm ao menos uma linha
de valores de verdade idnticas
Deve ser possvel que ambas sejam verdade
ao mesmo tempo
Robert tem mais de 30 anos ou Robert tem
mais de 40 anos (so consistentes ?)

Proposies Verofuncionais
Proposies Inconsistentes
Duas proposies em cujas linhas de valores
de verdade no haja uma em que ambos os
valores sejam verdadeiros
Deve ser impossvel que ambas as proposies
sejam verdade ao mesmo tempo

Robert tem mais de 30 anos e Robert

tem menos de 20 anos (so
inconsistentes ?)

Proposies Verofuncinais
Desafio
meio-dia e a me de Pedro precisa sair de casa, sendo
que no sabe a que horas ir voltar. Antes de sair,
porm, ela exige de Pedro que prometa quesechover,
entoele recolher a roupa do varal. Pedro
concorda. A me de Pedro sai. Entretanto, logo em
seguida, amigos de Pedro chegam e o convidam para
jogar futebol num campinho no muito prximo.
Como poder Pedro,ao mesmo tempo, ir jogar futebol
com os amigoseno descumprir o trato que fizera com
a me,independentementede que chova ou no?
Usar a traduo simblica de proposies e operadores para
determinar a soluo

Proposies Verofuncionais