This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2019-06-12
Channels
- # announcements (2)
- # aws-lambda (2)
- # beginners (402)
- # berlin (2)
- # calva (21)
- # cider (8)
- # clj-kondo (31)
- # cljdoc (1)
- # cljsrn (42)
- # clojure (43)
- # clojure-berlin (2)
- # clojure-dev (21)
- # clojure-europe (4)
- # clojure-hamburg (1)
- # clojure-italy (37)
- # clojure-nl (7)
- # clojure-spec (50)
- # clojure-uk (121)
- # clojurescript (46)
- # component (49)
- # data-science (1)
- # datomic (60)
- # emacs (29)
- # fulcro (43)
- # hoplon (5)
- # jackdaw (7)
- # joker (19)
- # luminus (5)
- # off-topic (28)
- # om (2)
- # re-frame (27)
- # reitit (7)
- # remote-jobs (15)
- # rewrite-clj (17)
- # shadow-cljs (95)
- # spacemacs (34)
- # sql (9)
- # tools-deps (17)
- # xtdb (70)
@reborg io sono rimasto ai first, ma ĆØ pur vero che non ĆØ il mio tĆØ preferito e quindi non mi sono mai spinto oltre.
https://en.wikipedia.org/wiki/Existential_quantification#The_empty_set https://en.wikipedia.org/wiki/Universal_quantification#The_empty_set
per and
/`or`, si usa rispettivamente true
/`false` perche` sono l'identity dei reispettivi operatori
(per capire every?
, ricordo che forall x => p(x)
e` equivalente a not exists x => not p(x)
, e vista cosi` e` chiaro che sull'empty set debba essere true: non esiste alcun valore nell'empty set tale che p
(in questo caso #{:a}
) sia falsificabile)
beh l'intuizione e` una funzione della familiarita` -- costringiti a pensarla come ^ un paio di volte quando ti capita di usare quelle funzioni e ti verra` immediato prima o dopo
if you think of it in terms of binary op ask yourself what added value on the op would make the operation be unchanged
Ok, posso cominciare con ātutte le mie ferrari sono rosseā (che visto che non eā ho, eā vero). Sto gia meglio š¬
Identity per AND eā true
e per OR eā false
, ma (and)
e (or)
da soli non hanno senso in matematica. O No?