3 svar
27 visningar
K.Ivanovitj 399
Postad: 23 jul 2018 15:12

förenkla

Hej

jag har en sats som jag ska förenkla men jag förstår inte riktigt hur det ska gå till.

Förenkla notyx(P(x,y)Q(x,y))

Reglerna som man kan använda sig av är att 

notx,P(x)xnotP(x)notx,P(x)xnotP(x)

 

Vi har alltså att För alla element y finns ett element x sådant att P(x,y) implicerar Q(x,y) men sedan har vi ju (not) framför så alltså betyder väl det att satsen inte stämmer, men hur ska man förenkla den?

Albiki 5096
Postad: 23 jul 2018 15:21

Hej!

Det finns ett y0y_0 sådant att för alla xx gäller det att implikationen  P(x,y0)Q(x,y0)P(x,y_0)\rightarrow Q(x,y_0) är falsk.

Albiki 5096
Postad: 23 jul 2018 15:22

När är en implikation falsk?

K.Ivanovitj 399
Postad: 23 jul 2018 15:35

implikationen blir väl falsk om A är sann men B falsk eftersom A ska implicera B så om P(x,y) stämmer men inte Q(x,y)

Svara Avbryt
Close