Material Aulas 1 2 3 4

CIÊNCIA DA COMPUTAÇÃO
SISTEMAS DE INFORMAÇÃO
1ª FASE
Unidade 01
Introdução à Lógica para Computação
Unidade 02
Proposições e Conectivos
• Prof. Ariel Zuquello

• arielzuquello@gmail.com
Roteiro
Unidade01 - Introdução à Lógica para a
Computação
Unidade 02 - Proposições e conectivos

Introdução
Lógica???
• “O estudo da Lógica é o estudo dos métodos e

princípios usados para distinguir o raciocínio correto
do incorreto” (“Introdução à Lógica”, Irving M. Copi,
Ed. Mestre Jou, São Paulo, 1968)
Introdução
Lógica???
• “O estudo da Lógica é o estudo dos métodos e

princípios usados para distinguir o raciocínio
correto do incorreto” (“Introdução à Lógica”, Irving
M. Copi, Ed. Mestre Jou, São Paulo, 1968)
• “A Lógica formal é uma ciência que determina as

formas corretas (ou válidas) de raciocínio (“Noções
de Lógica Formal”, Joseph Dopp, Ed. Herder, São
Paulo, 1970)
Introdução
Lógica???
• Lógica é o estudo de argumentos.

Introdução
Lógica???
• Um argumento é uma sequência de enunciados na qual

um dos enunciados é a conclusão e os demais são
premissas.
Introdução
Lógica???
• Um argumento é uma sequência de enunciados na qual

um dos enunciados é a conclusão e os demais são
premissas.
• “As premissas servem para provar, ou pelo menos

fornecer alguma evidência para a conclusão” (“Lógica”,
John Nolt e Dennis Rohatyn, Makron Books, São Paulo,
1991).
Introdução
Lógica Booleana???
• Entende-se por lógica booleana ou lógica de Boole o

estudo dos princípios e métodos usados para distinguir
sentenças verdadeiras de falsas.
Introdução
Lógica Booleana???
• Entende-se por lógica booleana ou lógica de Boole o

estudo dos princípios e métodos usados para distinguir
sentenças verdadeiras de falsas.
• George Boole (inglês, 1815-1864) foi um dos

precursores do estudo da lógica.
Introdução à Lógica para a Computação
A lógica preocupa-se com a forma como uma

proposição ou declaração é realizada, de acordo com:
• Estudo do raciocínio;

• Estudo do pensamento correto e verdadeiro;

• Regras para demonstração científica verdadeira;

• Regras para demonstração científica verdadeira;
• Regras para verificação de verdade ou falsidade de
um pensamento.
 Algumas aplicações da lógica matemática:
 Construção de linguagens formais
 Construçãode linguagens formais
 Compiladores
 Construçãode linguagens formais
 Compiladores
 Construção de linguagens de programação (a partir de linguagens
formais)
 Compiladores
formais)
 Algoritmos e programação
 Compiladores
formais)
 Banco de Dados ( Linguagens formais como Álgebra Relacional e Cálculo
Relacional – que dão origem ao SQL)
 Compiladores
formais)
 Programação em Lógica - Prolog
 Compiladores
formais)
 Programação em Lógica - Prolog
 Inteligência Artificial...
 Sintaxe (como se escreve):
• A sintaxe é relativa a representação e organização
dos símbolos em uma linguagem.
• A sintaxe é baseada em convenções.
 Sintaxe (como se escreve):
• A sintaxe é relativa a representação e organização
dos símbolos em uma linguagem.
• A sintaxe é baseada em convenções.
Semântica (significado):
• A semântica é formada pelos conceitos ligados a um
contexto.
• Considere como exemplo a palavra REDE.
A Lógica Matemática ou proposicional faz uso da

análise e relações entre determinadas sentenças,
quase sempre de conteúdo matemático, chamadas
proposições.
Fonte: Autor Desconhecido, 2018.

 Proposição: é todo conjunto de palavras ou símbolos
