Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica proposicional :checkered_flag: Fuente de consulta: www.youtube.com…
Lógica proposicional :checkered_flag:
Fuente de consulta: www.youtube.com
AEAE2
¿Que es la lógica?
La ciencia que estudia la validez de un argumento.
¿Que es la lógica proposicional?
Estudia la valides de las proposiciones.
Las proposiones no son otra cosa que enunciados, pero, no todos los enunciados son proposiciones. :!?:
Las proposiciones deben tener una característica fundamental, es decir que puedan ser verdaderas o falsas
Ejemplos
NO ES:
Espero ingresar a la universidad
Esto no puede ser ni verdadero ni falso
ES:
1+1=3
Es falso!
Clases de proposiciones :pen:
Simples
Ejemplo:
uno más uno es dos =(p)
Conectivos lógicos
Tabla de verdad
NOTAS:
Cuando los valores del operador principal son todos falsos es:
CONTRADICCIÓN
Si los valores del operador tiene por lo menos una verdad y una falsedad es:
CONTINGENCIA
Cuando los valores del operador principal son todos verdaderos es:
TAUTOLOGIA
Compuestas
Ejemplo:
Juan estudia
y
trabaja =P&Q
Formula para saber las combinaciones finitas de P Q :pencil2:
2^n
Ejemplo
En caso de 2 propociones:
2^2=4
4/2=2
Es decir:
2 Verdaderas y 2 falsas para P
2/2=1
1 verdadera y 1 falsa
Quedaría así
Siempre va primera la verdad
Ejemplo de enunciado proposicional :check:
Es falso que si ud ve un gato negro entonces tendrá mala suerte
1) Proposiciones
Usted ve un gato negro =P
Usted tendrá mala suerte = Q
2) Formalización
Si ud ve un gato negro entonces tendrá mala suerte
= P -> Q
Es falso que... =
(p->q)