1a Aula Parte2 Calculo - Propositionsl 2016.02.26 v4

Lgica em Computao
.: Calculo Proposicional :.
Prof. Lus Rodrigo
{luisrodrigoog@gmail.com}
[http://lrodrigo.ddns.net/]
Prof. Luis Rodrigo

Lgica em Computao
luisrodrigoog@gmail.com Petrpolis, 26 de Fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1.0
Proposio
e Conectivos
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1.0
Proposio Simples
Uma proposio simples (ou enunciado, ou sentena), uma
declarao que exprime um pensamento com sentido completo.
A Lua um satlite da Terra.
Scrates um homem.
Eu estudo Lgica.
Todos os homens so mortais.
Elas so constitudas por (i) um sujeito, (ii) um verbo, (iii) e seus

complementos.
Proposies como se no chover, vou praia, ou vou aprender

a dirigir e comprar um carro so chamadas proposies
compostas, e so o resultado de operaes sobre proposies
simples.
Prof. Luis Rodrigo

Lgica em Computao
luisrodrigoog@gmail.com Slide 3 de 72 Petrpolis, 26 de fevereiro de 2016
Verso: 1
Proposio Simples
O valor lgico (VL) associa a cada proposio simples:
verdadeiro - V - T
falso - F
Logo, podemos dizer que:

A Lua o satlite da Terra.
Pedro lvares Cabral descobriu o Brasil.
So verdadeiras, e valor lgico V;
J as proposies:
Dante escreveu Os Lusadas.
O Brasil uma monarquia.
So claramente falsas, e portanto assumem o valor lgico F.
Prof. Luis Rodrigo
Lgica em Computao
Verso: 1
Proposio Simples
O objeto de estudo da Lgica examinar o relacionamento entre as
proposies, em decorrncia dos seus valores lgicos.
De acordo com os Princpios da Lgica, podemos afirmar que:
Toda proposio necessariamente verdadeira ou falsa, no

existindo outra possibilidade.
Nenhuma proposio pode ser verdadeira e falsa
simultaneamente.
Toda proposio verdadeira sempre verdadeira, no
podendo ser ora verdadeira ora falsa.
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Proposio Simples
Em linguagem simblica, costumamos representar as proposies
simples pelas letras p, q, r, s, t, etc.
Assim, se fizermos as seguintes representaes:

p A Lua o satlite da Terra.
q Pedro lvares Cabral descobriu o Brasil.
r Dante escreveu Os Lusadas.
s O Brasil uma monarquia.
Podemos escrever:
VL [ p ] = V
VL [ q ] = V
VL [ r ] = F
VL [ s ] = F
Prof. Luis Rodrigo
Lgica em Computao
Verso: 1
Proposio Compostas e Conectivos
As proposies compostas so obtidas combinando proposies
simples atravs dos conectivos.
A Lgica dispe de cinco conectivos:

e,
ou,
no,
se ento,
se e somente se.
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Exemplos de proposies compostas:
Joo magro e Jos alto.

Mrio foi ao cinema, Joo foi ao teatro e Marcelo ficou em
casa.
Maria foi praia ou ao mercado.
Mrio foi ao cinema ou Marcelo ficou em casa.
A Lua no o satlite da Terra.
Se a chuva continuar a cair, ento o rio vai transbordar.
Se Joo estudar, ser aprovado.
Joo ser aprovado se e somente se estudar.
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
A ao de combinar proposies chamada operao
Os conectivos so chamados operadores e so representados por

smbolos abaixo:
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Para determinar se uma proposio composta verdadeira ou falsa,

dependeremos de duas coisas:
1o) do valor lgico das proposies componentes; e
2o) do tipo de conectivo que as une.
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Operaes e
Conectivos
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1.0
Conjuno
Conjunes so proposies compostas que possuem o conectivo e

Simbolicamente, esse conectivo pode ser representado por .
Por exemplo, a sentena:

