SlideShare ist ein Scribd-Unternehmen logo
1 von 8
Downloaden Sie, um offline zu lesen
Faculdade          SISTEMAS DE INFORMAÇÃO
                                     SI11 LÓGICA




               MÓDULO I

                 INTRODUÇÃO




Professor Newton Marquez Alcantara
                                                   1
1. O que é a Lógica? – Rapidamente, podemos dizer que a Lógica versa sobre os
princípios da inferência correta. Inferência, por sua vez, é o processo que nos permite partir de
coisas, fatos ou afirmações já conhecidas (premissas) e concluir algo novo, ainda não
conhecido.
Exemplo: Premissas: - Pedro, sempre que pode, joga futebol aos domingos
                          - Hoje é domingo
                          - O tempo está bom
                          - Pedro já terminou os trabalhos da Faculdade
            Conclusão: - Pedro vai jogar futebol (portanto não adianta convidá-lo para pescar)
O processo mental que nos levou das premissas à conclusão é que é denominado de inferência.

Historicamente, o estudo formal dos princípios da inferência correta começou com os gregos,
culminando em uma obra denominada de Organom que significa “instrumentos da ciência”.
Esta obra, que é considerada o marco inicial desta área do conhecimento, é uma coletânea de
trabalhos do filósofo Aristóteles feita pelos seus alunos após a sua morte.

O nosso objeto de estudo é a lógica de primeira ordem. Este assunto é de fundamental
importância para a Ciência da Computação por estar presente na definição e manipulação de
banco de dados relacionais, linguagens de programação e ser o principal alicerce para o projeto
de processadores.



2. Proposições e Conectivos
2.1. Sentença – É toda estrutura lingüística que exprime um pensamento completo.
Exemplos:
a) A terra é redonda
b) 2 + 2 = 4
c) A lua é feita de queijo verde.
d) Que horas são?
e) Feche a porta!
f) Oba!

As sentenças “a”, “b” e “c” são ditas sentenças declarativas, visto que afirmam ou declaram
algo. A sentença “d” é uma sentença interrogativa, a sentença “e” é uma sentença imperativa
(uma ordem ou comando) e a sentença “f” é uma exclamação.
As sentenças que nos interessam são as sentenças declarativas, também designadas de
proposições. A estas sentenças nós podemos atribuir os valores lógicos de verdade (V) ou
falsidade (F).




                                                                                               2
Exemplos:
Vv (“a terra é redonda”) = Verdade
Vv (“2 + 2 = 4”) = Verdade
Vv (“a lua é feita de queijo”) = Falsidade
Vv (“o quadrado é uma figura de três lados”) = Falsidade
Observação: Leremos o símbolo “Vv” como “valor verdade”. Portanto, “Vv (‘2 + 2 = 4’) =
Verdade” significa “o valor verdade da proposição “2 + 2 = 4” é a verdade. Já “Vv (‘O Sol é
um planeta’) = Falsidade”, significa “o valor verdade da proposição “O Sol é um planeta” é a
falsidade.

Os valores de verdade e falsidade são representados por “V” e “F” ou “1” e “0”, significando:
       Valor lógico de verdade     – “V” ou “1”
       Valor lógico de falsidade – “F” ou “0”

2.2. Axiomas – Axiomas são afirmações que consideramos verdadeiras sem necessidade de
demonstrar tal fato. Axiomas da Lógica:
Axioma da não Contradição – Uma proposição não pode, simultaneamente, ser verdadeira e
falsa. Ou seja, uma proposição não pode assumir os dois valores (verdade ou falsidade) ao
mesmo tempo.
Axioma do Terceiro Excluído – Uma proposição somente pode ser verdadeira ou falsa, não
havendo uma terceira alternativa.

2.3. Proposições Simples – Uma proposição simples é aquela formada por uma única sentença
declarativa. As proposições simples serão designadas por letras minúsculas como “p”, “q”, “r”,
“s” etc.

Exemplo:
p = “Pedro joga futebol”
q = “Maria é engenheira”
r = “2 + 3 > 1 + 3”

2.4. Proposições Compostas – Uma proposição é dita composta quando é formada por mais
de uma proposição simples unidas por conectivos. Uma proposição composta é designada por
letras Maiúsculas como “P”, “Q”, “R”, “S” etc.
Exemplos:
a) P (p, q) = Pedro é goiano ou Pedro é mineiro.
Temos duas proposições simples, a proposição p = “Pedro é goiano” e a proposição
q = “Pedro é mineiro”. A proposição composta “P(p, q)” é construída com o auxílio do
conectivo “ou”, que é designado pelos símbolos “ + ” ou “  ”. Simbolicamente poderíamos
representar: P (p, q) = p  q ou P (p, q) = p + q


                                                                                                3
b) Q (p, q) = Maria é carioca e Maria é casada.
Novamente duas proposições simples, a proposição p = “Maria é carioca” e a proposição
q = “Maria é casada”. A proposição composta “Q (p, q)” é construída com o auxílio do
conectivo “e”, que é designado pelos símbolos “ . ” e “  ”. Simbolicamente poderíamos
representar: Q (p, q) = p  q ou Q (p, q) = p . q

