¬ (A ʌ ¬ B) ˫ A → B

Hej,

Jag har försökt lösa denna uppgiften i logik själv men det fastnade redan i början. Uppgiften är att bevisa detta med hjälp av indirekt bevismetod.

Jag hoppas för snabbt svar då min tenta är snart :D

Hur långt hade du kommit när du fastnade?

Hittills har jag försökt tänka genom det så inte långt

Vad betyder symbolen "˫"? De andra känner jag igen.

Kan du beskriva med ord vad det logiska uttrycket betyder?

Kan du göra en tabell?

Smaragdalena skrev:
Vad betyder symbolen "˫"? De andra känner jag igen.

Du vet att, givet att

$\neg (A \land \neg B)$

skall vi bevisa att

A $\to$ B.

Känner du till reglerna för negation och konjunktion? (Med eliminering och Intro).

Svara Avbryt