Escolar Documentos
Profissional Documentos
Cultura Documentos
Conectivos Lgicos
Cleone Silva
cleone.lima@ifrn.edu.br
http://docente.ifrn.edu.br/cleonelima
Lgica Conceitos Bsicos
Aristteles se preocupava com as formas de raciocnio que, a partir de
conhecimentos considerados verdadeiros, permitiam obter novos
conhecimentos.
Exemplos:
a) O curso Pr-Fiscal fica em So Paulo.
b) O Brasil um Pas da Amrica do Sul.
c) A Bahia um estado do sul do Brasil.
Assim, temos:
1 Princpio da identidade
Uma proposio verdadeira verdadeira; uma proposio falsa falsa.
2- Princpio da no-contradio:
Uma proposio no pode ser verdadeira e falsa simultaneamente.
~~p
p q
q ~p
~p~q
p q
Tabela-Verdade
um instrumento usado para determinar os valores lgicos das proposies compostas,
a partir de atribuies de todos os possveis valores lgicos das proposies simples
componentes.
A primeira das tabelas abaixo apresenta duas proposies simples: p e q e a segunda,
trs proposies simples: p, q e r. As clulas de ambas as tabelas so preenchidas com
valores lgicos V e F, de modo a esgotar todas as possveis combinaes. O nmero de
linhas da tabela pode ser previsto efetuando o clculo: 2 elevado ao nmero de
proposies simples. Nos exemplos abaixo tem-se 22 = 4 linhas e 23 = 8 linhas.
p q r
V V V
V V F
p q V F V
V V V F F
V F F V V
F V F V F
F F V
F F
F F F
Operaes Lgicas
p q pq
V V V
V F F
F V F
F F F
Para assimilar...
p q pVq
V V V
V F V
F V V
F F F
Para assimilar...
Qual a diferena?
A segunda estrutura apresenta duas situaes mutuamente
excludentes, de sorte que apenas uma delas pode ser verdadeira, e
a restante ser necessariamente falsa. Ambas nunca podero ser,
ao mesmo tempo, verdadeiras; ambas nunca podero ser, ao
mesmo tempo, falsas.
Conectivo Ou ... ou ...:
Disjuno Exclusiva
Proposies compostas em que est presente o conectivo
Ou ... ou ...;
Simbolicamente representado por V.
Como se revela o valor lgico de uma disjuno exclusiva?
Uma disjuno exclusiva s ser verdadeira se obedecer mtua
excluso das sentenas. Falando mais fcil: s ser verdadeira se
houver uma das sentenas verdadeira e a outra falsa. Nos
demais casos, a disjuno exclusiva ser falsa.
Disjuno Exclusiva
Vejamos a tabela-verdade de uma disjuno
exclusiva.
p q pVq
V V F
V F V
F V V
F F F
Para assimilar...
p q pq
V V V
V F F
F V V
F F V
Dicas
Pedro ser rico condio suficiente para Maria ser mdica,
Pedro ser rico condio suficiente para Maria ser mdica igual a:
Se Pedro for rico, ento Maria mdica
Se algum disser que: Maria ser mdica condio necessria para que
Pedro seja rico, tambm poderemos traduzir isso de outra forma:
Maria ser mdica condio necessria para que Pedro seja rico igual a:
Se Pedro for rico, ento Maria mdica
No esqueam:
Uma condio suficiente gera um resultado necessrio.
Representao Matemtica
p q pq
V V V
V F F
F V F
F F V
Representao Matemtica