Marcos mdico e Maria estudante
Pode ser representada por: pq.
onde:
p = Marcos mdico
q = Maria estudante.

Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Conjuno
Uma conjuno somente ser verdadeira, se ambas as proposies

componentes forem verdadeiras.
Logo a sentena:
Marcos mdico e Maria estudante,
Ser verdadeira se:

Marcos mdico Verdade
Maria estudante Verdade
Se pelo menos uma das sentena for Falsa a conjuno ser Falsa.
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Conjuno
Essas concluses podem ser resumidas em uma pequena tabela,
denominada tabela-verdade
Tabela verdade:
de fcil construo e de fcil entendimento.
contem todos os valores (V e F) que as posies podem assumir
assim como o Valor Lgico da proposio composta.
a quantidade de linhas da tabela verdade igual a dois (2) elevado
a quantidade de sentenas que formam a posio composta.
a quantidade de linhas = 2^n+1
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Conjuno
Retomemos nossas proposio

Marcos mdico e Maria estudante
Ela pode ser decomposta nas premissas:

p = Marcos mdico
q = Maria estudante.
Como temos apenas duas premissas, p q pq

nossa tabela verdade ter 22+1linhas, V V V
ou seja 5 linhas V F F
F V F
F F F
Prof. Luis Rodrigo
Lgica em Computao
Verso: 1
Conjuno
Um conjuno s ser verdadeira,

quando ambas as partes que a
compem tambm forem p q pq
verdadeiras. E falsa nos demais V V V
casos. V F F
F V F
F F F
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Conjuno
Se as proposies p e q forem representadas como conjuntos, em vez

da tabela utilizamos um diagrama;
A conjuno p e q corresponder interseo do conjunto p com o

conjunto q.
Teremos:
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Construindo uma tabela verdade
A quantidade de possibilidade de valores de uma tabela verdade
depende da quantidade de sentenas que compes a proposio;
A quantidade de possibilidade dado por 2^n onde n a

quantidade de proposies
A quantidade de linhas da tabela igual a quantidade de

possibilidades mais (2^n+1)
A quantidade de colunas, tambm depende da quantidade de

proposies.
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Por exemplo, quando trabalhamos com proposies formadas por
duas premissas, nossa tabela ser formada por trs colunas
2 para as premissas
1 para concluso
Supondo uma sentena formada por:

2 sentenas ( p , q )
e 1 conectivo ( ^ )
Nossa Tabela ter:

Linhas = 2^n+1 = 2^2 +1 = 4 +1 = 5
Colunas = 2 sentenas + 1 Concluso = 3
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Para as colunas temos as seguintes regras:
1. Dispor as proposies componentes em ordem alfabtica.
2. Dispor as operaes na ordem de precedncia (???)
3. A ultima coluna ser a concluso
p q pq
ps: O segundo passo ser estudado no futuro
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Para as linhas temos as seguintes regras:
1. Alternar V e F para a coluna do ltimo
componente.
2. Alternar VV e FF para a coluna do penltimo
componente.
3. Alternar VVVV e FFFF para a coluna do
antepenltimo componente.
4. Prosseguir dessa forma, se houver mais p q pq
componentes, sempre dobrando o numero de Vs
e Fs para cada coluna esquerda. V V V
V F F
F V F
F F F
Prof. Luis Rodrigo
Lgica em Computao
Verso: 1
Disjuno
Recebe o nome de Disjuno toda proposio composta em que as

partes estejam unidas pelo conectivo ou.
Simbolicamente, representaremos esse conectivo por .
Por exemplo, temos a sentena:

Marcos mdico ou Maria estudante
Que a representaremos por:

pq
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Disjuno
Uma disjuno ser falsa quando as duas partes que a

compem forem falsas!
E nos demais casos, a disjuno ser verdadeira!
Desta forma, a tabela verdade da Disjuno ser:

p q pq
V V V
V F V
F V V
F F F
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Disjuno
Se as proposies p e q forem representadas como