c) R (p, q) = Se hoje é quarta-feira, então temos aula de laboratório.
As duas proposições simples, as proposições p = “hoje é quarta-feira” e q = “temos aula de
laboratório” formam a proposição composta “R (p, q)” , construída com o auxílio do conectivo
“se .. então”, que é designado pelo símbolo “     ”. Simbolicamente poderíamos representar:

R (p, q) = p   q.



2.5. Conectivos e Tabelas-Verdade – Como visto no Item anterior, conectivos são símbolos
que utilizamos para unir proposições simples de modo a formar proposições compostas. Os
conectivos são definidos com precisão através de tabelas-verdade. Uma tabela-verdade é uma
tabela que, organizadamente, fornece todas as possibilidades de valores verdade para uma
proposição.

2.5.1. Conectivo “não”
Símbolo. Notação V/F: “ ~ ”         Notação 1/0: “ ’ ”
Exemplo: Se “p” é uma proposição, leremos “~p” como “não p”. Da mesma forma, leremos
“ p’ ” como “não p”.
Definição - O conectivo “não” quando aplicado a uma proposição inverte o seu valor verdade.
Portanto se Vv(p) = V, Vv(~p) = F e se Vv(p) = F, Vv(~p) = V.
Exemplo:
p = Pedro joga futebol. Então, a sua negação será: ~p = Pedro não joga futebol
q = a terra é quadrada. Então, a sua negação será: q’ = a terra não é quadrada

                                    Notação V/F        Notação 1/0
Tabela-Verdade que define o           p    ~p             p     p’
conectivo “não”                       V     F             1     0
                                      F     V             0     1




                                                                                          4
2.5.2. Conectivo “e”
Símbolo. Notação V/F: “”          Notação 1/0: “ . ”
Exemplo: Se “p” e “q” são proposições, leremos “p  q” como “p e q” ou “p conjunção q”.
Igualmente, utilizando a notação “1/0”, leremos “p . q” como “p e q” ou “p conjunção q”.
Definição - “p  q” somente é verdadeiro quando ambas proposições são verdadeiras. Caso
contrário o valor verdade de “p  q” é falso.
Exemplo:
p = A terra é redonda ; q = O Brasil se situa na América do Sul. Então, a proposição composta
P (p, q) = p  q = “a terra é redonda e o Brasil se situa na América do Sul” é verdadeira, ou
seja, Vv (P(p,q)) = V.
                                        Notação V/F                   Notação 1/0
Tabela-Verdade que define o             p    q     pq                p     q    p.q
conectivo “e”                          V     V       V                1     1      1
                                       V     F      F                1     0      0
                                       F     V      F                0     1      0
                                       F     F      F                0     0      0

2.5.3. Conectivo “ou”
Símbolo. Notação V/F: “  ”         Notação 1/0: “ + ”
Exemplo: Se “p” e “q” são proposições, leremos “p  q” como “p ou q” ou “p disjunção q”.
Igualmente, utilizando a notação “1/0”, leremos “p + q” como “p ou q” ou “p disjunção q”.
Definição - “p  q” somente é falso quando ambas proposições são falsas. Caso contrário o
valor verdade de “p  q” é verdadeiro.
Exemplo:
p = A terra é plana ; q = O Brasil se situa na Europa. Então, a proposição composta
P (p, q) = p  q = “a terra é plana ou o Brasil se situa na Europa” é falsa, ou seja,
Vv (P(p,q)) = F.
                                    Notação V/F                Notação 1/0
Tabela-Verdade que define o         p   q    pq               p    q    p+q
conectivo “ou”                      V   V      V               1    1      1
                                    V   F      V               1    0      1
                                    F   V      V               0    1      1
                                    F   F      F               0    0      0




                                                                                           5
2.5.4. Conectivo “ ou exclusivo”
Símbolo. Notação V/F: “”            Notação 1/0: “”
Exemplo: Se “p” e “q” são proposições, leremos “p  q” como “p ou exclusivo q”.
Igualmente, utilizando a notação “1/0”, leremos “p  q” como “p ou exclusivo q”.
Definição - “p  q” é verdadeiro quando as proposições têm valores verdade diferentes.
Quando as proposições têm valores verdade iguais, “p  q” é falso.
Exemplo:
p = 2 < 3 ; q = 2 > 3. Então, a proposição composta P (p, q) = p  q = “ 2 < 3 ou exclusivo
2 > 3” é verdadeira, ou seja, Vv (P(p,q)) = V.

                                         Notação V/F                     Notação 1/0
Tabela-Verdade que define o              p   q    pq                    p    q    pq
conectivo “ou exclusivo”                 V     V      F                  1    1        0
                                         V     F      V                  1    0        1
                                         F     V      V                  0    1        1
                                         F     F      F                  0    0        0



2.5.5. Conectivo “se .. então”
Símbolo. Notação V/F: “          ”           Notação 1/0: “    ”

Exemplo: Se “p” e “q” são proposições, leremos “p                  q” como “se p então q” ou
“p condicional q”.
Definição - “p       q” é falsa somente quando “p” é verdadeiro e “q” é falso. Nos outros casos,

