Inteligencia Artificial - Cálculo Lógico- Tautologias-Formulas

download Inteligencia Artificial - Cálculo Lógico- Tautologias-Formulas

of 9

Transcript of Inteligencia Artificial - Cálculo Lógico- Tautologias-Formulas

  • 8/16/2019 Inteligencia Artificial - Cálculo Lógico- Tautologias-Formulas

    1/9

    FACULDADE DE CASTANHAL-FCAT

    ADILSON MONTEIRO RAIOL

    ALEXANDRE MATOS ARAÚJO

    MARIA MAXELEN DA COSTA SILVA

    CÁLCULO LÓGICO

    CASTANHAL-PA

    2015

  • 8/16/2019 Inteligencia Artificial - Cálculo Lógico- Tautologias-Formulas

    2/9

    1ºA – AvB↔BvA

    X X

    A B AvB BvA X↔Y

    V V V V V

    V F V V V

    F V V V V

    F F F F V

    1ºB- A^B↔B^A

    X Y

    A B A^B B^A X↔Y 

    V V V V VV F F F V

    F V F F V

    F F F F V

    2ºA- (AvB)vC↔Av(BvC)

    2°B - (A^B)^C ↔A(B^C) 

    XY K O

    A B C A^B X^C B^C A^K Y ↔ O

    V V V V V V V V

    V V F V F F F V

    V F V F F F F V

    V F F F F F F V

    F V V F F V F V

    F V F F F F F VF F V F F F F V

    F F F F F F F V

    XY K O

    A B C A v B XvC BvC AvZ K↔ O

    V V V V V V V V

    V V F V V V V V

    V F V V V V V V

    V F F V V F V V

    F V V V V V V V

    F V F V V V V V

    F F V F V V V V

    F F F F F F F V

  • 8/16/2019 Inteligencia Artificial - Cálculo Lógico- Tautologias-Formulas

    3/9

     

    3°A - Av(B^C) ↔(AvB)^(AvC) 

    3°B - A^(BvC) ↔(A^B)v(A^C)

    XY K O Z

    A B C B ^ C AvX AvB AvC K^O Y ↔ Z

    V V V V V V V V V

    V V F F V V V V V

    V F V F V V V V V

    V F F F V V V V V

    F V V V V V V V V

    F V F F F V F F V

    F F V F F F V F VF F F F F F F F V

    XY K O Z

    A B C BvC A^X A^B A^C KvO Y ↔ Z

    V V V V V V V V VV V F V V V F V V

    V

    V

    F V V V F V V V

    F F F F F F F V

    F V V V F F F F V

    F V F V F F F F V

    F F V V F F F F V

    F F F F F F F F V

  • 8/16/2019 Inteligencia Artificial - Cálculo Lógico- Tautologias-Formulas

    4/9

     

    4 °A - Av0↔A 

    X

    A 0 A v 0 X ↔A

    V F V V

    F F F V

    4°B - A^1↔A 

    X

    A 1 A ^ 1 X↔A 

    V V V V

    F V F V

    5°A - Av~A↔1 

    X

    A 1  ┐A Av┐A X ↔1

    V V F V VF V V V V

    5°B - A^~A↔0 

    X

    A 0  ┐A  A^┐A  x↔0

    V F F F VF F V F V

  • 8/16/2019 Inteligencia Artificial - Cálculo Lógico- Tautologias-Formulas

    5/9

     

    6°A –   ┐ (A v B) ↔ ┐A ̂ ┐B

    XY

    A B  ┐A  ┐B AvB  ┐X  ┐A^┐B  ┐X ↔ Y

    V V F F V F F V

    V F F V V F F V

    F V V F V F F V

    F F V V F V V V

    6°B -  ┐(A ^ B) ↔ ┐A v ┐B 

    X YA B  ┐A  ┐B A^B  ┐X  ┐Av┐B  ┐X ↔ Y

    V V F F V F F V

    V F F V F V V V

    F V V F F V V V

    F F V V F V V V

    7°A - A v A ↔ A 

    X

    A AvA X ↔ A

    V V V

    F F V

  • 8/16/2019 Inteligencia Artificial - Cálculo Lógico- Tautologias-Formulas

    6/9

    7°B - A ^ A ↔ A 

    X

    A A^A X ↔ A

    V V VF F V

    8°A - (A → B) ↔ ┐A v B 

    XY

    A B A→B  ┐A  ┐AvB X ↔ Y

    V V V F V V

    V F F F F V

    F V V V V V

    F F V V V V

    8°B - (B → A) ↔ A v ┐B 

    X Y

    A B B→A  ┐B Av┐B X ↔ Y

    V V V F V V

    V F V V V V

    F V F F F V

    F F V V V V

    9°A - (A → B) ↔ (┐B → ┐A)

    XY

    A B  ┐A  ┐B A →B  ┐B→┐A X ↔ Y

    V V F F V V V

    V F F V F F V

    F V V F V V VF F V V V V V

  • 8/16/2019 Inteligencia Artificial - Cálculo Lógico- Tautologias-Formulas

    7/9

     

    9°B - (B → A) ↔ (┐A→ ┐B) 

    X YA B  ┐A  ┐B B →A  ┐A →┐B X ↔ Y

    V V F F V V V

    V F F V V V V

    F V V F F F V

    F F V V V V V

    10°A - A → (B → C) ↔ (A ^ B) → C 

    X Y K Z

    A B C B→C A → X A^B K → C Y ↔ ZV V V V V V V V

    V V F F F V F V

    V F V V V F V V

    V F F V V F V V

    F V V V V F V V

    F V F F V F V V

    F F V V V F V V

    F F F V V F V V

    11°A -  ┐(┐A ) ↔ A

    X

    A  ┐A  ┐ (┐A) X ↔ A

    V F V V

    F V F V

  • 8/16/2019 Inteligencia Artificial - Cálculo Lógico- Tautologias-Formulas

    8/9

    2 CONTRADIÇÕES:

     ┐((A

    →B)

    ↔(A

    →B))

    X Y

    A B A→B  X↔X   ┐Y 

    V V V V F

    V F F V F

    F V V V F

    F F V V F

     ┐(0→A)

    X

    A 0 0→A   ┐X 

    V F V F

    F F V F

    2 TAUTOLOGIAS:

    (A ↔ B) ↔ (B ↔ A) 

    X Y

    A B A ↔ B  B ↔ A  X ↔ Y 

    V V V V V

    V F F F V

    F V F F V

    F F V V V

    (0 → A) ↔ (0 → B)

    X Y

    A B 0 0 → A  0 → A  X ↔ Y 

    V V F V V V

    V F F V V V

    F V F V V V

    F F F V V V

  • 8/16/2019 Inteligencia Artificial - Cálculo Lógico- Tautologias-Formulas

    9/9