2015-04-01, 19:05
  #145
Medlem
Citat:
Ursprungligen postat av LucNN
ELLER:
T, T => T
T,F => T
F,T => T
F,F => F

OCH:
T,T => T
T,F => F
F,T => F
F,F => F

Första raden sammanfaller, så "A V B" implicerar inte "-(A&B)" eller "A&B", men "A&B" implicerar "AVB". Djupt!

Det du beskriver ELLER som en XOR.

Använde senast ord som "Om inte, varför blir då filosofin odödlig eller evig?"
Det går inte att utläsa det som XOR, utan mer som OR.

Odödlig med evig blir en "OR" kedja. Eller är här INTE en XOR.

Antar du förstår vad jag menar med XOR gate.
Borde betyda likartat i semantisk logik.
Citera
2015-04-03, 10:44
  #146
Medlem
LucNNs avatar
Citat:
Ursprungligen postat av peertop
Det du beskriver ELLER som en XOR.

Använde senast ord som "Om inte, varför blir då filosofin odödlig eller evig?"
Det går inte att utläsa det som XOR, utan mer som OR.

Odödlig med evig blir en "OR" kedja. Eller är här INTE en XOR.

Antar du förstår vad jag menar med XOR gate.
Borde betyda likartat i semantisk logik.

Kolla på skemat igen, så ser du att det är OR, inte XOR. TS verkar hitta nöje i kunskapen om att de finns två olika "eller" i användning (minst), och att den som motsvarar VEL är inklusiv.
Citera

Skapa ett konto eller logga in för att kommentera

Du måste vara medlem för att kunna kommentera

Skapa ett konto

Det är enkelt att registrera ett nytt konto

Bli medlem

Logga in

Har du redan ett konto? Logga in här

Logga in