implikation
Ge förslag på hur satserna P och Q kan formuleras, och skriv följande satser som
implikationer med hjälp av P och Q. Det var länge sedan jag gick igenom implikationer, vill bara se om jag har tänkt rätt. Tack på förhand.
frågorna:
a) Om jag pussar grodan blir den en prins.
b) Om grodan blir en prins har jag pussat den.
c) Om grodan inte blir en prins har jag inte pussat den.
Svaren:
a)
P= jag pussar grodan.
Q=grodan blir en prins.
Svar: P→Q
B) Svar: Q→P
Att denna omvända implikationen från a gäller är ej en garanti eftersom den ej tar hänsyn till om det finns andra sätt för groda att bli prins än att pussa den.
C) P= har inte pussat grodan
Q=grodan blir inte en prins.
Svar: P→Q
Jag tror att det är meningen att du ska använda samma definition för P och Q i alla 3 uppgifterna. Så 3:an är lite lurigare än så, men det går att göra med bara P, Q och en implikation (med dina nya definitioner verkar du ha vänt på implikationen i sista uppgiften också)
finns det några andra tecken man ska använda utöver implikationtecknet?
danielpakione skrev :finns det några andra tecken man ska använda utöver implikationtecknet?
Ja, du bör använda tecknet för logisk negation.
Det ser ut som ett minustecken med en liten hake på högersidan.
Om du gör det så kan du använda definitionerna i a-uppgiften hela vägen igenom:
A = "Jag har pussat grodan"
B = "Grodan blir en prins"
Med tecknet "-" för logisk negation kan du då skriva:
-A = "Jag har inte pussat grodan"
-B = "Grodan blir inte en prins"
