Dicotomias

Lo que estás diciendo tiene algo de ingenio porque la proposición en si misma es una dicotomía. Pero no veo que exista algún absurdo.

Para cierto universo que estamos considerando, evaluamos la propiedad que los elementos del universo sean dicotomizables. Es una proposición del tipo p = "todo puede reducirse a dicotomías". La negación de esta proposición se denota con ¬p. En lógica, negar "todo" no es igual a "nada", hay que probar que existe (al menos) un elemento del universo que no cumpla con la proposición. En realidad, con uno solo basta. Entonces, ¬p = "existe un elemento del universo que no es dicotomizable". Puede haber algunos elementos reducibles a dicotomías, simplemente no son todos.

Simbólicamente, la conjunción toma esta forma: p v (¬p). A mi me parece más bien trivial:

Si p es V, entonces (¬p) es F. La afirmación es V
Si p es F, entonces (¬p) es V. La afirmación es V

porque es siempre verdadera. Es más, la intuición me dice que p es siempre verdadera, pero supongo que dependerá del universo que estamos considerando.


PS: se nota que estoy haciendo lo que sea para no trabajar?

-_- zzzzzzzz

tuve una profesora de lógica muy muy mala

y sí, laburá signiio quirido

No.

estas seguro?

Sí.

Tengo una respuesta y coincide con la del negro: No.

Acá está la prueba

Claro, por ahi deberia decir "Dicotomizable o no"

Para considerar elemento por elemento...