LOGICA PROPOSICIONAL
por FABER STEVEN BRAUSIN BRAUSIN
1. PROPOSICIONES COMPUESTAS
1.1. Se conforman
1.1.1. Dos o mas proposiciones simples, unida por un conector lógico
1.1.1.1. La ballena no es roja
1.1.1.2. El 7 es mayor que 5 y 7 es menor que 10
1.1.2. No, o, y, si... entonces si, y solo si.
1.1.2.1. Terminare rápido si y solo si me doy prisa
1.1.2.2. Aprenderé matemáticas si y solo si estudio mucho.
2. PROPOSICIONES SIMPLES
2.1. Se determinan
2.1.1. VERDADERO
2.1.1.1. q:3x4=12
2.1.1.2. Raiz cuadrada de 16 es 4
2.1.2. FALSO
2.1.2.1. P: El cuadrado tiene 5 lados
2.1.2.2. La ballena es roja
3. CONECTORES LOGICOS
3.1. Se utiliza
3.1.1. Para conectar dos o mas proposiciones
3.1.1.1. NEGACIÓN
3.1.1.1.1. SIMBOLO
3.1.1.2. CONDICIONAL
3.1.1.2.1. SIMBOLO
3.1.1.3. DISYUNCIÓN INCLUSIVA
3.1.1.3.1. SIMBOLO
3.1.1.4. CONJUNCIÓN
3.1.1.4.1. SIMBOLO
3.1.1.5. BICONDICIONAL
3.1.1.5.1. SIMBOLO
3.1.1.6. DISYUNCIÓN EXCLUSIVA
3.1.1.6.1. SIMBOLO