Logikk oppgave diskret matte dumt spm
Posted: 01/02-2016 16:33
Skal uttrykke "The negation of a contradiction is a tautology" med logiske operatorer, kvantorer og predikater (blander litt engelsk og norsk her tilgi meg)
Hvis man sier:
x is a proposition
T(x) is tautology
C(x) is a contradiction
Blir dette riktig?
$\forall x (\neg C(x) \rightarrow T(x))$
Fasiten sier $\forall x (C(x) \rightarrow T( \neg x))$, men jeg klarer ikke få hodet helt rundt den måten å skrive det på (delen med $T(\neg x)$). Hadde vært nice hvis noken gadd å forklare
Hvis man sier:
x is a proposition
T(x) is tautology
C(x) is a contradiction
Blir dette riktig?
$\forall x (\neg C(x) \rightarrow T(x))$
Fasiten sier $\forall x (C(x) \rightarrow T( \neg x))$, men jeg klarer ikke få hodet helt rundt den måten å skrive det på (delen med $T(\neg x)$). Hadde vært nice hvis noken gadd å forklare