conjuntos por meio de um diagrama, a disjuno p ou
q corresponder unio do conjunto p com o
conjunto q,
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Disjuno Exclusiva
H um tipo de proposio composta, bem parecido com a disjuno
que acabamos de ver, mas com uma pequena diferena.
Comparemos as duas sentenas abaixo:

Te darei uma bola OU te darei uma bicicleta
OU te darei uma bola OU te darei uma bicicleta
A diferena sutil, mas importante.
Na primeira sentena se a primeira parte for verdade, isso no

impedir que a segunda parte tambm o seja.
J na segunda proposio, se for verdade que te darei uma bola,

ento no ser dada a bicicleta. E vice-versa.
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Disjuno Exclusiva
A segunda estrutura apresenta duas situaes mutuamente excludentes
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.
Este tipo de construo uma Disjuno Exclusiva
A presena dos dois conectivos ou, determina que uma sentena

necessariamente verdadeira, e a outra, necessariamente falsa.
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Disjuno Exclusiva
Uma Disjuno Exclusiva s ser verdadeira se houver

uma das sentenas verdadeira e a outra falsa.
Nos demais casos, a disjuno exclusiva ser falsa.

O smbolo que designa a disjuno exclusiva o V.
p q pq
E a tabela-verdade ser,: V V F
V F V
F V V
F F F
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Condicional
So exemplo de sentenas condicionais:
Se Pedro mdico, ento Maria dentista.
Se amanhecer chovendo, ento no irei praia.
Se nasci em Petrpolis, ento sou petropolitano.
S h uma forma da sentena ser falsa, quando a primeira parte for

verdadeira e a segunda for falsa.
Suponha o sentena:
Se nasci em Petrpolis, ento sou carioca.
A primeira parte verdadeira, mas a segunda falsa, logo a

condicional falsa
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Condicional
Independentemente dos exemplos utilizados, a primeira parte da
condicional uma condio que deve ser suficiente para obteno de
um resultado necessrio.
Se algum afirmar que:

Pedro ser rico condio suficiente para Maria ser mdica
Ento podemos reescrever essa sentena, usando o formato da

condicional.
Se Pedro for rico, ento Maria mdica
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Condicional
A sentena condicional :
Se p, ento q
representada por uma seta:

p!q
Na proposio Se p, ento q,
a proposio p denominada de antecedente,
enquanto a proposio q dita conseqente.
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Condicional
Uma Condicional s ser falsa quando houver a

condio suficiente, mas o resultado necessrio no
se confirmar.
Ou seja, quando a primeira parte for verdadeira, e a

segunda for falsa.
p q p!q
Nos demais casos, a condicional ser verdadeira. V V V
V F F
F V V
F F V
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Condicional

conjuntos por meio de um diagrama, a proposio
condicional Se p ento q corresponder incluso
do conjunto p no conjunto q (p est contido em q):
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Bicondicional
Este conectivo pode ser representado como:
se e somente se
So de proposies Bicondicionais:
Eduardo fica alegre se e somente se Mariana sorri.
As sentenas abaixo possuem o mesmo significado

Eduardo fica alegre somente se Mariana sorri e Mariana
sorri somente se Eduardo fica alegre.
Se Eduardo fica alegre, ento Mariana sorri e se Mariana
sorri, ento Eduardo fica alegre.
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Bicondicional
A Bicondicional uma conjuno entre as duas proposies
condicionais:
Eduardo fica alegre somente se Mariana sorri e Mariana sorri

somente se Eduardo fica alegre.
Se Eduardo fica alegre, ento Mariana sorri e se Mariana sorri,

ento Eduardo fica alegre.
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Bicondicional
H duas situaes em que a bicondicional ser verdadeira:
Quando antecedente e consequente forem, ambos,

Verdadeiros
Quando antecedente e consequente forem, ambos, Falsos
Nos demais casos, a bicondicional ser falsa.
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Bicondicional
Uma Bicondicional:
p se e somente se q
representada por:
pq
p q pq
E sua tabela verdade ser:
V V V
V F F
F V F
F F V
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Condicional

