Teoría elemental de conjuntos Lógica proposicional Una proposición es cualquier enunciado lógico al que se le pueda asignar un valor de verdad (1) o falsedad (0). Dada una proposición p, se define la negación de p como la proposición p' que es verdadera...
More
Teoría elemental de conjuntos Lógica proposicional Una proposición es cualquier enunciado lógico al que se le pueda asignar un valor de verdad (1) o falsedad (0). Dada una proposición p, se define la negación de p como la proposición p' que es verdadera cuando p es falsa y que es falsa cuando p es verdadera. Se lee "no p". A partir de una o varias proposiciones elementales se pueden efectuar diversas operaciones lógicas para construir nuevas proposiciones; en este caso, se necesita conocer su valor de verdad o falsedad en función de los valores de las proposiciones de que se componen, lo cual se realiza a través de las tablas de verdad de dichas operaciones. Por ejemplo, la tabla de verdad de la negación es la siguiente: p p' 1 0 0 1 A continuación se describen las principales operaciones lógicas entre dos proposiciones p,q y sus tablas de verdad: Conjunción: es aquella proposición que es verdadera cuando p y q son verdaderas, y falsa en cualquier otro caso. Se escribe p ∧ q, y se lee
Less
