Martes 21 de abril de 2009
p->rVs está formado por tres enunciados simples que forman un enunciado complejo. Es necesario saber qué tipo de enunciado complejo es para aplicar una regla de inferencia u otra. En este caso puede ser o bien una disyunción o un condicional. Para que sea una cosa u otra, es necesario aplicar paréntesis.
Así podemos tener:
P->(rVs) ....Si p, entonces r disyunción s (condicional)
ò
(p->r)Vs ....Si p entonces r, disyunción s (disyunción)
Si en el caso de la formalización nos surge la duda de dónde colocar los paréntesis, sólo hay que fijarse en el sentido de la frase.
martes, 28 de abril de 2009
Suscribirse a:
Enviar comentarios (Atom)
No hay comentarios:
Publicar un comentario