Documente Academic
Documente Profesional
Documente Cultură
LGICA
Introduo
A primeira qualidade do estilo a clareza.
Aristteles
Introduo
Aristteles considerado o precursor da
lgica.
Introduo
Alguns matemticos:
Leibniz (1646-1716)
Leonard Euler (1707-1783)
Augustus De Morgan (1806-1871)
George Boole (1815-1864)
Alfred North Whitehead (1861-1947)
Bertrand Russell (1872-1970)
Introduo
Claude E. Shannon:
Em 1938 mostrou a aplicao da lgebra
de Boole na anlise de circuitos de rels,
o que serviu de base para o
desenvolvimento da teoria dos
interruptores.
Introduo
A lgica :
o estudo da razo ou
o estudo do raciocnio.
Introduo
A lgica :
O estudo dos mtodos e princpios
usados para distinguir o raciocnio
correto do incorreto.
Irving
g Copi
p
Proposies e conectivos
Proposio:
Conjunto de palavras ou smbolos que
exprimem um pensamento de sentido
completo.
((ALENCAR FILHO,, 2002))
Proposies e conectivos
Proposio:
uma sentena declarativa que pode ser
como verdadeira ou falsa.
Cristvo Colombo descobriu o Brasil.
Proposies e conectivos
Proposio:
No pode ser ambgua. Suscitar dvida.
Eu vi uma foto sua no metr.
Proposies e conectivos
Proposio:
No pode ser ambgua. Suscitar dvida.
Eu vi uma foto sua no metr.
Quem estava no metr? Eu ou voc?
Leis fundamentais
I. Princpio da identidade: todo objeto
idntico a si mesmo.
Leis fundamentais
I. Princpio da identidade: todo objeto
idntico a si mesmo.
II. Princpio da no contradio: uma
proposio no pode ser verdadeira e
falsa ao mesmo tempo.
Leis fundamentais
I. Princpio da identidade: todo objeto
idntico a si mesmo.
II. Princpio da no contradio: uma
proposio no pode ser verdadeira e
falsa ao mesmo tempo.
III. Princpio do terceiro excludo: toda
proposio ou verdadeira ou falsa.
Leis fundamentais
I. Princpio da identidade: todo objeto
idntico a si mesmo.
II. Princpio da no contradio: uma
proposio no pode ser verdadeira e
falsa ao mesmo tempo.
III. Princpio do terceiro excludo: toda
proposio ou verdadeira ou falsa.
A lgica matemtica uma lgica
bivalente.
Interatividade
Qual das alternativas abaixo verdadeira:
a) Cos /2 = 0
b) Cervantes escreveu os Sertes.
c) O nmero 17 um nmero igual 29.
d) O sol gira em torno da terra.
e) 0! = 0
Conectivos
Definio:
Chamam-se conectivos as palavras que se
usam para formar novas proposies a
partir de outras.
((ALENCAR FILHO,, 2002))
Conectivos
Exemplos:
p) O nmero 10 par e o nmero 27 impar.
q) O quadriltero ABCD retngulo ou
quadrado.
r) No est quente.
quente
s) Se Roberto fsico, ento sabe
matemtica.
t) O tringulo ABC equiltero se e
somente se equingulo.
Tabela-verdade
Considerando o princpio do terceiro
excludo a proposio simples p ter a
seguinte representao tabular:
p
V
F
chamada Tabela-verdade.
Tabela-verdade
O valor lgico de qualquer proposio
composta depende unicamente dos valores
lgicos das proposies simples
componentes, ficando por eles
univocamente determinado.
(ALENCAR FILHO, 2002)
Tabela-verdade
Exemplo com duas proposies simples:
Tabela-verdade
Exemplo com trs proposies simples:
Interatividade
Construa a tabela-verdade para uma
proposio composta P (p, q, r, s) e
determine a quantas linhas ela possui:
a) 16 linhas.
b) 32 linhas.
c) 64 linhas.
d) 128 linhas.
e) 256 linhas.
~p
e ~p: 3 + 3 6
q: 10 < 4
e ~q: 10 > 4
q:
3<7 (V)
q:
q:
9 - 4 = 5 (V)
q:
= 3 (F)
Maria alagoana
q:
Maria gacha
q:
q:
q:
Interatividade
Escreva a sentena abaixo utilizando a
notao proposta para as proposies
simples e seus conectivos:
Ou voc gordo ou voc magro.
a) p: voc gordo; q: voc magro; p v q.
b) p: voc no gordo; q: voc magro;
p v q.
c) p: voc gordo; q: voc no magro;
p v q.
d) p: voc
gordo;
d q: voc
magro; p
q.
~(p q)
~ p ~ q
~(p v q)
~ p ~ q
~(V v F)
~ V ~ F
~(p v q)
~ p ~ q
~(V v F)
~ V ~ F
~V
FV
~(p v q)
~ p ~ q
~(V v F)
~ V ~ F
~V
FV
P (p, q) =
~(p v q)
~ p ~ q
~(V v F)
~ V ~ F
~V
FV
(F (F ~V)) v ((~F
(F (F ~V)) v ((~F
(F (F F)) v ((V V) F)
(F (F ~V)) v ((~F
(F (F F)) v ((V V) F)
(F V) v (V F)
(F (F ~V)) v ((~F
(F (F F)) v ((V V) F)
(F V) v (V F)
FvF
(F (F ~V)) v ((~F
(F (F F)) v ((V V) F)
(F V) v (V F)
FvF
F
Tautologia, contradio e
contingncia
Definio:
Tautologia toda proposio composta
P(p, q, r,...) cujo valor lgico sempre V
(verdade), quaisquer que sejam os
valores lgicos das proposies simples
p, q, r,... Que a compe.
Tautologia, contradio e
contingncia
Exemplo:
A proposio p ( q ~ q) p
tautolgica, conforme mostra a tabelaverdade:
Tautologia, contradio e
contingncia
Exemplo:
A proposio p r ~q r tautolgica,
conforme mostra a tabela-verdade:
Tautologia, contradio e
contingncia
Definio:
Contradio toda proposio composta
P(p, q, r,...) cujo valor lgico sempre F
(falso), quaisquer que sejam os valores
lgicos das proposies simples p, q, r,...
que a compe.
Tautologia, contradio e
contingncia
Exemplo:
A proposio p ~p contraditria,
conforme mostra a tabela-verdade:
Tautologia, contradio e
contingncia
Exemplo:
A proposio (p q) (~ p q)
contraditria, conforme mostra a tabelaverdade:
Tautologia, contradio e
contingncia
Definio:
Contingncia toda proposio
composta P(p, q, r,...) cujo valor lgico
depende dos valores lgicos das
proposies simples p, q, r,... que a
compe.
Tautologia, contradio e
contingncia
Exemplo:
A proposio (p q) (~ p q)
contraditria, conforme mostra a tabelaverdade, porm, as colunas
intermedirias so contingncias.
Interatividade
Qual das proposies compostas abaixo
tautolgica.
a) [(p q) ( q p)] (p q).
b) (p q) ( q p).
c) p q.
q
d) p v q.
e) q q.
AT A PRXIMA!