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... Continuar leyendo "Lógica" »