que exprimem um pensamento de sentido completo.
Proposição Declaração Sentença
Sujeito + Predicado
1) Está fazendo sol. 4) A lua não tem gravidade.
2) Está chovendo. 5) Jacarés tem dentes.
3) O quadrado tem quatro lados. 6) A luz está apagada.

 Linguagem da lógica proposicional:
José é eleitor
Predicado
Sujeito
 Linguagem da lógica proposicional:
José é eleitor
Predicado
Sujeito
Sujeitos: entes ou coisas Predicados: atributos dos sujeitos
Tem 10 anos.
Ana
É motorista.
Maria
Estuda computação.
João
É advogado
Carlos
A lógica proposicional refere-se a classes ou conjuntos
de coisas ou entes.
 Conjunto dos números inteiros:

 {… -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, …}
 Subconjunto: Números negativos ou não positivos

{ …, -5, -4, -3, -2, -1}
Unidade 02 - Proposições e conectivos
Lógica Proposicional: Proposições
Toda proposição tem um e somente um dos
valores lógicos, verdade ou falsidade.
Por este motivo, a Lógica Matemática ou

Proposicional é chamada de bivalente.
Por este motivo, a Lógica Matemática ou

Proposicional é chamada de bivalente.
Os termos verdade e falsidade são chamados

valores lógicos de uma proposição.
 Para classificar as proposições em verdadeiras ou falsas, a
Lógica Matemática adota como regras fundamentais os
dois seguintes princípios:
• I) Princípio da identidade - tudo é idêntico a si mesmo. Por

exemplo, a proposição p é igual à p (p = p);

• II) Princípio da Não Contradição - Uma proposição NÃO

pode ser verdadeira e falsa ao mesmo tempo;

• II) Princípio da Não Contradição - Uma proposição NÃO

pode ser verdadeira e falsa ao mesmo tempo;
• III) Princípio do Terceiro Excluído - Toda proposição ou é

verdadeira ou é falsa (isto é, verifica-se sempre um desses
casos e nunca um terceiro).
 Relembrando: Proposição é todo conjunto de
palavras ou símbolos que exprimem um pensamento de
sentido completo.
Proposições simples: Proposições compostas:
Está chovendo. A luz está acesa E não enxergo.
O céu está nublado. É noite E não enxergo.
A luz está acesa. Se está chovendo ENTÃO o céu está
Não enxergo. nublado.
É noite. Se faz sol OU a luz está acesa então Maria
Faz sol. lê.
Maria lê. Se é noite E a luz está acesa então Maria
lê.
O que NÃO é proposição???
• Sentenças não declarativas não podem ser consideradas
proposições pois não possuem apenas um valor associado
(verdadeiro ou falso).
 Por exemplo:
• Sentenças Interrogativas: Onde voce mora?
• Qual e o carro preto?
 Por exemplo:
• Sentenças Interrogativas: Onde voce mora?
• Qual e o carro preto?
• Sentenças Imperativas: Maria, compareça a recepção, por
favor.
• Faça todos os exercicios solicitados agora.
 Por exemplo:
• Sentenças Interrogativas: Onde você mora?
• Qual é o carro preto?
• Sentenças Imperativas: Maria, compareça a recepção, por
favor.
• Faça todos os exercícios solicitados agora.
• Sentenças Exclamativas: Todo mundo está sujeito a cometer
erros!
• Nossa, que pessoa elegante!
 As expressões...
 Está chovendo?
A viagem entre Ribeirão Preto e Guarujá.
 ….Não são sentenças proposicionais pois não possuem um

valor verdade: verdadeiro (v) ou falso (f) associado .
 Pelos princípios apresentados:
• Relembrando: Toda proposição tem um e somente um

dos valores lógicos, verdade ou falsidade. Por este
motivo, chamamos a Lógica Matemática de bivalente.
 Pelos princípios apresentados:
• Relembrando: Toda proposição tem um e somente um

dos valores lógicos, verdade ou falsidade. Por este
motivo, chamamos a Lógica Matemática de bivalente.
 Exemplos e contraexemplos:
 Avalie se as condições acima são proposições.

 Nos exemplos 1, 2, e 3, as proposições são verdadeiras.

 No exemplo 4 é proposição, porém uma proposição
falsa.
 O exemplo 5 não é uma proposição, uma vez que não é
possível atribuir um único valor lógico, pois depende do
valor atribuido a x.
 Em 6 não é proposição, pois é uma sentença
exclamativa.
 Os exemplos 7 e 8 não são proposições, pois não são
sentenças declarativas.
 Representa-se as proposições simples por letras
minúsculas p, q, r, s, t, ...
 Representa-se as proposições compostas por letras

maiúsculas P, Q, R, S, T,...
 Osvalores lógicos são representados por V(p) = V (ou 1),

para uma proposição verdadeira e, V(p) = F (ou 0), para
uma proposição falsa.
 As proposições simples são aquelas que não contêm
nenhuma outra como parte de si mesma, ou seja, não
fazem uso dos conectivos.
 Exemplo: Considere as proposições:

• p: O arco-íris é colorido.
• q: 2 > 3
• Temos que V(p) = V e V(q) = F
 Outroexemplo. Sempre que “p” e “q” forem verdadeiros,
“r” também será.
p : Faz dois graus negativos.

 q : Faz sol.
 r : Então está frio.
p ^ q -> r
A semântica é a interpretação dada para a sentença
 (V) ^ (V) -> (V)
e está ligada a um contexto.
A sintaxe é a análise que é realizada sobre a

formação de uma sentença, seus símbolos e
organização, de forma a se identificar a validade de
uma expressão
Lógica Proposicional: Conectivos
 Dadasproposições podemos formar outras proposições
usando as expressões “não”, “e” , “ou” , “se ... então” e “se,
e somente se”.
 Essas
expressões são os conectivos fundamentais da Lógica
Matemática.
 As sentenças formadas pela combinação de proposições,

isto é, fazem uso de conectivos, são chamadas proposições
compostas.
O que vimos na aula anterior….
• O que vimos na aula anterior?
• O que é lógica? É o estudo dos métodos de pensar ou formas de
organizar o pensamento entre certo ou errado;
• O que Sintaxe? COMO SE ESCREVE;
• O que é semântica? SIGNIFICADO;
• O que é uma proposição? É uma sentença (conjunto de palavras
ou símbolos) declarativa que expressa sentido completo, ou
pode ser classificada com V ou F
• Proposição deve ter: SUJEITO + PREDICADO;
• Por que a lógica matemática é classificada como bivalente? PQ
SÓ PODE SER V ou F
• Proposição simples x proposição composta.
• O que não são proposições? Sentenças exclamativas,
interrogativas e imperativas;
• Representação lógica V(p) = V (1) ............V(p) = F(0)
 Exemplos: Com as proposições “2 é ímpar” e “3 é primo”
afirma-se com as sentenças:
• 1) 2 é ímpar e 3 é primo.
• 2) 2 é ímpar ou 3 é primo.
• 3) Se 2 é ímpar então 3 é primo.
• 4) 2 é ímpar se, e somente se, 3 é primo.
• Quais proposições acima são simples e quais são

compostas?
 Exemplos: Com as proposições “2 é ímpar” e “3 é primo”
afirma-se com as sentenças:
• 1) 2 é ímpar e 3 é primo.
• 2) 2 é ímpar ou 3 é primo.
• 3) Se 2 é ímpar então 3 é primo.
• 4) 2 é ímpar se, e somente se, 3 é primo.
 Proposiçõescomo “2 é ímpar” e “3 é primo” são simples. Já