“p    q” é verdadeiro.
Exemplo:
p = chove ; q = o chão está molhado. Então, a proposição composta P (p, q) = p             q = “se
chove então o chão está molhado” é verdadeira, ou seja, Vv (P(p,q)) = V.

                                         Notação V/F                     Notação 1/0
Tabela-Verdade que define o              p   q    p q                    P    q    p       q
conectivo “se .. então”
                                         V     V      V                  1    1        1
                                         V     F      F                  1    0        0
                                         F     V      V                  0    1        1
                                         F     F      V                  0    0        1




                                                                                                 6
2.5.6. Conectivo “se e somente se”
Símbolo. Notação V/F: “      ”                 Notação 1/0: “      ”

Exemplo: Se “p” e “q” são proposições, leremos “p               q” como “p se e somente se q” ou
“p bicondicional q”.
Definição - “p     q” é verdadeira quando as proposições têm valores verdade iguais. Quando

as proposições têm valores verdade diferentes, “p      q” é falsa.
Exemplo:
p = 2 + 3 = 5 ; q = 3 + 2 = 5. Então, a proposição composta P (p, q) = p        q = “2 + 3 = 5 se
e somente 3 + 2 = 5” é verdadeira, ou seja, Vv (P(p,q)) = V.

                                         Notação V/F                       Notação 1/0
Tabela-Verdade que define o              p   q p     q                     P    q p          q
conectivo “se e somente se”
                                        V        V      V                  1    1        1
                                        V        F      F                  1    0        0
                                        F        V      F                  0    1        0
                                        F        F      V                  0    0        1




EXERCÍCIOS DE FIXAÇÃO

1 – Responda:
a) O que é a lógica?
b) O que é uma proposição simples?
c) O que é uma proposição composta?
d) O que são os conectivos?
e) Quais são os dois axiomas da Lógica de Primeira Ordem? Enuncie os mesmos.

2) Seja p = “2 + 2 = 6” ; q = “4 x 3 = 12” ; r = “3 - 2 = 1”. Observe o exemplo abaixo:
Ex: Calcular o valor verdade de P (p, q) = p      q.
Solução: Sabemos que Vv (p) = F pois 2 + 2 = 4. Também sambemos que Vv (q) = V. Logo,
Vv (P(p,q)) = Vv (p      q) = Vv (F      V) = F, pela 3ª linha da tabela verdade que define o

conectivo “


Agora, calcule você mesmo os seguintes valores verdade:

                                                                                                 7
a) Vv (Q), onde Q (p,q) = q       p
b) Vv (R), onde R (p,q) = p  q
c) Vv (S), onde S (q, r) = r  q
d) Vv (T), onde T (r) = ~r
e) Vv (U), onde U (p) = ~p
f) Vv (X), onde X (p,r) = p + r
g) Vv (Y), onde Y (p,q) = p       q
h) Vv (Z), onde Z (q,r) = r . q
i) Vv (A), onde A (p,r) = r . p
j) Vv (B), onde B (q,r) = r  q



Respostas para conferência
Exercício 1. Vide a parte inicial deste módulo ou as notas de aula.

Exercício 2.
a) Vv (Q) = F
b) Vv (R) = V
c) Vv (S) = F
d) Vv (T) = F
e) Vv (U) = V
f) Vv (X) = V
g) Vv (Y) = V
h) Vv (Z) = V
i) Vv (A) = F
j) Vv (B) = V




                                                                      8

Weitere ähnliche Inhalte

Was ist angesagt?

Apostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestre
Apostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestreApostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestre
Apostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestreMaria de Lourdes Lourenço
 
Tautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalênciasTautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalênciasAristóteles Meneses
 
Resumo a lógica matemática para concursos
Resumo a lógica matemática para concursosResumo a lógica matemática para concursos
Resumo a lógica matemática para concursosLuiz Ladeira
 
Lógica (especial): Tabela-verdade
Lógica (especial): Tabela-verdadeLógica (especial): Tabela-verdade
Lógica (especial): Tabela-verdadeEmmanuel Fraga
 
Implicação Lógica
Implicação LógicaImplicação Lógica
Implicação LógicaHugo Souza
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica ProposicionalAdolfo Neto
 
Aula introdução à lógica matemática
Aula introdução à lógica matemáticaAula introdução à lógica matemática
Aula introdução à lógica matemáticaAristóteles Meneses
 
Lógica e teoria de conjuntos ppt
Lógica e teoria de conjuntos  pptLógica e teoria de conjuntos  ppt
Lógica e teoria de conjuntos pptPedro Teixeira
 
Aula1 proposicoes e conectivos (1)
Aula1 proposicoes e conectivos (1)Aula1 proposicoes e conectivos (1)
Aula1 proposicoes e conectivos (1)SEDUC-PA
 
Cálculo proposicional e avaliação de argumentos
Cálculo proposicional e avaliação de argumentosCálculo proposicional e avaliação de argumentos
Cálculo proposicional e avaliação de argumentosJoaquim Melro
 
