RACIOCNIO LGICO

MATEMTICO

Lgica Clssica
Princpios:
Terceiro Excludo
Uma estrutura lgica s pode ser
considerada verdadeira (V) ou falsa (F), no
existindo uma terceira possibilidade.
No contradio
Uma estrutura lgica no pode ser
verdadeira e falsa ao mesmo tempo.
Proposio:
Expresso declarativa, afirmativa,
com valor lgico (VL)

VALOR LGICO
VERDADEIRO (V) FALSO (F)
Exemplos de Proposies
A: Pedro gosta de brincar
B: A lua quadrada
C: 1+1=10
D: A lua quadrada.
E: 2+3=5.

No so proposies
sentenas exclamativas:
Feliz aniversrio!
sentenas interrogativas:
Qual o seu nome?
sentenas imperativas:
Estude mais.

Argumento
Composto por premissas e concluso

Dedutivo: V das premissas garante V
da concluso

Indutivo: V das premissas no garante
V da concluso

Proposies compostas:
Conectivos Lgicos
e
ou
ou, ou
se, ento
se, somente se

Exemplos de proposies compostas:
A lua quadrada e 2+3=5.
Vendo um carro ou uma moto.
Ou trabalho ou estudo.
Se voc estudar, ento passa.
Trabalho se, somente se, ganho dinheiro.


Proposies compostas:
Conectivos Lgicos
e
ou
ou, ou
se, ento
se, somente se

Smbolos
^
v
v


Operadores Lgicos
Para negar uma proposio
simples, utilizamos o operador
lgico no
Operador lgico no ()
Proposio composta codificada:

A ^ B: Msica arte e natao um bom esporte
A v B: Msica arte ou natao no um bom esporte
A v B: Ou msica arte ou natao um bom esporte
A B: Se msica arte, ento natao um bom esporte
A B: Msica s arte se natao for um bom esporte



A: Msica arte
B: Natao um bom esporte

Conjuno: e






A B A ^ B
V V V
V F F
F V F
F F F
A conjuno s verdadeira se as proposies
simples forem ambas verdadeiras.






Valor lgico das proposies compostas:
Valor lgico das proposies compostas:
Disjuno






A B A v B
V V V
V F V
F V V
F F F
A disjuno inclusiva s
falsa quando os valores
lgicos das proposies
simples forem ambos
falsos





Inclusiva: ou






Exclusiva: ou, ou






A B A v B
V V F
V F V
F V V
F F F
A disjuno exclusiva
verdadeira quando os
valores lgicos das
proposies simples so
diferentes e falsa quando
os valores lgicos so
iguais.




Valor lgico das proposies compostas:
A B A B
V V V
V F F
F V V
F F V
A condicional s falsa
quando o antecedente
verdadeiro e o
consequnte falso





Condicional:
Se A, ento B






Bicondicional:
A se, somente se, B







A B A B
V V V
V F F
F V F
F F V
A bicondicional
verdadeira quando os
valores lgicos das
proposies simples so
iguais e falsa quando os
valores lgicos diferentes.


Na condicional Se A ento B
A condio suficiente para B e
B condio necessria para A
Na bicondicional A se, s se B
A condio necessria e
suficiente para B
A negao de uma proposio tem
valor lgico contrrio ao valor da
proposio original.
A A
V F
F V
Tabela-verdade:
A B A ^ B A v B A v B A B A B
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V
A A
V F
F V
Considere as sentenas abaixo:
I - O Professor Estevo simptico.
II - O Brasil um pas da Amrica do Norte.
III - Que belo dia !
IV - Que horas so?
V - Faa seu trabalho com dedicao.
VI - Limpe o quarto.
VII - 2 + 1 > 4
VIII - Ele estuda lgica.
So proposies:
a) I, VI e VII b) I, II, e VIII c) II, V e VII
d) I, II e VII e) III, IV, V
Se trabalhar, ganha dinheiro. Logo:

a) necessrio trabalhar para ganhar dinheiro
b) necessrio no ganhar dinheiro para
trabalhar
c) suficiente no ganhar dinheiro para
trabalhar
d) suficiente trabalhar para ganhar dinheiro
e) necessrio ganhar dinheiro para no
trabalhar