Julius sænder dette belled:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[16:18:01] Emil – Deleet: true

[16:18:06] Tulimafat – Julius: yes

[16:18:22] Tulimafat – Julius: det lyder måske lidt ledt, men den er god nok

[16:18:25] Emil – Deleet: i dit perspæktiv er dær engen som sønder 😛

[16:18:42] Emil – Deleet: ov i så fald fortæller dæn dær reel engenteng.

[16:18:54] Emil – Deleet: logisk set 😛

[16:18:55] Emil – Deleet: så

[16:19:02] Tulimafat – Julius: np

[16:21:11] Emil – Deleet: ∀x∀y(Axy→IM(Dxy))

[16:21:57] Emil – Deleet: altså, for envær x ov y, ves x sønder anderledes end y, så er de impermissible at x dømmer y.

[16:22:03] Emil – Deleet: mæn

[16:23:24] Emil – Deleet: siden at:

∀x∀y(Axy→Sx∧Sy)

ov

∀x¬Sx

så føljer de at

∀x∀y(¬Axy)

ov dærfor så empliserer relen ek nået relevant

[16:23:31] Emil – Deleet: på dansk

[16:24:26] Emil – Deleet: ∀x∀y(Axy→Sx∧Sy)

for envær x ov y, ves x sønder anderledes end y, så (x sønder ov y sønder)

 

sand per definisjon, so to speak.

[16:24:54] Emil – Deleet: ∀x¬Sx

for envær x, de er ek telfældet, at x sønder

mere normalt språv: engen sønder

[16:25:24] Emil – Deleet: ergo:

∀x∀y(¬Axy)

for envær x ov y, de er ek telfældet, at x sønder anderledes end y

[16:25:54] Emil – Deleet: altså, antesedænten i relen er altid falsk, ov dærfor kan dæn ek brues tel nået særlit.

[16:25:55] Emil – Deleet: 😛

[16:25:57] Emil – Deleet: dat logic