Lógica simbólica

Conjunción (Y enunciados)

Una conjunción es un enunciado compuesto formado por la combinación de dos enunciados usando la palabra y . En lógica simbólica, la conjunción de p y q se escribe como .

Una conjunción es verdadera solo si ambos enunciados en ella son verdaderos. La tabla de verdad siguiente da el valor de verdad de dependiendo de los valores de verdad de p y q .

Disyunción (O enunciados)

Una disyunción es un enunciado compuesto formado por la combinación de dos enunciados usando la palabra o . En lógica simbólica, la disyunción de p y q se escribe como .

Una disyunción es verdadera si ya sea uno o ambos de los enunciados en ella son verdaderos. La tabla de verdad siguiente da el valor de verdad de dependiendo de los valores de verdad de p y q .

Negación (NO enunciados)

La negación de un enunciado p es no p .

El símbolo ~ o es usado para denotar la negación.

Si p es verdadero, entonces ~ p es falso, y vice versa.