Kategorier: Alla - proposiciones - condicionales - lógica - disyunción

av César L. Rios S. för 4 årar sedan

1071

Conectivas logicas

Las conectivas lógicas son herramientas fundamentales en lógica proposicional, utilizadas para conectar proposiciones y determinar el valor de verdad de una fórmula compuesta. La conjunción es una de estas conectivas y su valor de verdad es cierto solo cuando ambas proposiciones conectadas son verdaderas.

Conectivas logicas

Conectivas logicas

Conjunción

Es un conector lógico cuyo valor de la verdad resulta en cierto solo si ambas proposiciones son ciertas, y en falso de cualquier otra forma. Existen diferentes contextos donde se utiliza la conjunción lógica.

una conectiva lógica 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.

Condicionales

Es una conectiva lógica que conecta dos proposiciones, representado usualmente A-->B . En lógica proposicional, el condicional material es una función de verdad binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se vuelve verdadero en cualquier otro caso.

Negación

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.

Disyunción

Es un conector lógico, cuyo valor de la verdad resulta en falso solo si ambas proposiciones son falsas, y en cierto de cualquier otra forma. Existen diferentes contextos donde se utiliza la disyunción lógica.