as proposições de 1 a 4, são compostas.
 Alfabeto da lógica proposicional:
 Símbolos de pontuação: (,)
 Símbolos de verdade: V ou F ou true e false
 Proposições compostas: P, Q, R, S ...;
 Proposições simples: p, q, r, s ...;
 Conectivos proposicionais:
• ˅ = ou;
• ˄ = e;
• ~ ou ¬ = não;
• → = se ... então;
• ↔ = sse ( se e somente se) ;
 Representação dos conectivos, símbolos que representam e
denominação
Conectivos

 Dadas proposições p e q, seguem as denominações
compostas.
 "p e q" é a conjunção de p e q e é indicada por p ˄ q
compostas.
 "p ou q" é a disjunção de p e q e é indicada por p ˅ q
compostas.
 "se p então q" é a condicional de p e q e indicada por p →
q
compostas.
q
 "p se, e somente se, q" é a bicondicional de p e q e
indicada por p ↔ q
compostas.
q
 "p se, e somente se, q" é a bicondicional de p e q e
indicada por p ↔ q
 A negação de p é indicada por ~p e é representada na
linguagem corrente por "não p" ou por "não é verdade
que p" ou ainda por "é falso que p".
Lógica Proposicional: Conectivo e ( )
A partir de duas proposições, obtém-se uma terceira
denominada conjunção:
 Exemplo:
• (p) Maria estuda Matemática
• (q) José é advogado
 Conjunção de (p) e (q): p q
 Maria estuda Matemática e José é advogado

Lógica Proposicional: Conectivo ou ( )
A partir de duas proposições, obtém-se uma terceira
denominada disjunção:
 Exemplo:
• (q) José vai pescar
 Disjunção de (p) ou (q): p q
 Maria estuda Matemática ou José vai pescar

Lógica Proposicional: Conectivo não (~ ou ¬)
A partir de uma proposição, obtém-se uma segunda
denominada negação:
 Assim, a negação nega o valor-verdade de uma proposição
 Exemplo:
 Negação de (p): ¬p
 Não (Maria estuda Matemática)

Lógica Proposicional: Conectivo Condicional (→)
 Conectivo condicional lido como se...então
 A partir de duas proposições, obtém-se uma terceira
denominada condicional ou implicação
 Proposição à esquerda de → denomina-se premissa
ou antecedente
 Proposição à direita de → denomina-se conclusão ou
consequente
 Exemplo:
• (p) Windows é um sistema operacional
• (q) C# é uma linguagem de programação
 Condicionalde (p) e (q): p → q
 Se Windows é um sistema operacional então C# é
uma linguagem de programação
Lógica Proposicional: Conectivo Bicondicional (↔)
 Conectivobicondicional é lido como se e somente se
 A partir de duas proposições, obtém-se uma terceira
denominada bicondicional
 Exemplo:
• (p) Um triângulo é retângulo
• (q) Um triângulo tem um ângulo reto
 Bicondicional de (p) e (q): p ↔ q
 Um triângulo é retângulo se e somente se tem um ângulo

reto
 Exemplo1: Considerando as proposições:
 p: Jorge Amado escreveu o romance "Mar Morto"
 q: Rui Barbosa era baiano
 Como seriam as traduções:
 p: Jorge Amado escreveu o romance "Mar Morto"
 q: Rui Barbosa era baiano
 Seguem as seguintes traduções:

 p: 2 é um número par
 q: 6 é múltiplo de 3

 p: 2 é um número par
 q: 6 é múltiplo de 3

Lógica Proposicional
 Precedência de operadores ou conectivos lógicos:
 Maior precedência: ~
 Precedência intermediária: ˄,˅
 Menor precedência: →, ↔
 Contraposição:
 Contraposição: Em lógica, contraposição é uma lei, que diz

