7/17/2019 Problema de Las Entidades de La Logica

http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 1/17

     

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7/17/2019 Problema de Las Entidades de La Logica

http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 2/17

 

     

 

 

 

 

 

 

 

  Φ   ∃y∀x[(x   ∈   y)   ⇔  Φ(x)]       Φ(x)

   

            Φ  

 

  Φ  

  Φ(x)    ¬(x  ∈  x)  

∃y∀x[(x  ∈  y)  ⇔ ¬(x  ∈  x)]

 

7/17/2019 Problema de Las Entidades de La Logica

http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 3/17

     

       

∃y[(y   ∈  y)  ⇔ ¬(y   ∈  y)]

   

 

∃y∀x[(x  ∈  y)  ⇔ ¬(x  ∈  x)]  ⇒ ∃y[(y   ∈ y)  ⇔ ¬(y   ∈ y)]

 

 

7/17/2019 Problema de Las Entidades de La Logica

http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 4/17

 

 

 

 

7/17/2019 Problema de Las Entidades de La Logica

http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 5/17

 

             

 

 

 

   

 

 

 

 

 

 

 

 

 

   

 

 

 

 

 

 

 

7/17/2019 Problema de Las Entidades de La Logica

http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 6/17

 

 

 

   

 

7/17/2019 Problema de Las Entidades de La Logica

http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 7/17

 

 

   

 

 

7/17/2019 Problema de Las Entidades de La Logica

http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 8/17

 

 

 

 

 

 

 

 

 

 

 

 

   

 

 

 

 

 

7/17/2019 Problema de Las Entidades de La Logica

http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 9/17

 

   

 

     

 

 

 

 

 

 

     

 

 

     

 

     

     

 

 

 

 

 

    

     

    

           

        

       

 

 

 

 

 

7/17/2019 Problema de Las Entidades de La Logica

http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 10/17

 

 

 

 

 

   

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7/17/2019 Problema de Las Entidades de La Logica

http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 11/17

 

 α  →  α  

 ¬(α ∧

¬α)  

 

  α ∨ ¬α 

 

7/17/2019 Problema de Las Entidades de La Logica

http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 12/17

 

 

 

 

 

 

       

 

   

     

 

 

   

 

 

     

 

 

 

 

7/17/2019 Problema de Las Entidades de La Logica

http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 13/17

 

 

       

 

 

 

 

 

 

 

 

 

 

 

     

 

 

 

 

 

 

 

 

 

 

 

 

 

     

 

7/17/2019 Problema de Las Entidades de La Logica

http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 14/17

 

 

 

 

 

 

 

 

 

 

 

     

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

  ∃x(Px∨Qxy)  

         

 

7/17/2019 Problema de Las Entidades de La Logica

http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 15/17

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

     

 

 

 

 

     

 

 

 

 

 

 

  L1    L2    L3  

 

Li

 

 

 

 

 

7/17/2019 Problema de Las Entidades de La Logica

http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 16/17

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

     

   

 

     

 

7/17/2019 Problema de Las Entidades de La Logica

http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 17/17