1. Sintaxis
1.1. la forma de como se escriben las expreciones: Estudia los signos mismos con independencia de su significado, hace referencia a aquellas reglas que determinan cuales son las combinaciones correctas de signos.
2. Proposiciones
2.1. Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez. Toda proposición consta de tres partes, un sujeto, un verbo y un complemento referido al verbo
2.1.1. tipos de proposiciones
2.1.1.1. Simples, si solo tienen un sujeto, un verbo y un complemento. En caso contrario, son proposiciones compuestas.
2.1.1.2. Cerradas si tienen determinado sujeto. Abiertas si no lo tienen determinado.
2.1.1.3. Cerradas si tienen determinado sujeto. Abiertas si no lo tienen determinado.
2.1.1.4. Verdaderas o falsas según corresponda o no a la realidad
2.1.2. Ejemplos
2.1.2.1. 1) Juan come pizza y bebe refresco, es una proposición compuesta, cerrada y afirmativa 2) 6+4=10, es una proposición simple, cerrada, afirmativa y verdadera 3) x² ≠ x−2, es una proposición simple, abierta y negativa
3. Operaciones Logicas
3.1. son expreciones matematicas cuyo resultado es un valor booleano ( verdadero o falso )
3.1.1. Conjuncion
3.1.1.1. Es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo "Y" cuyo símbolo es "^" y se llama conjuntor.
3.1.1.1.1. "Jorge viajó a Melgar y Luis viajó a Girardot " p: Jorge viajó a Melgar q: Luis viajó a Girardot Simbologia:"p^q"
3.1.2. Disyuncion devil o Inclusiva
3.1.2.1. Disyuncion debil o inclusiva, es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo "o" cuyo simbolo es "v" y se llama disyuntor
3.1.2.1.1. "Eliana viajara a pereira o a bucaramanga" r: Eliana viajará a Pereira s: Eliana viajará a Bucaramanga Simbología: "rvs "
3.1.3. Disyuncion Fuerto o inclusiva
3.1.3.1. Es el enunciado compuesto en el que dos proposiciones se relacionan con el conectivo "o...o...", cuyo símbolo es "∆" y se llama disyuntor fuerte.
3.1.3.1.1. "O Ricardo radica en Miraflores o en Barranco" p: Ricardo radica en Miraflores q: Ricardo radica en Barranco Simbologia:"p∆q"
3.1.4. Implicacion simple o Incondicional
3.1.4.1. Es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo "si... entonces...", cuyo simbolo es↔ y se llama implicador
3.1.4.1.1. "Si 12 es un numero par entonces es divisible por 2" p: 12 es un número par ... (antecedente) q: 12 es un número divisible entre 2 (consecuente) Simbología:"p q"
3.1.5. Doble implicacion o Bicondicional
3.1.5.1. Es un enunciado compuesto en el que dos proposiciones se realizan con el conectivo "...si y solo si...", cuyo símbolo es " " llamado doble
3.1.5.1.1. "San Andres es una isla si y solo si esta rodeada de agua " p: San Andrés es una isla q: San Andrés está rodeada de agua Simbología: "p q"
4. Definicion
4.1. Lógica matemática. Es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado.
5. Tabla de verdad
5.1. La tabla de valores de verdad, también conocida como tabla de verdad. Se emplean en lógica para determinar los posibles valores de verdad de una expresión o proposición.
5.1.1. Tabla de valores de verdad de la conjunción
5.1.2. Tabla de valores de verdad de la disyunción débil
5.1.3. Tabla de valores de verdad de la disyunción fuerte
5.1.4. Tabla de valores de verdad de la implicación simple
5.1.5. Tabla de valores de verdad de la doble impliación