• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
Implicação lógica2
 

Implicação lógica2

on

  • 1,765 views

 

Statistics

Views

Total Views
1,765
Views on SlideShare
878
Embed Views
887

Actions

Likes
0
Downloads
0
Comments
0

3 Embeds 887

http://gestaodeti.com 884
http://webcache.googleusercontent.com 2
http://feeds.feedburner.com 1

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    Implicação lógica2 Implicação lógica2 Presentation Transcript

    • Implicação Lógica
    • Implicação Lógica
      • Uma proposição composta P(p,q) implica uma outra proposição composta Q(p,q) se a proposição composta Q(p,q) tiver valor lógico V para todas as vezes em que a proposição composta P (p,q) tiver valor lógico V.
      • Exemplo básico P => P
      • V <-- V
      • Linha 1 F F
    • Implicação Lógica V F F F F F V F V F F V F F V V V V V V p ↔ q p ν q p ۸ q q p
    • Regras de Inferência, usando a tabela da folha anterior
      • p => p ν q
      • q => p ν q
      • p ۸ q => p
      • p ۸ q => q
    • Mais uma tabela Verdade q -> p p -> q p ↔ q q p
    • Verifique as implicações lógicas
      • ( p ν q) ۸ (~p) => p
      • ( p ν q) ۸ (~q) => p
      • Regra do silogismo disjuntivo
      • ( p ->q) ۸ p => p
      • Regra Modus Ponens
    • Tautologia e implicação lógica
      • Teorema
      • Se P(p,q)=>Q(p,q) se e somente se
      • P(p,q)  Q(p,q) for tautológica
      • Exemplo: ( p ↔ q )  ( p  q )