Introdução ao Prolog - Prof. Sérgio S. Costa
Introdução ao Prolog - Prof. Sérgio S. CostaIntrodução ao Prolog - Prof. Sérgio S. Costa
Introdução ao Prolog - Prof. Sérgio S. CostaLeinylson Fontinele
 
Racicínio Lógico
 Racicínio Lógico Racicínio Lógico
Racicínio LógicoKeilla Ramos
 

Was ist angesagt? (20)

Apostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestre
Apostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestreApostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestre
Apostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestre
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Tautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalênciasTautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalências
 
Resumo a lógica matemática para concursos
Resumo a lógica matemática para concursosResumo a lógica matemática para concursos
Resumo a lógica matemática para concursos
 
Construção da tabela verdade
Construção da tabela verdadeConstrução da tabela verdade
Construção da tabela verdade
 
tabela verdade
  tabela verdade  tabela verdade
tabela verdade
 
Lógica (especial): Tabela-verdade
Lógica (especial): Tabela-verdadeLógica (especial): Tabela-verdade
Lógica (especial): Tabela-verdade
 
Implicação Lógica
Implicação LógicaImplicação Lógica
Implicação Lógica
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 
Aula introdução à lógica matemática
Aula introdução à lógica matemáticaAula introdução à lógica matemática
Aula introdução à lógica matemática
 
Lógica e teoria de conjuntos ppt
Lógica e teoria de conjuntos  pptLógica e teoria de conjuntos  ppt
Lógica e teoria de conjuntos ppt
 
Aula1 proposicoes e conectivos (1)
Aula1 proposicoes e conectivos (1)Aula1 proposicoes e conectivos (1)
Aula1 proposicoes e conectivos (1)
 
Lógica Simbólica
Lógica SimbólicaLógica Simbólica
Lógica Simbólica
 
Cálculo proposicional e avaliação de argumentos
Cálculo proposicional e avaliação de argumentosCálculo proposicional e avaliação de argumentos
Cálculo proposicional e avaliação de argumentos
 
Raciocínio lógico parte 1
Raciocínio lógico   parte 1Raciocínio lógico   parte 1
Raciocínio lógico parte 1
 
Introdução ao Prolog - Prof. Sérgio S. Costa
Introdução ao Prolog - Prof. Sérgio S. CostaIntrodução ao Prolog - Prof. Sérgio S. Costa
Introdução ao Prolog - Prof. Sérgio S. Costa
 
Filosofia resumo 3 10º
Filosofia   resumo 3  10ºFilosofia   resumo 3  10º
Filosofia resumo 3 10º
 
CESPE / UnB - CFSD | PM - CE, 2008
CESPE / UnB - CFSD | PM - CE, 2008CESPE / UnB - CFSD | PM - CE, 2008
CESPE / UnB - CFSD | PM - CE, 2008
 
Racicínio Lógico
 Racicínio Lógico Racicínio Lógico
Racicínio Lógico
 

Ähnlich wie Modulo i

1 -logica_proposicional
1  -logica_proposicional1  -logica_proposicional
1 -logica_proposicionalUdasul
 
Apostila logica-cespe
Apostila logica-cespeApostila logica-cespe
Apostila logica-cespeSamid Reis
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosLizandra Guarnieri Gomes
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosiran rodrigues
 
Aula 03 logica de argumentacao
Aula 03   logica de argumentacaoAula 03   logica de argumentacao
Aula 03 logica de argumentacaoJ M
 
Raciocínio lógico aula 3-6 - lógica de argumentaçao
Raciocínio lógico   aula 3-6 - lógica de argumentaçaoRaciocínio lógico   aula 3-6 - lógica de argumentaçao
Raciocínio lógico aula 3-6 - lógica de argumentaçaoJ M
 
Raciocínio lógico aula 1-6 - conceitos iniciais 1
Raciocínio lógico   aula 1-6 - conceitos iniciais 1Raciocínio lógico   aula 1-6 - conceitos iniciais 1
Raciocínio lógico aula 1-6 - conceitos iniciais 1J M
 
Aula 01 conceitos iniciais
Aula 01   conceitos iniciaisAula 01   conceitos iniciais
Aula 01 conceitos iniciaisJ M
 
Unidade 3 cap 1.2 (b) e cap 1.3
Unidade 3 cap 1.2 (b) e cap 1.3Unidade 3 cap 1.2 (b) e cap 1.3
Unidade 3 cap 1.2 (b) e cap 1.3Manuel Matos
 
Aula 03 logica de argumentacao
Aula 03   logica de argumentacaoAula 03   logica de argumentacao
Aula 03 logica de argumentacaoMcxs Silva
 
Aula 03 logica de argumentacao
Aula 03   logica de argumentacaoAula 03   logica de argumentacao
Aula 03 logica de argumentacaoHelio Kentron
 
APOSTILA_LOGICA-PROPOSICOES-CONECTIVOS-TABELA-VERDADE.pdf
APOSTILA_LOGICA-PROPOSICOES-CONECTIVOS-TABELA-VERDADE.pdfAPOSTILA_LOGICA-PROPOSICOES-CONECTIVOS-TABELA-VERDADE.pdf
APOSTILA_LOGICA-PROPOSICOES-CONECTIVOS-TABELA-VERDADE.pdfMatheusAlves240530
 
