Page 6 - Lógica Proposicional
P. 6

Revisando la tabla podemos observar que si el antecedente y consecuente son
                  verdaderos (1) entonces el resultado es verdadero (1), para el resto de las

                  combinaciones son falsos (0).             Las expresiones gramaticales para
                  conjunciones son: “y” “pero” “mas” y los signos de puntuación, coma (,) punto (.)

                  punto y coma (;).


                  DISYUNCIÓN:
                  Se representa con el símbolo (V) y su expresión gramatical es “o”, su tabla de

                  verdad es.




                                               a           b             a V b

                                               0           0           0
                                               0                1      1

                                               1                0      1

                                               1           1           1



                   Podemos revisar en la tabla de verdad que si el antecedente y el consecuente son
                  falsos (0) entonces el resultado es falso y el resto de las combinaciones son

                  verdaderas (1)


                  DISYUNCIÓN EXCLUSIVA
                  Se la representa con el símbolo ꓦ, en esta se plantea que no puede existir dos

                  cosas a la vez, las expresiones gramaticales son “o” “o solamente “ “ o…”, ejemplo.
                  a Apruebo el curso o repruebo el curso; según expresa las preposiciones o es la una

                  o la otra nunca las dos a la vez, en su tabla de verdad se aprecia que si los valores

                  del antecedente y consecuente son iguales entonces el resultado es falso (0), las
                  otras combinaciones son verdaderas (1).



                                                   a           b             a  V b
                                                   0           0           0

                                                   0           1           1

                                                   1           0           1
                                                   1           1           0







                                                               5
   1   2   3   4   5   6   7   8   9   10   11