I hemtal2, får vi använda oss av en till kvantifikator, dvs. "unique existential quantifier" \(\exists!\), som är beskriven här (p.4)? Den är väl också en del av predikatlogiken?
Det här inlägget är från oktober 2015.
I hemtal2, får vi använda oss av en till kvantifikator, dvs. "unique existential quantifier" \(\exists!\), som är beskriven här (p.4)? Den är väl också en del av predikatlogiken?