conjuntos por meio de um diagrama, a proposio
bicondicional p se e semente se q corresponder
igualdade dos conjunto p e q:
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Partcula No - Negao
Este partcula, um operador unrio que permite negar uma
proposio
Negar uma proposio, significa inverter o seu valor lgico.
Exemplos de Negaes:
Joo mdico. Negativa: Joo no mdico.
Maria estudante. Negativa: Maria no estudante.
Caso a sentena original j possua uma negativa, ento para negar a

negativa, teremos que excluir a partcula no.
Joo no mdico. Negativa: Joo mdico.
Maria no estudante. Negativa: Maria estudante.
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Partcula No - Negao
Podem-se empregar, tambm, como equivalentes de "no A", as
seguintes expresses:
No verdade que A.
falso que A.
Da as seguintes frases so equivalentes:

Lgica no fcil.
No verdade que lgica fcil.
falso que lgica fcil.
Os smbolo que representam a negao so:

uma pequena cantoneira ()
ou um sinal de til (~), antecedendo a frase.
usaremos o til (~)
Prof. Luis Rodrigo
Lgica em Computao
Verso: 1
Negando uma proposio conjuntiva
Negando uma proposio conjuntiva:
~(p q)
Para negar uma proposio conjuntiva devemos:
1) Negaremos a primeira parte (~p);
2) Negaremos a segunda parte (~q);
3) Trocaremos e por ou.
Traduzindo para a linguagem da lgica, dizemos que:
~(p q) = ~p V ~q
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
A igualdade das duas proposies pode ser comprovada, por meio da
comparao das tabelas verdades
Primeiro vamos calcular ~(p q):
p q (p q) ~(p q)
V V V F
V F F V
F V F V
F F F V
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Em seguida calculamos ~ p V ~ q:
p q ~p ~q ~pV~q
V V F F F
V F F V V
F V V F V
F F V V V
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Por meio da comparao da ultima coluna, ou do resultado, de
ambas as tabelas podemos concluir que as proposies:
~(p q)
~p V ~q
Possuem o mesmo resultado lgico
Quando duas proposies possuem em suas coluna resultado os

mesmos valores podemos dizer que elas so equivalentes
Logo, para provar a equivalncia lgica entre das proposies

devemos comparar a ultima coluna de suas tabelas verdade.
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Negando uma proposio disjuntiva
Para negar uma proposio no formato de disjuno (p ou q)
1) Negaremos a primeira parte (~p);

2) Negaremos a segunda parte (~q);
3) Trocaremos OU por E.
Ou seja:
~(p V q) = ~p ~q
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Construindo as tabelas verdade temos:
p q pVq ~(pVq) p q ~p ~q ~p^~q

V V V F V V F F F
V F V F V F F V F
F V V F F V V F F
F F F V F F V V V
~(pVq) ~p^~q
F F
F F
F F
V V
Prof. Luis Rodrigo
Lgica em Computao
Verso: 1
Negando uma proposio condicional
Para negar uma proposio condicional (p ! q)
1) Mantm-se a primeira parte; e

2) Nega-se a segunda parte.
Ou seja:
~(p!q) = p~q
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Negando uma proposio condicional
Por exemplo:
A preposio Se chover, ento levarei o guarda-chuva
Realizando a negao:
Mantendo a primeira parte: Chove E
Negando a segunda parte: eu no levo o guarda-chuva.
O Resultado final ser:

Chove e eu no levo o guarda-chuva.
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Construindo as tabelas verdade temos:
p q p!q ~(p!q) p q p ~q p^~q

V V V V
V F V F
F V F V
F F F F
~(pVq) ~p^~q
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Negando uma proposio - Resumindo
Resumindo as equivalencias
Proposio Negao Equivalencia

(p^q) ~(p^q) ~p V ~q
(pVq) ~(pVq) ~p ^ ~q
(p!q) ~(p!q) p ^ ~q
(pq) ~(pq) (p^~q)V(q^~q)
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Odem de
precedncia
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1.0
Ordem de Precedencia
Com o uso dos conectivos podemos criar proposies compostas

