Logik

På fråga 1: ja, det skulle jag säga. På fråga 2, ja, det är så man ritar en implikationspil. Man brukar inte rita den "enkelryggad".

Måste bara tillägga att i viss litteratur differentierar man mellan $\rightarrow$ och $\Rightarrow$, medan i andra finns ingen nämnvärd skillnad. De som anser att det finns en skillnad menar att $P \rightarrow Q$ är ett påstående (som kan antingen vara sant eller falskt), medan $P \Rightarrow Q$ är påståendet (hävdandet) att $P \rightarrow Q$ är sant.

Darth Vader skrev:

Måste bara tillägga att i viss litteratur differentierar man mellan $\rightarrow$ och $\Rightarrow$, medan i andra finns ingen nämnvärd skillnad. De som anser att det finns en skillnad menar att $P \rightarrow Q$ är ett påstående (som kan antingen vara sant eller falskt), medan $P \Rightarrow Q$ är påståendet (hävdandet) att $P \rightarrow Q$ är sant.

Alltså när man ska bevisa någonting skriver man en enkelpil, däremot bör man funnit ett bevis för satsen (utsagan) går det att skriva en sådan ”större” pil.

Tack för alla förklaringar, uppskattar det enormt mycket!

Cristian0311 skrev:

Darth Vader skrev:

Måste bara tillägga att i viss litteratur differentierar man mellan $\rightarrow$ och $\Rightarrow$, medan i andra finns ingen nämnvärd skillnad. De som anser att det finns en skillnad menar att $P \rightarrow Q$ är ett påstående (som kan antingen vara sant eller falskt), medan $P \Rightarrow Q$ är påståendet (hävdandet) att $P \rightarrow Q$ är sant.

Alltså när man ska bevisa någonting skriver man en enkelpil, däremot bör man funnit ett bevis för satsen (utsagan) går det att skriva en sådan ”större” pil.

Tack för alla förklaringar, uppskattar det enormt mycket!

Tekniskt sett ja, men det är ingen som blir halshuggen bara för att man är "osäker på vilken pil man ska använda" hit och dit; som sagt, skillnaderna är små...

Uppfattat 👍🏼