Lógica

Enviado por Programa Chuletas y clasificado en Otras materias

Escrito el en español con un tamaño de 1,92 KB

 
  • Negación (¬)

Consiste en cambiar el valor de verdad de una variable proposicional.

p¬ pVFFV
  • Disyunción

La proposición molecular será verdadera cuando una o ambas variables proposicionales sean verdaderas.

pqp / qVVVVFVFVVFFF
  • Conjunción

Es una conectiva que puede definirse como la composición:

p ? q = ¬(¬p ? ¬q)

La proposición molecular será verdadera sólo cuando ambas variables proposicionales sean verdaderas.

pqp / qVVVVFFFVFFFF
  • Condicional (?)

Es una conectiva definida por:

p ? q = ¬p ? q

La proposición molecular será verdadera cuando se cumpla si es verdadero p entonces lo es q.

pqp ? qVVVVFFFVVFFV
  • Bicondicional (?, si y sólo si)

Es una conectiva definida por:

p ? q = ((p ? q) (q ? p))

La proposición molecular será verdadera cuando ambas variables proposicionales tengan a la vez el mismo valor de verdad.

pqp ? qVVVVFFFVFFFV

Es una conectiva definida por:

p q = ¬(p ? q)

La proposición molecular será verdadera sólo cuando una de las dos variables proposicionales sea verdadera, pero no las dos.