6 svar
87 visningar
natalijavladica 3
Postad: 11 jun 13:10

¬ (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?

natalijavladica 3
Postad: 11 jun 13:30

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.

symboler_inom_logik

Lovelita 72
Postad: 12 jun 01:37

Du vet att, givet att

¬ (A¬B) 

skall vi bevisa att 

AB.

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

Svara Avbryt
Close