Tehdään tosiasiasta väite "Alkiot A ja B ovat joukon C:n jäseniä."
A ja B, siinähän on logiikkaa: "ja"
Miten niin "A JA B", miten "A JA B" voi olla joukon C jäseniä?
Eihän A JA B ole mitään, koska A ja B ovat erillisiä alkioita, ei näillä ole mitään yhteistä, eli A JA B on nolla, tyhjää.
Mitä pitää kirjoittaa matematiikan kielellä, että tuo JA sana on mukana lauseessa?
Alkiolla A ja B on yhteisenä ominaisuutena C-jäsenyys?
A:n C-jäsenyys
B:n C-jäsenyys
"A ja B ovat joukon C-jäseniä" Mitä jos tuo "ja" tarkoittaakin C-jäsenyys--ominaisuuden samanaikaista ("JA") olemassaoloa?
A ja B, siinähän on logiikkaa: "ja"
Miten niin "A JA B", miten "A JA B" voi olla joukon C jäseniä?
Eihän A JA B ole mitään, koska A ja B ovat erillisiä alkioita, ei näillä ole mitään yhteistä, eli A JA B on nolla, tyhjää.
Mitä pitää kirjoittaa matematiikan kielellä, että tuo JA sana on mukana lauseessa?
Alkiolla A ja B on yhteisenä ominaisuutena C-jäsenyys?
A:n C-jäsenyys
B:n C-jäsenyys
"A ja B ovat joukon C-jäseniä" Mitä jos tuo "ja" tarkoittaakin C-jäsenyys--ominaisuuden samanaikaista ("JA") olemassaoloa?
Vastaukset 1
Vanhimmat
[A \in C] ja [B \in C]
\in = "kuuluu"-merkki
Täytyy muistaa että tuo "ja" on myös vain lyhenne logiikassa (ainakin joidenkin propositiologiikan määritelmien mukaan)
P ja Q
=
ei [ [ei P] tai [ei Q] ]
=
ei[ei ei P => ei Q ]
=
[ [[P => f] => f] => [Q => f] ] => f