que, para toda sentença condicional, há uma equivalência
lógica entre a mesma e sua contrapositiva. Na
contrapositiva de uma sentença, o antecedente e o
consequente são invertidos e negados;
 Ex1: A contrapositiva de P Q é, portanto, ~Q ~P

 Contraposição:
 Ex2: A proposição “Todos os morcegos são

mamíferos” pode ser reescrita em sua forma
condicional: “Se algo é morcego, então é mamífero”.
A lei diz que a sentença é idêntica à sua

contrapositiva, assim, “se algo não é mamífero, então
não é morcego”.
 Recíproca:
a recíproca é uma relação de implicação.
 Tendo duas proposições, A e B, há duas implicações
quem podem ser formadas usando estas propostas:
A  B (Se A então B)
B  A (Se B então A)
 Recíproca:
 Ex:Qual a recíproca da proposição: “Se ele ganhou na

loteria, então ele tem muito dinheiro” é: “Se ele tem
muito dinheiro, então ele ganhou na loteria.
Se a proposição (se A então B) e sua recíproca (se B

então A) forem verdadeiras, pode-se afirmar "se e
somente se A então B", pois vale "se A então B" e vale a
recíproca, que diz que é impossível valer B sem valer A.
 Inversa:
 ~P  ~Q
 inversa é um tipo de sentença condicional que é
uma inferência imediata feita a partir de outra
sentença condicional. Qualquer sentença condicional
tem uma inversa: a contrapositiva da inversa. A
inversa de P  Q é ~P  ~Q
 Negação:
 ~(P  Q)
 "Existeum morcego que não é mamífero"
 Se a negação é verdadeira, a proposição original – “Se
algo é morcego, então é mamífero” (e,
consequentemente, a contrapositiva) é falsa. No
exemplo mostrado, a negação é claramente falsa.
Lógica Proposicional: Exercícios
 Os exercícios serão passados no quadro
Exercícios:
1. Expresse de forma equivalente a seguinte sentença:
"Todo objeto vermelho tem cor."
1.2 Usando a sentença equivalente anterior, faça a
contraposição, inversa, recíproca e negação;
2. Expresse de forma equivalente a seguinte sentença:

“Todo quadrilátero tem quatro lados”.
2.1 Usando a sentença equivalente anterior, faça a
contraposição, inversa, recíproca e negação
1. Exercícios - Gabarito:
- equivalente "Todo objeto vermelho tem cor." ("Se um objeto é
vermelho, então o mesmo tem cor.“).
- contraposição; (Se um objeto não tem cor, então o mesmo não é
vermelho“). Isso segue logicamente de nossa sentença inicial e, assim
como a original, é, evidentemente, verdadeira.
- inversa; (“Se um objeto não é vermelho, então o mesmo não tem
cor”); Novamente, um objeto que é azul não é vermelho, e ainda assim
tem cor. Logo, nesse caso, a inversão torna a sentença falsa.
- recíproca; ("Se um objeto tem cor, então é vermelho.“). Objetos
podem ter outras cores, obviamente, logo, a recíproca de nossa
afirmação é falsa.
- negação; ("Existe algum objeto vermelho que não tem propriedade de
cor“). Se isso fosse verdade, então tanto a recíproca como a inversa
deveriam ser verdadeiras exatamente neste caso em que vermelho não é
uma cor. Contudo, em nosso mundo essa afirmação é completamente
falsa.
2. Exercícios - Gabarito:
- equivalente “Todo quadrilátero tem quatro lados”. ("Se um
polígono é um quadrilátero, então o mesmo tem 4 lados.").
- contraposição; (“Se um polígono não tem 4 lados, então não é
um quadrilátero“). Como diz a lei, a contrapositiva compartilha o
valor-verdade da condicional original.
- inversa; (“Se um polígono não é um quadrilátero, então o
mesmo não tem 4 lados”); Nesse caso, diferentemente do último
exemplo, a inversa é verdadeira.
- recíproca; (" Se um polígono tem 4 lados, então o mesmo é um
quadrilátero“). Novamente, neste caso, diferentemente do
exemplo anterior, a recíproca é verdadeira.
- negação; (" Existe pelo menos um quadrilátero que não tem 4
lados.“). Essa sentença é, obviamente, falsa.
1. Exercícios: Considere as proposições: p: Está frio e
q: Está chovendo. Traduza para a linguagem
corrente as seguintes proposições:
1. Exercícios: Considere as proposições: p: Está frio e q: Está
chovendo. Traduza para a linguagem corrente as seguintes
proposições:
Gabarito:
a) “Está frio ou não está chovendo”;
b) “Se está frio então está chovendo”
c) “Não está frio e não está chovendo”
d) “Está frio se e somente se não está chovendo”;
e) “Está frio ou não está chovendo se e somente se está chovendo e
não está frio”
 2.Considere as proposições p: A terra é um planeta e
