mapa conceptual sobre lógica proposicional y operaciones lógicas
formula para combinaciones finitas de P Q :
2^n
Ejemplo
en caso de 2 proposiciones:
2^2 = 4
4/2= 2
Es decir dos verdaderas y dos falsas para p
2/2= 1
Una verdadera y una falsa
La verdad va de primero: 
Las proposiciones no son otra cosa que enunciados, pero , no todos los enunciados son proposiciones
las proposiciones deben tener una característica fundamental, es decir que deban ser verdaderas o falsas
ejemplos
no es proposición :
espero salir de viaje la próxima semana.
no es verdadera ni falsa
si es proposición:
6-2= 4
es verdadera
¿Qué es la lógica?
Es una ciencia formal destinada a estudiar los principios capaces de demostrar un punto determinado desde una perspectiva válida, cimentada en razón, e intelectualismo, la dialéctica y la capacidad de argumentación.
Formas de la lógica
Lógica matemática
Es una parte de la lógica que consiste en el estudio de la matemática y en la aplicación de estudio de todas las áreas de la misma , utilizada en todas las ciencias de la comunicación
Lógica formal
es el contrapunto de la lógica material. Aborda el estudio de la capacidad de razonamiento desde el aspecto más adecuado y desde las asociaciones, sin importar si es valido o no
lógica científica
Es la que sirve de la experiencia emanada de la lógica natural, pero además le adhiere la razón, generando planteos de todo lo existente.
Lógica natural
Es aquella que toda persona asimila por la experiencia sensible
Lógica de clases
Se encarga de analizar una proposición lógica en base a la pertenencia o no pertenencia de un elemento especifico o de un individuo particular a una determinada clase.
Lógica material
Su estudio es abordado desde la epistemología, una de las ramas modernas de la filosofía. su objetivo es basarse en la validez de un pensamiento determinado siguiendo la realidad.
Clases de proposiciones
Simples
uno mas uno es dos= (p)
Compuestas
ejemplo:
Carlos toca la música y canta = P & Q
Conectivos lógicos
TABLA DE VERDAD
NOTAS
Cuando los valores del operador principal son todos verdaderos es TAUTOLOGIA
Cuando los valores del operador principal son todos falsos es: CONTRADICCIÓN
Cuando los valores del operador principal tiene por lo menos una verdad y una falsedad es: CONTINGENCIA
EJEMPLO DE ENUNCIADO PROPOSICIONAL
Es falso que si usted ve un gato negro tendrá mala suerte
1) proposiciones
usted ve un gato negro= p
tendrá mala suerte = q
2) Formalización
es falso que ...= ¬ (p→q)