NO ( -,` etc)
Una sentencia que es modificada con el conector no es llamada negación de la sentencia original.
Y ( ^ )
La conjunción de p, q es denotada p^q la conjunción es verdadero solo si p y q son verdaderos.
O ( v )
La disyunción de p, q e denotada pvq. La disyunción es verdadera si alineas uno de sus elementos verdaderos.
Implicación ( -> )
Para dos declaraciones p->q decimos que p implica a q y se escribe p->q. La expresión p es llamad la hipótesis antecedente de la implicación de la q es llamada la conclusión o consecuencia de la implicación.
Doble implicación ( <->)
Otra declaración común en matemáticas es p si y sólo si q, o simbólicamente p<->q. Esto es llamado la equivalencia de dos proposiciones si p entonces q y si q entonces pq es una condición necesaria y suficiente para p.
Ejemplo:
No hay comentarios:
Publicar un comentario