q: A terra gira em torno do sol. Traduza para a
linguagem simbólica às seguintes proposições:
 2.Considere as proposições p: A terra é um planeta e
q: A terra gira em torno do sol. Traduza para a
linguagem simbólica as seguintes proposições:
 Gabarito:
 3.
Escreva a negação das seguintes proposições
numa sentença o mais simples possível:
 3.
Escreva a negação das seguintes proposições
numa sentença o mais simples possível:
 Gabarito:
 4. Dada a condicional: Se p é primo então p = 2 ou p é
ímpar”, determine:
 a) a contrapositiva =
 b) a recíproca =
 4. Dada a condicional: Se p é primo então p = 2 ou p é
ímpar”, determine:
 a) a contrapositiva =
 b) a recíproca =
 Gabarito:
 5. Simbolizar as seguintes proposições matemáticas:
 Se x > 0 então y = 2
y = 4 e se x < y então x < 5
x é maior que 5 e menor que 7 ou x não é igual a 6

 5. Simbolizar as seguintes proposições matemáticas:
 Se x > 0 então y = 2 (Consideremos p: x > 0 e q: y = 2. Logo,
traduzindo para a linguagem simbólica teremos: p q )
y = 4 e se x < y então x < 5 (Consideremos p: y = 4; q: x < y e

r: x < 5. Logo, traduzindo para a linguagem simbólica teremos:
p (q r))
x é maior que 5 e menor que 7 ou x não é igual a 6.

Consideremos p: x > 5; q: x < 7 e r: x = 6. Traduzindo para a
linguagem simbólica teremos: (p q) V ~r
 6.Sejam as proposições p: Carlos fala francês: q:
Carlos fala inglês e r: Carlos fala alemão. Traduzir
para a linguagem simbólica as seguintes proposições:
• a) Carlos fala francês ou inglês, mas não fala
alemão.
• b) Carlos fala francês e inglês, ou não fala francês e
alemão.
• c) É falso que Carlos fala francês e não fala alemão.
• d) Se Carlos não fala francês ou inglês, também
não fala alemão.
 6.Sejam as proposições p: Carlos fala francês: q:
Carlos fala inglês e r: Carlos fala alemão. Traduzir
para a linguagem simbólica as seguintes proposições:
• a) Carlos fala francês ou inglês, mas não fala
alemão. (p V q) ~r
• b) Carlos fala francês e inglês, ou não fala francês e
alemão. (p q) V ~(p r)
• c) É falso que Carlos fala francês e não fala alemão.
~(p ~r)
• d) É falso que Carlos fala inglês ou alemão mas não que
fala francês. ~((q V r) ~p)
Referências
 ALENCAR, Edgard de Filho. Iniciação à Lógica Matemática.
Editora Nobel. São Paulo-SP, 2002. Reimpressi em 2011.
 BARANAUSKAS, José Augusto. Cálculo Proposicional. USP,
São Paulo-SP, 2018.
 Cálculo Proposicional. Autor Desconhecido. UFBA,
