Příspěvky

Zobrazují se příspěvky se štítkem Descartes
Zobrazit vše

(13) ¬[∀x ((C(x) ∧ D(x)) ⇒ S(x))]