Apostila proposicoes-tabelas-verdade-conectivos-logicos
Apostila proposicoes-tabelas-verdade-conectivos-logicosApostila proposicoes-tabelas-verdade-conectivos-logicos
Apostila proposicoes-tabelas-verdade-conectivos-logicosFernando Sousa
 
67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematica67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematicaafpinto
 
Como estudar raciocinio logico para concursos
Como estudar raciocinio logico para concursosComo estudar raciocinio logico para concursos
Como estudar raciocinio logico para concursosresolvidos
 

Ähnlich wie Modulo i (20)

1 -logica_proposicional
1  -logica_proposicional1  -logica_proposicional
1 -logica_proposicional
 
Lógica+20..
Lógica+20..Lógica+20..
Lógica+20..
 
Lógica+20..2
Lógica+20..2Lógica+20..2
Lógica+20..2
 
Apostila logica-cespe
Apostila logica-cespeApostila logica-cespe
Apostila logica-cespe
 
Resumo introdução lógica pdf
Resumo introdução lógica pdfResumo introdução lógica pdf
Resumo introdução lógica pdf
 
Condições
CondiçõesCondições
Condições
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursos
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursos
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursos
 
Aula 03 logica de argumentacao
Aula 03   logica de argumentacaoAula 03   logica de argumentacao
Aula 03 logica de argumentacao
 
Raciocínio lógico aula 3-6 - lógica de argumentaçao
Raciocínio lógico   aula 3-6 - lógica de argumentaçaoRaciocínio lógico   aula 3-6 - lógica de argumentaçao
Raciocínio lógico aula 3-6 - lógica de argumentaçao
 
Raciocínio lógico aula 1-6 - conceitos iniciais 1
Raciocínio lógico   aula 1-6 - conceitos iniciais 1Raciocínio lógico   aula 1-6 - conceitos iniciais 1
Raciocínio lógico aula 1-6 - conceitos iniciais 1
 
Aula 01 conceitos iniciais
Aula 01   conceitos iniciaisAula 01   conceitos iniciais
Aula 01 conceitos iniciais
 
Unidade 3 cap 1.2 (b) e cap 1.3
Unidade 3 cap 1.2 (b) e cap 1.3Unidade 3 cap 1.2 (b) e cap 1.3
Unidade 3 cap 1.2 (b) e cap 1.3
 
Aula 03 logica de argumentacao
Aula 03   logica de argumentacaoAula 03   logica de argumentacao
Aula 03 logica de argumentacao
 
Aula 03 logica de argumentacao
Aula 03   logica de argumentacaoAula 03   logica de argumentacao
Aula 03 logica de argumentacao
 
APOSTILA_LOGICA-PROPOSICOES-CONECTIVOS-TABELA-VERDADE.pdf
APOSTILA_LOGICA-PROPOSICOES-CONECTIVOS-TABELA-VERDADE.pdfAPOSTILA_LOGICA-PROPOSICOES-CONECTIVOS-TABELA-VERDADE.pdf
APOSTILA_LOGICA-PROPOSICOES-CONECTIVOS-TABELA-VERDADE.pdf
 
Apostila proposicoes-tabelas-verdade-conectivos-logicos
Apostila proposicoes-tabelas-verdade-conectivos-logicosApostila proposicoes-tabelas-verdade-conectivos-logicos
Apostila proposicoes-tabelas-verdade-conectivos-logicos
 
67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematica67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematica
 
Como estudar raciocinio logico para concursos
Como estudar raciocinio logico para concursosComo estudar raciocinio logico para concursos
Como estudar raciocinio logico para concursos
 

Mehr von EvelyneBorges

Adm 02 - perfil, habilidades,papéis e classificação dos administradores
Adm    02 - perfil, habilidades,papéis e classificação dos administradoresAdm    02 - perfil, habilidades,papéis e classificação dos administradores
Adm 02 - perfil, habilidades,papéis e classificação dos administradoresEvelyneBorges
 
Adm 01 -o que é administração -
Adm   01 -o que é administração -Adm   01 -o que é administração -
Adm 01 -o que é administração -EvelyneBorges
 
Ucb matriz curricular de sistemas da informacao - bacharel
Ucb   matriz curricular de sistemas da informacao - bacharelUcb   matriz curricular de sistemas da informacao - bacharel
Ucb matriz curricular de sistemas da informacao - bacharelEvelyneBorges
 
Facitec matriz curricular de sistemas da informacao - bacharel
Facitec   matriz curricular de sistemas da informacao - bacharelFacitec   matriz curricular de sistemas da informacao - bacharel
Facitec matriz curricular de sistemas da informacao - bacharelEvelyneBorges
 
Upis matriz curricular de sistemas da inormacao - bacharel
Upis   matriz curricular de sistemas da inormacao - bacharelUpis   matriz curricular de sistemas da inormacao - bacharel
Upis matriz curricular de sistemas da inormacao - bacharelEvelyneBorges
 
