1. Légica Proposicional 4.1 Proposiciones En el desarrollo de toda teoria (matematica 0 no) se hacen afirmaciones en forma de oraciones. En la evaluacién numérica que se realiza en computadoras. cn el andlisis del lenguaje desde el punto de vista légico, en la construccién, prueba y verificacién de programas computacionales, interesa un tipo especial de oraciones a las que daremos el nombre de enunciados 0 proposiciones. Las proposiciones son afirmaciones que tienen un valor de verdad: 0 son verdaderas o son falsas. Es decir, las proposiciones son oraciones bivalentes; esto significa que asumen alguno de estos dos valores: verdadero 0 falso (pero no ambos simulténeamente). Las siguientes afirmaciones son ejemplos de proposiciones: “1 es un numero primo”, “8 es multiplo de 2”, “En el idioma espaiiol, las vocales son a, e, i, 0, w y sus valores de verdad son “falso”, “verdadero” y “verdadero”, respectivamente. En este andlisis sélo tendremos en cuenta oraciones que puedan clasificarse como verdaderas o falsas; no nos interesan aquellas que se refieran a una opinin individual, por ejemplo, “creo que mi profesor se equivoca”; también quedarén excluidas las oraciones imperativas, tales como ““Vete a la cama” o “Cierra la puerta”, asi como las oraciones interrogativas “{Quieres ir al cine?”, 0 las exclamativas ;Cémo Hlueve!, ete. Se suelen utilizar letras mimusculas “p”, “g”, “r proposiciones. Por ejemplo: “p": “Logica Proposicional es uno de los capitulos de Matematica Discreta” “q": “8 es el cubo de 2” * El identificador ‘“ASmatdis’ es valido en el lenguaje Pascal” ‘La garza es un mamifero”. “f", ete., para designar Estas proposiciones se Maman primitivas 0 atémicas, ya que no pueden descomponerse o subdividirse en partes mds simples. La légica proposicional no asigna los valores de verdad (verdadero o falso) a cada proposicién atémica. Estas ya tienen un valor asignado cuando se las manipula légicamente. La proposicién “r”: “El identificador “ASmatdis’ es valido en el lenguaje Pascal” es verdadera porque asi lo establecen las reglas que tiene el Lenguaje Pascal para aceptar a una sucesion de caracteres alfanuméricos como un identificador, La “La garza es un mamifero” es falsa porque las Ciencias Biologicas asi lo han establecido. A partir de las proposiciones primitivas podemos obtener nuevas proposiciones. llamadas proposiciones compuestas.1.2 Tablas de Verdad y Conectivos Légicos Las proposiciones compuestas se pueden obtener de dos maneras: por negacién de una proposicién dada 0 combinando dos o mds proposiciones mediante conectivos, 1.2.1 Negacién: Sea “p” una proposicién. La negacidn de una proposicién “p” €8 una nueva proposicién que se denota por “~p", ““p" o bien“ p " y se lee “no p”. Si "p” es verdadera, la expresién “=p” es falsa. Si “p” es falsa, la expresién “op” es verdadera, Para la "p" de la seccién anterior, "“p" es la proposicién “Logica Proposicional no es uno de los capitulos de Matematica Discreta”. En este caso “p” admite como valor de verdad: verdadero mientras que “—p" tiene como valor de verdad: falso, La Tabla 1.1 representa la negacién en forma tabular. Al elaborar estas tablas, a las que designaremos tablas de verdad, escribimos “0” para la proposicién falsa y “1” para la verdadera. Para cada proposicién atémica que se considere, sus valores de verdad pueden ser: 0.0 1. Tabla 1.1 1.2.2 Conjuncién: Sean “p" y “gq” proposiciones. La conjuncién de la proposicién “p” con la proposicién “g” es una nueva proposicién que se denota ‘p aq" y se lee “p y q”. La expresién “10 es milltiplo de 2 y de 6” es la conjuncién de la proposicién “10 es miiltiplo de 2” con la proposicién “10 es miltiplo de 6” La proposicion “p aq” es verdadera cuando ambas, tanto “p” como “gq” son verdaderas. En cualquier otro caso es falsa. La Tabla 1.2 expresa los valores de verdad de Ja conjuncién mediante su correspondiente tabla de verdad Tabla 1.2 P [a [para 16La expresién “10 es miiltiplo de 2 y de 6” es falsa porque es la conjuncién de las proposiciones primitivas: “10 es miltiplo de 2”, que es verdadera, con la proposicién: “10 es miiltiplo de 6”, que es falsa. La proposicién compuesta “10 es un miltiplo de 2 y de 5” es verdadera porque es la conjuncién de proposiciones atomicas verdaderas. La conjuncién aparece como el primer conectivo légico en el sentido de operador binario, ya que para poder definir la proposicién compuesta "p aq” se nevesitan dos proposiciones atémicas. Estas pueden tener valores de verdad “0” “1”, por lo que necesitamos describir lo que ocurre en cada caso. En la tabla de verdad, la lista de los cuatro pares de asignaciones de verdad posibles para “p" y “g” se puede hacer en cualquier orden. Sin embargo. preferimos que adhieran al orden aqui propuesto porque es el que usaremos a lo largo del texto. 1.2.3 Disyuneién: Sean “p” y “g” proposiciones. Vamos a distinguir dos tipos de disyunciones. La disyuncién incluyente que \amaremos disyuncién (simplemente), y la disyuncién excluyente 0 diferencia simétrica Disyuncién incluyente: La expresién “p vq” denota una nueva proposicién, que ¢s la “disyuncién” de “p” con “q” y se lee “p o q”. Aqui utilizamos la disyuncién “o” en sentido inclusive. Esto significa que, “p vq” es una proposicién verdadera si una, la otra, o ambas proposiciones son verdaderas. Esto suele indicarse escribiendo “y/o” en el lenguaje diario. “El programa utilizado es erréneo 0 la salida fue mal seleccionada” es ta disyuncién de la proposicién “El programa utilizado es eréneo” con la proposicién “la salida fue mal seleccionada”, Disyuncién excluyente: El “o” exclusivo o también llamado “diferencia simétrica” es una proposicién que se denota “p v q” y se lee “o po q”. La proposicién compuesta “py q” es verdadera si una o la otra, pero nu ambas proposiciones son verdaderas. La expresién “10 es miiltiplo de 2 0 de S” es verdadera (disyuncién incluyente). Mientras que la proposicién “O 10 es multiplo de 2 0 es un numero entero” es falsa (disyuncién excluyente). Las Tablas 1.3 y 1.4 describen en forma tabular los conectivos disyuncién y diferencia simétrica, respectivamente. Tabla 1.3