One Answer

  1. Not quite. In a formal form, without using logical krakozyabras, your reasoning can be expressed as follows (x – clean, y-dirty, x1-remains clean under dirt, x2 – cannot become dirty without being clean):

    not all x's are y's

    all y's are x1 and all y's are x2; hence, all y's are x

    To make this argument logically valid and correct, we can add the axiom “if all y are x1 and all y are x2, then all y are x”.

Leave a Reply