0000364 aula 5 estruturas de decisão
0000364 aula 5   estruturas de decisão0000364 aula 5   estruturas de decisão
0000364 aula 5 estruturas de decisãoEvelyneBorges
 
Matematica financeira
Matematica financeiraMatematica financeira
Matematica financeiraEvelyneBorges
 

Mehr von EvelyneBorges (20)

Prova
ProvaProva
Prova
 
Juroscompostos
JuroscompostosJuroscompostos
Juroscompostos
 
Adm 02 - perfil, habilidades,papéis e classificação dos administradores
Adm    02 - perfil, habilidades,papéis e classificação dos administradoresAdm    02 - perfil, habilidades,papéis e classificação dos administradores
Adm 02 - perfil, habilidades,papéis e classificação dos administradores
 
Adm 01 -o que é administração -
Adm   01 -o que é administração -Adm   01 -o que é administração -
Adm 01 -o que é administração -
 
Ucb matriz curricular de sistemas da informacao - bacharel
Ucb   matriz curricular de sistemas da informacao - bacharelUcb   matriz curricular de sistemas da informacao - bacharel
Ucb matriz curricular de sistemas da informacao - bacharel
 
Facitec matriz curricular de sistemas da informacao - bacharel
Facitec   matriz curricular de sistemas da informacao - bacharelFacitec   matriz curricular de sistemas da informacao - bacharel
Facitec matriz curricular de sistemas da informacao - bacharel
 
Upis matriz curricular de sistemas da inormacao - bacharel
Upis   matriz curricular de sistemas da inormacao - bacharelUpis   matriz curricular de sistemas da inormacao - bacharel
Upis matriz curricular de sistemas da inormacao - bacharel
 
Exercícios lista 2
Exercícios   lista 2Exercícios   lista 2
Exercícios lista 2
 
0000364 aula 5 estruturas de decisão
0000364 aula 5   estruturas de decisão0000364 aula 5   estruturas de decisão
0000364 aula 5 estruturas de decisão
 
Exerc f.financeira
Exerc f.financeiraExerc f.financeira
Exerc f.financeira
 
Matematica financeira
Matematica financeiraMatematica financeira
Matematica financeira
 
Switchcase
SwitchcaseSwitchcase
Switchcase
 
Exercícios lista 1
Exercícios   lista 1Exercícios   lista 1
Exercícios lista 1
 
Aula 4
Aula 4Aula 4
Aula 4
 
Aula 2
Aula 2Aula 2
Aula 2
 
Aula 1
Aula 1Aula 1
Aula 1
 
Função financeira
Função financeiraFunção financeira
Função financeira
 
Modulo iv
Modulo ivModulo iv
Modulo iv
 
Modulo iii
Modulo iiiModulo iii
Modulo iii
 
Modulo ii
Modulo iiModulo ii
Modulo ii
 

