Negation

Vi kan inte säga att "Varken A eller B gäller" från högerledet. Om A är sann men inte B så har vi ett scenario som innefattas av högerledet (ty icke-B är sann) och vänsterledet (ty B är falsk så A^B är falsk och därmed är icke-A^B sann), men det stämmer inte att "varken A eller B gäller".

I HL är det ju icke- tecknet för både A och B, innebär inte det då att båda inte ses som sanna?

Mellan dem är dock unionstecknet; man tillhör unionsmängden så länge man tillhör någon av mängderna.

Som du förtydligar själv så kan man tolka det som ett "eller", dvs. det räcker att tillhöra en av mängderna för att vara en del av unionen.

Om A motsvarar "man" och B motsvarar "svensk"(och icke-A "kvinna (eller icke-binär)" och icke-B "utlänning") tillhör Magdalena Andersson mängden: hon tillhör icke-A men tillhör B, dvs. tillhör inte icke-B.

Jag tror jag skrev "V" som i "eller". Är inte uniontecknet: "U"?

Dock förstår jag ditt resonemang med Magdalena då "tillhör inte icke- B". Du menar att " inte" och "icke-B" har i svenska språket en negativ betydelse för både "inte" och "icke-B" som cancellerar ut varandra till att betyda att hon tillhör B (positiv betydelse)?  (Likt minus minus ger plus)

De betyder exakt samma sak. På samma sätt som ett versalt H där man tagit bort det nedersta vänstra benet betyder samma sak som tecknet 4.

Dubbelnegationer kan vara knepiga. Det jag menade var att det lättaste att säga var att Magdalena tillhör mängden B. Högerledet är dock nyfiken på om hon tillhör mängden icke-B. Att tillhöra B är att ej tillhöra icke-B så därför skrev jag att hon inte tillhör icke-B. Så, ja, du tycks ha tolkat mig rätt.

Bedinsis skrev:

Vi kan inte säga att "Varken A eller B gäller" från högerledet. Om A är sann men inte B så har vi ett scenario som innefattas av högerledet (ty icke-B är sann) och vänsterledet (ty B är falsk så A^B är falsk och därmed är icke-A^B sann), men det stämmer inte att "varken A eller B gäller".

Är med på det du skrev nyligen. Dock är jag lite osäker på det du menar här. Skulle du kunna förtydliga eller stegvis förklara hur du kom fram till detta? :)

Du har påstått att högerledet i ord betyder "Varken A eller B gäller"(personen är varken man eller svensk).

För att varken A eller B skall gälla vill det till att icke-A och icke-B är sann (personen är kvinna* och personen är utlänning).

Nu var det dock ett unionstecken emellan de två påstående så det motsvarar ett "eller" (personen är kvinna* eller personen är utlänning).

Vad vill det till för att ett "eller" skall vara uppfyllt? Det vill till att åtminstone ett av påståendena är uppfyllt (Är det sant att Magdalena Andersson är kvinna* eller att Magdalena Andersson är utlänning? Tja, hon må vara svensk, men hon är trots allt kvinna så hon ingår i mängden. Är det sant att Joe Biden är kvinna* eller att Joe Biden är utlänning? Tja, han må vara man, men han är trots allt utlänning så han ingår i mängden).

Om man ritar upp ett Venn-diagram med två cirklar som motsvarar icke-A och icke-B så ingår såväl bitarna som endast ligger i ena cirkeln som bitarna som ligger i deras snitt, så unionstecknet är generöst nog att innefatta de bitar där bara ett av påståendena är uppfyllda.

Gjorde det här det klarare? Jag försöker mentalt rita upp Venn-diagram för att få ordning på det; det brukar hjälpa då jag tänker. Att inse att man kan rita upp icke-A likaväl som A som en cirkel brukar också hjälpa.

*eller icke-binär

Min lärare kom fram till detta:

VL= "det gäller ej att både A och B gäller"

(VL fattar jag)

HL= "minst en av A och B gäller"

(Vad menar han med det?)

Är så rörigt i mitt huvud nu

Antingen så sade din lärare fel eller så misstolkade du hen vad gäller högerledet.

HL= "minst en av icke-A och icke-B gäller"

Andra raden skrev han det där

Han skrev "minst en av A och B gäller ej".

Detta stämmer. Om A inte gäller så är icke-A sann och högerledet stämmer. Om B inte gäller så är icke-B sann och högerledet stämmer. Om däremot både A och B gäller så är både icke-A och icke-B falska, så högerledet stämmer inte. Det vill alltså till att, som din lärare påstår, minst en av A och B gäller ej.

Nu fattar jag!