Untitled

PROPOSICIONES SIMPLES Y COMPUESTAS

• PROPOSICIONES COMPUESTAS:
• tambien denominadas moleculares. Son aquellas que están formadas por dos o más proposiciones simples unidas por los operadores lógicos.
• PROPOSICIONES SIMPLES:
• tambien denominadas proposiciones atómicas. Son aquellas proposiciones que no se pueden dividir.

PROPOSICIONES SIMPLES Y COMPUESTAS

• PROPOSICIONES SIMPLES: tambien denominadas proposiciones atómicas. Son aquellas proposiciones que no se pueden dividir.
• PROPOSICIONES COMPUESTAS: tambien denominadas moleculares. Son aquellas que están formadas por dos o más proposiciones simples unidas por los operadores lógicos.

Diagrama de VENN

• Los diagramas de Venn son esquemas usados en la teoría de conjuntos, tema de interés en matemáticas, lógica de clases y razonamiento diagramático.

Diagrama de Venn

• Los diagramas de Venn son esquemas usados en la teoría de conjuntos, tema de interés en matemáticas, lógica de clases y razonamiento diagramático.
• 

CONECTIVOS LÓGICOS

• En lógica, una conectiva lógica, o simplemente conectiva, es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias, de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.

CONJUNCIÓN

• En razonamiento formal, una conjunción lógica entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto sólo si ambas proposiciones son ciertas, y en falso de cualquier otra forma.​

DISYUNCIÓN

• En razonamiento formal, una disyunción lógica entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso sólo si ambas proposiciones son falsas, y en cierto de cualquier otra forma.​ Existen diferentes contextos donde se utiliza la disyunción lógica

NEGACIÓN

• En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos. Intuitivamente, la negación de una proposición es verdadera cuando dicha proposición es falsa, y viceversa.

CONDICIONAL

• El condicional material, conocido como condicional, condicional funcional de verdad, o imprecisamente como implicación material, es una conectiva lógica que conecta dos proposiciones

BI-CONDICIONAL

• Traducción del inglés-En lógica y matemáticas, el bicondicional lógico es la conexión lógica de dos declaraciones que afirman "si y solo si", donde es un antecedente y es un consecuente. Esto a menudo se abrevia "iff"

Slide 11