Lógica Proposicional

 

Taller De Lógica Proposicional

1.)   Sean p = "Luis lee la Prensa ", q = "Luis lee el Mundo" y r = " Luis lee el             Universal". Escriba cada una de las siguientes proposiciones en forma simbólica.

                  A.  Luis lee la Prensa o el Mundo, pero no el Universal. 

                  B.  Luis lee la Prensa y el Mundo, pero no lee la prensa y el universal.

                                 

                  C.  No es cierto que Luis lee la Prensa pero no el universal.

                  D.  No es cierto que Luis lee el Universal o el Mundo pero no la Presa.

2.)   Para la siguientes Expresiones: Construya los respectivo arboles, las tablas de verdad y determine si son tautologias, contradicciones o contingencias.

                A. 

Es una Contingencia

                  B. 

Es una Contingencia

                  C. 

Es una Contingencia

3.)  Reduzca los siguientes polinomios a formas normales disyuntiva y conjuntiva

                A.

.

         FND:

         FNC:

               

                B.

         FND:

        FNC:

                C.

         FND:

         FNC:

   

4).    De acuerdo a las respectivas salidas determine la forma normal apropiada (conjuntiva o                              disyuntiva), y reduzca el polinomio a su más mínima expresión, te las reglas de reducción apropiadas:

Tomando salida S2 hacemos FND

Identidad

 

Tomando salida S3 hacemos FNC

5.) Dadas las respectivas premisas, establezca la inferencia lógica apropiada mediante el uso de las reglas de inferencia:

A)  p → ~r  Premisa 1       B) p → ~ (q v s)  Premisa 1       C)  (p v q)  Premisa 1

      r → q    Premisa 2            p                   Premisa 2               ~r      Premisa 2

       p         Premisa 3            t  → (q v s)     Premisa 3                q → r  Premisa 3   

                                             r → t              Premisa 4    

6.)  Escriba los siguientes polinomios lógicos en su equivalente Booleano: