Text this: Υποθετικός συλλογισμός με αναπαραστάσεις αναιρέσιμης λογικής=