Está comparando dos ediciones. La más antigua a la izquierda y la más reciente a la derecha.
Ir a la versión actual.
Las nuevas contribuciones te aparecerán en rojo, en la columna de la derecha. Desde éstas podrás ver las diferencias con el texto anterior.
m (Rpl img) |
|||
| Línea 2: | Línea 2: | ||
En [[lógica|lógica de enunciados]], [[inferencia, reglas de|regla de inferencia]] que permite obtener un enunciado compuesto, de la forma <math>P\vee Q</math> a partir de uno solo de sus elementos disyuntos (Por ejemplo: Si es verdad que «llueve», también lo es «llueve o hace sol», «llueve o hace frío»). | En [[lógica|lógica de enunciados]], [[inferencia, reglas de|regla de inferencia]] que permite obtener un enunciado compuesto, de la forma <math>P\vee Q</math> a partir de uno solo de sus elementos disyuntos (Por ejemplo: Si es verdad que «llueve», también lo es «llueve o hace sol», «llueve o hace frío»). | ||
| − | <center>[[File:67. | + | <center>[[File:67.png|400px]]</center> |
Última revisión de 11:28 4 may 2013
¿Qué es?
No se ha añadido ninguna twiki todavía.
En lógica de enunciados, regla de inferencia que permite obtener un enunciado compuesto, de la forma [math]P\vee Q[/math] a partir de uno solo de sus elementos disyuntos (Por ejemplo: Si es verdad que «llueve», también lo es «llueve o hace sol», «llueve o hace frío»).
La adición entre clases es la suma lógica.