Salvador – BA, 2018.
 KAESTNE, Celso Antônio Alvez. Notas de aula. UTFPR.
2009.
 MENEZES, Paulo Blauth. Matemática discreta para
computação e informática - Vol. 16. 4. ed. Porto Alegre:
Bookman, 2013. recurso online (Livros didáticos
informática UFRGS).

Material Aulas 1 2 3 4

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Material Aulas 1 2 3 4

Enviado por

Direitos autorais:

Formatos disponíveis

CIÊNCIA DA COMPUTAÇÃO

• Prof. Ariel Zuquello

Unidade 02 - Proposições e conectivos

• “O estudo da Lógica é o estudo dos métodos e

• “O estudo da Lógica é o estudo dos métodos e

• “A Lógica formal é uma ciência que determina as

• Lógica é o estudo de argumentos.

• Lógica é o estudo de argumentos.

• Um argumento é uma sequência de enunciados na qual

• Lógica é o estudo de argumentos.

• Um argumento é uma sequência de enunciados na qual

• “As premissas servem para provar, ou pelo menos

• Entende-se por lógica booleana ou lógica de Boole o

• Entende-se por lógica booleana ou lógica de Boole o

• George Boole (inglês, 1815-1864) foi um dos

A lógica preocupa-se com a forma como uma

A lógica preocupa-se com a forma como uma

A lógica preocupa-se com a forma como uma

A lógica preocupa-se com a forma como uma

A Lógica Matemática ou proposicional faz uso da

Fonte: Autor Desconhecido, 2018.

1) Está fazendo sol. 4) A lua não tem gravidade.

2) Está chovendo. 5) Jacarés tem dentes.

3) O quadrado tem quatro lados. 6) A luz está apagada.

Sujeitos: entes ou coisas Predicados: atributos dos sujeitos

 Conjunto dos números inteiros:

 Subconjunto: Números negativos ou não positivos

Por este motivo, a Lógica Matemática ou

Por este motivo, a Lógica Matemática ou

Os termos verdade e falsidade são chamados

• I) Princípio da identidade - tudo é idêntico a si mesmo. Por

• I) Princípio da identidade - tudo é idêntico a si mesmo. Por

• II) Princípio da Não Contradição - Uma proposição NÃO

• I) Princípio da identidade - tudo é idêntico a si mesmo. Por

• II) Princípio da Não Contradição - Uma proposição NÃO

• III) Princípio do Terceiro Excluído - Toda proposição ou é

A viagem entre Ribeirão Preto e Guarujá.

 ….Não são sentenças proposicionais pois não possuem um

• Relembrando: Toda proposição tem um e somente um

• Relembrando: Toda proposição tem um e somente um

 Avalie se as condições acima são proposições.

 Nos exemplos 1, 2, e 3, as proposições são verdadeiras.

 Representa-se as proposições compostas por letras

 Osvalores lógicos são representados por V(p) = V (ou 1),

 Exemplo: Considere as proposições:

p : Faz dois graus negativos.

A sintaxe é a análise que é realizada sobre a

 As sentenças formadas pela combinação de proposições,

• Quais proposições acima são simples e quais são

 Proposiçõescomo “2 é ímpar” e “3 é primo” são simples. Já

Fonte: Autor Desconhecido, 2018.

 Conjunção de (p) e (q): p q

 Maria estuda Matemática e José é advogado

 Disjunção de (p) ou (q): p q

 Maria estuda Matemática ou José vai pescar

 Não (Maria estuda Matemática)

 Um triângulo é retângulo se e somente se tem um ângulo

Fonte: Autor Desconhecido, 2018.

Fonte: Autor Desconhecido, 2018.

Fonte: Autor Desconhecido, 2018.

 Contraposição: Em lógica, contraposição é uma lei, que diz

 Ex1: A contrapositiva de P Q é, portanto, ~Q ~P

 Ex2: A proposição “Todos os morcegos são