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.
- 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 ? qVVVVFFFVFFFVEs 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.