como por exemplo:
Se o deficit persistir e a arrecadao no aumentar, ento ou

aumentamos os impostos ou haver inflao
Que pode ser representadas pelas letras proposicionais:

p o deficit persistir
q a arrecadao aumentar
r aumentamos os impostos
s haver inflao
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedencia
Se o deficit persistir e a arrecadao no aumentar, ento ou

aumentamos os impostos ou haver inflao
E a proposio, acima, pode ser representada da seguinte forma:
pqrs
Antes de determinarmos o valor (V/F) de uma proposio composta
devemos determinar a precedncia dos conectivos
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedncia
A ordem de precedncia dos conectivos :

1.
2. ,
3.
4.
Essa ordem de precedncia indica que:
A negao a primeira a ser executada;
em seguida, as operaes de conjuno e disjuno na ordem em
que estiverem dispostas;
depois deve ser executada a operao de condicionamento, e,
por fim, a de bicondicionamento.
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedncia
Padronizaremos o processo de avaliao do valor de uma

proposio da seguinte forma:
1) Percorra a expresso da esquerda para a direita, executando as

operaes de negao, na ordem em que aparecerem.
2) Percorra novamente a expresso, executando as operaes de
conjuno e disjuno, na ordem em que aparecerem.
3) Percorra outra vez a expresso, executando desta vez as
operaes de condicionamento, na ordem em que aparecerem.
4) Percorra uma ltima vez a expresso, da esquerda para a direita,
executando as operaes de bicondicionamento, na ordem em
que aparecerem.
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedncia
Dessa forma, as operaes da expresso:
pqrs
Sero executadas na seguinte ordem:
pqrs
2 1 4 3
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedncia
Em alguns casos podemos utilizar parntese para facilitar a
indicao da precedncia das proposies e evitar mal
entendidos.
Por Exemplo: (pq(rs)) t
Quando utilizamos parnteses, podemos utilizar o seguinte algoritmo:

