Conectivas logicas

Honelako gehiago

ETAPAS DE DESARROLLO SEGÚN JEAN PIAGET

by Anita Cepeda

FACULTADES HUMANAS

by Ahide Rodriguez

Estructuras Selectivas

by Jonathan Quimis

Historia de la lógica

by David Carrillo

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.