Quiz de lógica proposicional

4 Questions

Relaciona los siguientes conceptos de lógica proposicional con su definición:

Proposición atómica = Enunciado con sujeto, cópula y predicado Proposición molecular = Unión de varias proposiciones por conectivos lógicos Operadores lógicos = Permite obtener proposiciones moleculares Proposición negativa = Niega algo en una proposición molecular

Vincula los siguientes términos con su función en la lógica proposicional:

Lógica proposicional = Estudia los valores entre proposiciones lógicas Conectivos lógicos = Unen varias proposiciones para formar una proposición molecular Proposición atómica = Posee sujeto, cópula y predicado Proposición molecular = Se obtiene al unir varias proposiciones por conectivos lógicos

Empareja los siguientes elementos con su descripción en lógica proposicional:

Valores de verdad = Conclusiones de las relaciones entre proposiciones lógicas Proposición atómica = Enunciado con sujeto, cópula y predicado Proposición molecular = Se forma al unir varias proposiciones por conectivos lógicos Operadores lógicos = Permiten obtener proposiciones moleculares

Relaciona los siguientes conceptos con su explicación en lógica proposicional:

Proposición negativa = Niega algo en una proposición molecular Proposición moleculares = Se obtienen de los operadores lógicos Proposición atómica = Enunciado que posee sujeto, cópula y predicado Operadores lógicos = Permiten obtener proposiciones moleculares

Study Notes

Conceptos Fundamentales de Lógica Proposicional

La lógica proposicional se enfoca en las proposiciones o afirmaciones que pueden ser verdaderas o falsas.
Estudia las operaciones lógicas que se aplican a estas proposiciones para obtener nuevas conclusiones.

Operadores Lógicos

Conectivos lógicos: palabras o símbolos que se utilizan para combinar proposiciones, como "y", "o", "no", "si-entonces", etc.
Operador de negación: cambia el valor de verdad de una proposición, es decir, si la proposición es verdadera, la negación la hace falsa, y viceversa.
Operador de conjunción: combina dos proposiciones para crear una nueva que es verdadera solo si ambas proposiciones son verdaderas.
Operador de disyunción: combina dos proposiciones para crear una nueva que es verdadera si al menos una de las proposiciones es verdadera.
Operador de implicación: establece una relación de causa-efecto entre dos proposiciones, es decir, "si P, entonces Q".

Reglas de Inferencia

Modus ponens: regla que permite concluir una proposición Q si se sabe que P es verdadera y también se sabe que "si P, entonces Q".
Modus tollens: regla que permite concluir que P es falsa si se sabe que Q es falsa y también se sabe que "si P, entonces Q".