Modulo i

  • 1. Faculdade SISTEMAS DE INFORMAÇÃO SI11 LÓGICA MÓDULO I INTRODUÇÃO Professor Newton Marquez Alcantara 1
  • 2. 1. O que é a Lógica? – Rapidamente, podemos dizer que a Lógica versa sobre os princípios da inferência correta. Inferência, por sua vez, é o processo que nos permite partir de coisas, fatos ou afirmações já conhecidas (premissas) e concluir algo novo, ainda não conhecido. Exemplo: Premissas: - Pedro, sempre que pode, joga futebol aos domingos - Hoje é domingo - O tempo está bom - Pedro já terminou os trabalhos da Faculdade Conclusão: - Pedro vai jogar futebol (portanto não adianta convidá-lo para pescar) O processo mental que nos levou das premissas à conclusão é que é denominado de inferência. Historicamente, o estudo formal dos princípios da inferência correta começou com os gregos, culminando em uma obra denominada de Organom que significa “instrumentos da ciência”. Esta obra, que é considerada o marco inicial desta área do conhecimento, é uma coletânea de trabalhos do filósofo Aristóteles feita pelos seus alunos após a sua morte. O nosso objeto de estudo é a lógica de primeira ordem. Este assunto é de fundamental importância para a Ciência da Computação por estar presente na definição e manipulação de banco de dados relacionais, linguagens de programação e ser o principal alicerce para o projeto de processadores. 2. Proposições e Conectivos 2.1. Sentença – É toda estrutura lingüística que exprime um pensamento completo. Exemplos: a) A terra é redonda b) 2 + 2 = 4 c) A lua é feita de queijo verde. d) Que horas são? e) Feche a porta! f) Oba! As sentenças “a”, “b” e “c” são ditas sentenças declarativas, visto que afirmam ou declaram algo. A sentença “d” é uma sentença interrogativa, a sentença “e” é uma sentença imperativa (uma ordem ou comando) e a sentença “f” é uma exclamação. As sentenças que nos interessam são as sentenças declarativas, também designadas de proposições. A estas sentenças nós podemos atribuir os valores lógicos de verdade (V) ou falsidade (F). 2
  • 3. Exemplos: Vv (“a terra é redonda”) = Verdade Vv (“2 + 2 = 4”) = Verdade Vv (“a lua é feita de queijo”) = Falsidade Vv (“o quadrado é uma figura de três lados”) = Falsidade Observação: Leremos o símbolo “Vv” como “valor verdade”. Portanto, “Vv (‘2 + 2 = 4’) = Verdade” significa “o valor verdade da proposição “2 + 2 = 4” é a verdade. Já “Vv (‘O Sol é um planeta’) = Falsidade”, significa “o valor verdade da proposição “O Sol é um planeta” é a falsidade. Os valores de verdade e falsidade são representados por “V” e “F” ou “1” e “0”, significando: Valor lógico de verdade – “V” ou “1” Valor lógico de falsidade – “F” ou “0” 2.2. Axiomas – Axiomas são afirmações que consideramos verdadeiras sem necessidade de demonstrar tal fato. Axiomas da Lógica: Axioma da não Contradição – Uma proposição não pode, simultaneamente, ser verdadeira e falsa. Ou seja, uma proposição não pode assumir os dois valores (verdade ou falsidade) ao mesmo tempo. Axioma do Terceiro Excluído – Uma proposição somente pode ser verdadeira ou falsa, não havendo uma terceira alternativa. 2.3. Proposições Simples – Uma proposição simples é aquela formada por uma única sentença declarativa. As proposições simples serão designadas por letras minúsculas como “p”, “q”, “r”, “s” etc. Exemplo: p = “Pedro joga futebol” q = “Maria é engenheira” r = “2 + 3 > 1 + 3” 2.4. Proposições Compostas – Uma proposição é dita composta quando é formada por mais de uma proposição simples unidas por conectivos. Uma proposição composta é designada por letras Maiúsculas como “P”, “Q”, “R”, “S” etc. Exemplos: a) P (p, q) = Pedro é goiano ou Pedro é mineiro. Temos duas proposições simples, a proposição p = “Pedro é goiano” e a proposição q = “Pedro é mineiro”. A proposição composta “P(p, q)” é construída com o auxílio do conectivo “ou”, que é designado pelos símbolos “ + ” ou “  ”. Simbolicamente poderíamos representar: P (p, q) = p  q ou P (p, q) = p + q 3
  • 4. b) Q (p, q) = Maria é carioca e Maria é casada. Novamente duas proposições simples, a proposição p = “Maria é carioca” e a proposição q = “Maria é casada”. A proposição composta “Q (p, q)” é construída com o auxílio do conectivo “e”, que é designado pelos símbolos “ . ” e “  ”. Simbolicamente poderíamos representar: Q (p, q) = p  q ou Q (p, q) = p . q c) R (p, q) = Se hoje é quarta-feira, então temos aula de laboratório. As duas proposições simples, as proposições p = “hoje é quarta-feira” e q = “temos aula de laboratório” formam a proposição composta “R (p, q)” , construída com o auxílio do conectivo “se .. então”, que é designado pelo símbolo “ ”. Simbolicamente poderíamos representar: R (p, q) = p q. 2.5. Conectivos e Tabelas-Verdade – Como visto no Item anterior, conectivos são símbolos que utilizamos para unir proposições simples de modo a formar proposições compostas. Os conectivos são definidos com precisão através de tabelas-verdade. Uma tabela-verdade é uma tabela que, organizadamente, fornece todas as possibilidades de valores verdade para uma proposição. 2.5.1. Conectivo “não” Símbolo. Notação V/F: “ ~ ” Notação 1/0: “ ’ ” Exemplo: Se “p” é uma proposição, leremos “~p” como “não p”. Da mesma forma, leremos “ p’ ” como “não p”. Definição - O conectivo “não” quando aplicado a uma proposição inverte o seu valor verdade. Portanto se Vv(p) = V, Vv(~p) = F e se Vv(p) = F, Vv(~p) = V. Exemplo: p = Pedro joga futebol. Então, a sua negação será: ~p = Pedro não joga futebol q = a terra é quadrada. Então, a sua negação será: q’ = a terra não é quadrada Notação V/F Notação 1/0 Tabela-Verdade que define o p ~p p p’ conectivo “não” V F 1 0 F V 0 1 4
  • 5. 2.5.2. Conectivo “e” Símbolo. Notação V/F: “” Notação 1/0: “ . ” Exemplo: Se “p” e “q” são proposições, leremos “p  q” como “p e q” ou “p conjunção q”. Igualmente, utilizando a notação “1/0”, leremos “p . q” como “p e q” ou “p conjunção q”. Definição - “p  q” somente é verdadeiro quando ambas proposições são verdadeiras. Caso contrário o valor verdade de “p  q” é falso. Exemplo: p = A terra é redonda ; q = O Brasil se situa na América do Sul. Então, a proposição composta P (p, q) = p  q = “a terra é redonda e o Brasil se situa na América do Sul” é verdadeira, ou seja, Vv (P(p,q)) = V. Notação V/F Notação 1/0 Tabela-Verdade que define o p q pq p q p.q conectivo “e” V V V 1 1 1 V F F 1 0 0 F V F 0 1 0 F F F 0 0 0 2.5.3. Conectivo “ou” Símbolo. Notação V/F: “  ” Notação 1/0: “ + ” Exemplo: Se “p” e “q” são proposições, leremos “p  q” como “p ou q” ou “p disjunção q”. Igualmente, utilizando a notação “1/0”, leremos “p + q” como “p ou q” ou “p disjunção q”. Definição - “p  q” somente é falso quando ambas proposições são falsas. Caso contrário o valor verdade de “p  q” é verdadeiro. Exemplo: p = A terra é plana ; q = O Brasil se situa na Europa. Então, a proposição composta P (p, q) = p  q = “a terra é plana ou o Brasil se situa na Europa” é falsa, ou seja, Vv (P(p,q)) = F. Notação V/F Notação 1/0 Tabela-Verdade que define o p q pq p q p+q conectivo “ou” V V V 1 1 1 V F V 1 0 1 F V V 0 1 1 F F F 0 0 0 5
  • 6. 2.5.4. Conectivo “ ou exclusivo” Símbolo. Notação V/F: “” Notação 1/0: “” Exemplo: Se “p” e “q” são proposições, leremos “p  q” como “p ou exclusivo q”. Igualmente, utilizando a notação “1/0”, leremos “p  q” como “p ou exclusivo q”. Definição - “p  q” é verdadeiro quando as proposições têm valores verdade diferentes. Quando as proposições têm valores verdade iguais, “p  q” é falso. Exemplo: p = 2 < 3 ; q = 2 > 3. Então, a proposição composta P (p, q) = p  q = “ 2 < 3 ou exclusivo 2 > 3” é verdadeira, ou seja, Vv (P(p,q)) = V. Notação V/F Notação 1/0 Tabela-Verdade que define o p q pq p q pq conectivo “ou exclusivo” V V F 1 1 0 V F V 1 0 1 F V V 0 1 1 F F F 0 0 0 2.5.5. Conectivo “se .. então” Símbolo. Notação V/F: “ ” Notação 1/0: “ ” Exemplo: Se “p” e “q” são proposições, leremos “p q” como “se p então q” ou “p condicional q”. Definição - “p q” é falsa somente quando “p” é verdadeiro e “q” é falso. Nos outros casos, “p q” é verdadeiro. Exemplo: p = chove ; q = o chão está molhado. Então, a proposição composta P (p, q) = p q = “se chove então o chão está molhado” é verdadeira, ou seja, Vv (P(p,q)) = V. Notação V/F Notação 1/0 Tabela-Verdade que define o p q p q P q p q conectivo “se .. então” V V V 1 1 1 V F F 1 0 0 F V V 0 1 1 F F V 0 0 1 6
  • 7. 2.5.6. Conectivo “se e somente se” Símbolo. Notação V/F: “ ” Notação 1/0: “ ” Exemplo: Se “p” e “q” são proposições, leremos “p q” como “p se e somente se q” ou “p bicondicional q”. Definição - “p q” é verdadeira quando as proposições têm valores verdade iguais. Quando as proposições têm valores verdade diferentes, “p q” é falsa. Exemplo: p = 2 + 3 = 5 ; q = 3 + 2 = 5. Então, a proposição composta P (p, q) = p q = “2 + 3 = 5 se e somente 3 + 2 = 5” é verdadeira, ou seja, Vv (P(p,q)) = V. Notação V/F Notação 1/0 Tabela-Verdade que define o p q p q P q p q conectivo “se e somente se” V V V 1 1 1 V F F 1 0 0 F V F 0 1 0 F F V 0 0 1 EXERCÍCIOS DE FIXAÇÃO 1 – Responda: a) O que é a lógica? b) O que é uma proposição simples? c) O que é uma proposição composta? d) O que são os conectivos? e) Quais são os dois axiomas da Lógica de Primeira Ordem? Enuncie os mesmos. 2) Seja p = “2 + 2 = 6” ; q = “4 x 3 = 12” ; r = “3 - 2 = 1”. Observe o exemplo abaixo: Ex: Calcular o valor verdade de P (p, q) = p q. Solução: Sabemos que Vv (p) = F pois 2 + 2 = 4. Também sambemos que Vv (q) = V. Logo, Vv (P(p,q)) = Vv (p q) = Vv (F V) = F, pela 3ª linha da tabela verdade que define o conectivo “ Agora, calcule você mesmo os seguintes valores verdade: 7
  • 8. a) Vv (Q), onde Q (p,q) = q p b) Vv (R), onde R (p,q) = p  q c) Vv (S), onde S (q, r) = r  q d) Vv (T), onde T (r) = ~r e) Vv (U), onde U (p) = ~p f) Vv (X), onde X (p,r) = p + r g) Vv (Y), onde Y (p,q) = p q h) Vv (Z), onde Z (q,r) = r . q i) Vv (A), onde A (p,r) = r . p j) Vv (B), onde B (q,r) = r  q Respostas para conferência Exercício 1. Vide a parte inicial deste módulo ou as notas de aula. Exercício 2. a) Vv (Q) = F b) Vv (R) = V c) Vv (S) = F d) Vv (T) = F e) Vv (U) = V f) Vv (X) = V g) Vv (Y) = V h) Vv (Z) = V i) Vv (A) = F j) Vv (B) = V 8