Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica proposicional, son, Se utilizan - Coggle Diagram
Lógica proposicional
son
Proposiciones que en un contexto determinado se pueden calificar verdaderos o falsos
Se dividen en
Postulados
Su validez se acepta sin demostración
Conjeturas
Se consideran verdades pero aun no han sido demostradas
Definiciones
Se describen las caracteristicas y propiedades de un objeto matemático
Teoremas
proposiciones que se demuestras por medio de postulados, definiciones y teoremas ya demostrados
Leyes de morgan
"no (A y B)" es lo mismo que "(no A) o (no B)"
"no (A o B)" es lo mismo que "(no A) y (no B)"
Se utilizan
Conectivos lógicos
Negación de una proposición
Cambia el valor de verdad
Se simboliza
Conjunción de proposiciones
ambas proposiciones son verdaderas
Se simboliza
Disyunción de proposiciones
Al menos una proposición es verdadera
Se simboliza
Condicional o implicación
simpre que "p" ocurre, "q" ocurre
Se simboliza
Bicondicional
"p" ocurre si "q" ocurre, y "q" ocurre si "p" ocurre
Se simboliza
