NEGACIÓN DE UNO - PROPOSICIÓN COMPUESTA - LEYES DE MORGAN
CONDICIONAL
El condicional material es un operador que opera sobre valores de verdad, típicamente los valores de verdad de dos proposiciones devolviendo el valor de verdad falso sólo cuando la promera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.
La condicional de dos proposiciones p, q da lugar a la proposición; si p entonces q, se representa por P -> Q
p: «llueve»
q: «hay nubes»
p→q: «si llueve entonces hay nubes»
BICONDICIONAL
El bicondicional o doble implicación es un operador que funciona sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposicionestienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren.
p: «10 es un número impar»
q: «6 es un número primo»
p↔q: «10 es un número impar si y solo si 6 es un número primo»
Comentarios
Publicar un comentario