Conectivas logicas

Lisää tämän kaltaisia

PARTICIONES DEL DISCO DURO.

luonut Andrea Velez Atehortua

Circulo de Viena

luonut javier eduardo barrera amado

Partes invariables de la oración

luonut Josué Cortéz

logica proposicional

luonut Tomas Urdin

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.