Este documento define y explica los operadores lógicos de negación, conjunción, disyunción, condicional y bicondicional. Proporciona tablas de verdad y ejemplos para cada operador lógico. Explica cómo estos operadores pueden usarse para expresar relaciones lógicas entre proposiciones y cómo se representan simbólicamente.
Este documento define y explica los operadores lógicos de negación, conjunción, disyunción, condicional y bicondicional. Proporciona tablas de verdad y ejemplos para cada operador lógico. Explica cómo estos operadores pueden usarse para expresar relaciones lógicas entre proposiciones y cómo se representan simbólicamente.
Este documento define y explica los operadores lógicos de negación, conjunción, disyunción, condicional y bicondicional. Proporciona tablas de verdad y ejemplos para cada operador lógico. Explica cómo estos operadores pueden usarse para expresar relaciones lógicas entre proposiciones y cómo se representan simbólicamente.
Definicin 1.4 (Negacin) Sea a una proposicin, la negacin de a, representada simblicamente por a, es una nueva proposicin, cuyo valor de verdad est dado por la siguiente tabla de verdad.
La negacin se presenta con los trminos gramaticales: "no","ni","no es
verdad que","no es cierto que". Ejemplo 1.6 Negacin de proposicines. Si Se tiene la proposicin a: Tengo un billete de 5 dolares. La negacin de a es: a: No tengo un billete de 5 dolares.
Definicin 1.5 (Conjuncin)
La proposicin resultante ser verdadera solamente cuando el valor de
verdad de ambas proposiciones es verdadero. La conjuncin se presenta con los terminos gramaticales: "y","pero","mas",y signos de puntuacin como: la coma, el punto, y el punto y coma.
Ejemplo 1.8 Conjuncin
Si se tienen las proposiciones: a: Trabajo mucho. b: Recibo un bajo sueldo. La conjuncin entre a y b se puede expresar como: a^b: Trabajo mucho pero recibo un bajo sueldo.
Definicion 1.6 (Disyuncin)
Sean a y b proposiciones, la disyuncin entre a y b, representada simbolicamente por ab, es una nueva propocisin, cuyo valor de verdad esta dado por la siguiente tabla de verdad:
La proposicin resultante ser falsa solamente
cuando el valor de verdad de ambas proposiciones es falso. Ejemplo: 1.10 Disyuncin de proposiciones. Si se tienen las proposiciones: a: Tengo un libro de trigonometra. b: Tengo un libro de lgebra. La disyuncin entre a y b es: ab: Tengo un libro de trigonometra o uno de lgebra. Existe la posibilidad de poseer ambos libros, razn por la cual esta disyuncin recibe el nombre de disyuncin inclusiva. La expresin "o estoy en Quito o estoy en Guayaquil" denota la imposiblidad de estar fisicamente en Quito y Guayaquil al mismo tiempo
Definicin 1.7 (Disyuncin exclusiva)
Sean a y b proposiciones, la disyuncion exclusiva entre a y b, representada simbolicamente por ab, es una proposicion, cuyo valor de verdad esta dado por la siguiente tabla de verdad:
La proposicion resultante ser verdadera cuando solamente una de ellas sea
verdadera. La disyuncin se presenta con el termino gramatical "o","solo","solamente","o....,o...". Ejemplo 1.11 Disyuncin exclusiva de proposiciones. Si se tienen las proposiciones: a: Estoy en Quito. b: Estoy en Guayaquil. La disyuncin exlusiva entre a y b es: ab: O estoy en Quito o estoy en Guayaquil. Definicin 1.8(Condicional). Se representa simbolicamente por ab, es una nueva proposicion, cuyo valor de verdad est dado por la siguiente tabla de verdad:
En la proposicin ab, a es el antecedente, hipotesis o premisa; b es el
consecuente, conclusin o tesis; y la proposicin resultante ser falsa solamente cuando el valor de verdad del antecedente sea verdadero y el valor de verdad del consecuente sea falso. En espaol, la proposicin ab se puede encontrar con los siguientes trminos gramaticales: "si a, entonces b", "a slo si b", "a solamente si b", "b si a", "si a,b", "b con la condicin que a", "b cuando a", "b siempre que a", "b cada vez que a ", "b puesto que a", "b porque a", o cualquier expresin que denote causa y efecto. Ejemplo 1.12 condicional proposiciones. Si se tienen las proposiciones: a: Juan gana el concurso.. b: Juan dona $10000.
La condicional entre a y b es:
ab: Si Juan gana el concurso, dona $ 10000.
Existen otras proposiciones relacionadas con la condicional ab, las cuales se denominan: reciproca, inversa y contrarreciproca (o contrapositiva) La Reciproca, es representada simbolicamente por: ba. La Inversa, es representada simbolicamente por: ab. La Contrarreciproca, es representada simbolicamente por: ba. Ejemplo 1.13 Variaciones de la condicional. A partir de la proposicion: "Si es un automovil, entonces es un medio de transporte". La Reciproca seria: "Si es un medio de transporte, entonces es un automovil". La Inversa seria: "Si no es un automovil, entonces no es un medio de transporte". La Contrarreciproca seria: "Si no es un medio de transporte, entonces no es un automovil". Definicion 1.9 (Bicondicional) Representada por ab, es una nueva proposicion, cuyo valor de verdad esta dado por la siguiente tabla de verdad:
La proposicion a b sera verdadera
cuando los valores de verdad de ambas proposiciones sean iguales. Tambien se puede observar quela proposicion ab sera falsa cuando los valores de verdad de ambas proposiciones sean diferentes. En espaol, la proposicion ab se puede encontrar con los siguientes terminos gramaticales: "a si y solo b ", "a si y solamente si b", "a implica b y b implica a", "a cuando y solo cuando b". Ejemplo 1.19 (Bicondicional) Dadas las proposicones: a: Un triangulo es equilatero. b: Un triangulo es equiangulo. Las bicondicional entre a y b es: ab: Un triangulo es equilatero si y solo si es equiangulo