(1) Percorra a expresso at encontrar o primeiro ).
(2) Volte at encontrar o ( correspondente, delimitando
assim um trecho da expresso sem parnteses.
(3) Execute o Algoritmo Ordem de Precedncia sobre a
expresso delimitada.
(4) Elimine o par de parnteses encontrado.
(5) Repita o processo
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedncia
Aplicando o algoritmo anterior proposio a seguir
(pq(rs)) t
Obteremos a seguinte ordem
(pq(rs)) t
4 3 1 2 6 5
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Tabela
Verdade
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1.0
Ordem de Precedncia
Desenvolva a tabela verdade da expresso proposicional:
pqpq
p q pq pq pqpq
V V
V F
F V
F F
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedncia
pqpq
p q pq pq pqpq
V V V
V F V
F V V
F F F
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedncia
pqpq
p q pq pq pqpq
V V V V
V F V F
F V V F
F F F F
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedncia
pqpq
p q pq pq pqpq
V V V V V
V F V F F
F V V F F
F F F F V
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedncia
(p q) ((p r) r)
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedncia
(p q) ((p r) r)
p q r pq pr r (p r) r ((p r) r) (p q) ((p r) r)
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedncia
(p q) ((p r) r)
V V V V
V V F V
V F V F
V F F F
F V V V
F V F V
F F V V
F F F V
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedncia
(p q) ((p r) r)
V V V V V
V V F V F
V F V F V
V F F F F
F V V V F
F V F V V
F F V V F
F F F V V
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedncia
(p q) ((p r) r)
V V V V V F
V V F V F V
V F V F V F
V F F F F V
F V V V F F
F V F V V V
F F V V F F
F F F V V V
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedncia
(p q) ((p r) r)
V V V V V F F
V V F V F V V
V F V F V F F
V F F F F V V
F V V V F F V
F V F V V V V
F F V V F F V
F F F V V V V
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedncia
(p q) ((p r) r)
V V V V V F F V
V V F V F V V F
V F V F V F F V
V F F F F V V F
F V V V F F V F
F V F V V V V F
F F V V F F V F
F F F V V V V F
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedncia
(p q) ((p r) r)
V V V V V F F V V
V V F V F V V F V
V F V F V F F V V
V F F F F V V F F
F V V V F F V F V
F V F V V V V F V
F F V V F F V F V
F F F V V V V F V
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Ordem de Precedncia
Desenvolva a tabela verdade das expresses proposicionais:

(pq(rs)) t
pqrs
~(p v ~q)
(p~q) V (q~p)
(p ~q) (q v ~r)
p v ~r q ^ ~r
p (q s ^ r)
Prof. Luis Rodrigo

Lgica em Computao
Verso: 1
Prof. Luis Rodrigo
Lgica em Computao
Verso: 1.0

1a Aula Parte2 Calculo - Propositionsl 2016.02.26 v4

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

1a Aula Parte2 Calculo - Propositionsl 2016.02.26 v4

Hochgeladen von

Copyright:

Verfügbare Formate

Lgica em Computao

Prof. Luis Rodrigo

Prof. Luis Rodrigo

Elas so constitudas por (i) um sujeito, (ii) um verbo, (iii) e seus

Proposies como se no chover, vou praia, ou vou aprender

Prof. Luis Rodrigo

Logo, podemos dizer que:

De acordo com os Princpios da Lgica, podemos afirmar que:

Toda proposio necessariamente verdadeira ou falsa, no

Prof. Luis Rodrigo

Assim, se fizermos as seguintes representaes:

A Lgica dispe de cinco conectivos:

Prof. Luis Rodrigo

Joo magro e Jos alto.

Prof. Luis Rodrigo

Os conectivos so chamados operadores e so representados por

Prof. Luis Rodrigo

Para determinar se uma proposio composta verdadeira ou falsa,

1o) do valor lgico das proposies componentes; e

2o) do tipo de conectivo que as une.

Prof. Luis Rodrigo

Prof. Luis Rodrigo

Por exemplo, a sentena:

Pode ser representada por: pq.

Prof. Luis Rodrigo

Uma conjuno somente ser verdadeira, se ambas as proposies

Ser verdadeira se:

Prof. Luis Rodrigo

Prof. Luis Rodrigo

Retomemos nossas proposio

Ela pode ser decomposta nas premissas:

Como temos apenas duas premissas, p q pq

Um conjuno s ser verdadeira,

Prof. Luis Rodrigo

Se as proposies p e q forem representadas como conjuntos, em vez

A conjuno p e q corresponder interseo do conjunto p com o

Prof. Luis Rodrigo

A quantidade de possibilidade dado por 2^n onde n a

A quantidade de linhas da tabela igual a quantidade de

A quantidade de colunas, tambm depende da quantidade de

Prof. Luis Rodrigo

Supondo uma sentena formada por:

Nossa Tabela ter:

Prof. Luis Rodrigo

ps: O segundo passo ser estudado no futuro

Prof. Luis Rodrigo

Recebe o nome de Disjuno toda proposio composta em que as

Simbolicamente, representaremos esse conectivo por .

Por exemplo, temos a sentena:

Que a representaremos por:

Prof. Luis Rodrigo

Uma disjuno ser falsa quando as duas partes que a

E nos demais casos, a disjuno ser verdadeira!

Desta forma, a tabela verdade da Disjuno ser:

Prof. Luis Rodrigo

Se as proposies p e q forem representadas como

Prof. Luis Rodrigo

Comparemos as duas sentenas abaixo:

Na primeira sentena se a primeira parte for verdade, isso no

J na segunda proposio, se for verdade que te darei uma bola,

Prof. Luis Rodrigo

Apenas uma delas pode ser verdadeira, e a restante ser

Ambas nunca podero ser, ao mesmo tempo, verdadeiras;