Omvandla argumentationen till symbolisk form
Hej! Har jag tolkat texten rätt eller har jag missat något?
Hade ni rekommenderat att jag löser giltigheten med SVT eller motsägelsebevis?
Snyggt!
Så långt ser det rätt ut.
Det återstår att visa implikationen på slutet.
SVT? Sveriges television ? :-)
Jag skulle nog göra ett Venn-diagram av alltihop.
Arktos skrev:Snyggt!
Så långt ser det rätt ut.
Det återstår att visa implikationen på slutet.SVT? Sveriges television ? :-)
Jag skulle nog göra ett Venn-diagram av alltihop.
Med SVT menade jag Sanningsvärdetabell, borde nog ha klargjort detta,
så här blev det med sanningsvärdetabellen,
I och med att R->q <=> tautologi så stämmer giltigheten. Korrekt?
Av ren nyfikenhet, hur hade på ett ungefär lösningen sett ut via Venn-diagram? Kan inte få fram en tydlig bild i huvudet hur jag kan använda mig av det i mitt fall :)
Nja, just här var det kanske ingen bra idé.
För jobbigt om man bara vill lösa uppgiften.
Skulle behövt "vattenfärger" för att illustrera de tre unionerna i R
och lägga dem på varandra. Till att börja med. Men visst skulle det gå.
SVT är ju raka rör, rent mekaniskt, men ger mig ingen direkt förståelse för problemet.
Det skulle jag kunna få med ett Venn-diagram.
Som att rita sig igenom ett problem (där det går)
i stället för att direkt lösa det algebraiskt (det det är möjligt)..