Příspěvky

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

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