← Spelsamling Klientspel · inget sparas

Logik vid vattenkanten

Hypotesen!

Översätt vardagliga påståenden till satslogik, bygg varje slutledning med p, q och r och undersök om slutsatsen verkligen följer.

Fyra nivåer · tjugo frågor · ingen inloggning och inga personuppgifter.

Originalmålning med segelbåtar på en sjö och hus vid stranden
1. ÖversättVälj p, q eller r och bygg formeln för varje premiss.
2. ByggSläpp eller tryck på symbolerna för att fylla raderna.
3. PrövaMarkera GILTIG eller OGILTIG och få feedback efter gruppen.

Hypotesen! använder inga konton, ingen serverdata och inga personuppgifter.

Formelblad

Fyra mönster att känna igen

p, q och r är enkla satser. Tecknet ¬ betyder ”inte”. Läs → som ”om … så …”.

Modus ponens · GILTIG

p → q p ∴ qOm p leder till q, och p är sant, följer q.

Modus tollens · GILTIG

p → q ¬q ∴ ¬pOm q inte händer kan p inte ha hänt.

Falsk modus ponens · OGILTIG

p → q q ∴ pq kan ha flera orsaker. Därför räcker q inte för att bevisa p.

Falsk modus tollens · OGILTIG

p → q ¬p ∴ ¬qAtt p inte händer säger inte att q inte kan hända på något annat sätt.