Tabell för Logik och Kvantifikator

Hej,
Vi jobbar med logik och Kvantifikator. Vi fick ett exempel av läraren där vi har en Universalmängd U={1,2,3,4,5,6}, och utsagorna
∀x ∀y : x+y <= 7
∃x ∃y : x+y <= 7
∃x∀y : x+y <= 7
∀x∃y : x+y <= 7
Exemplet ska visa hur man tänker för varje utsaga.
Han ritade Upp en tabell som gick såg ut såhär.
Min fråga är bestäms storleken av en sådan tabell av antalet element i mängden eller av 7:an utsagan?

Hej,

Tabellens storlek bestäms av antalet element i universalmängden. Om universalmängden består av $n$ stycken element kommer tabellen storlek att vara $(n+1)\cdot (n+1)$

Talet 7 i utsagan styr vad som kommer att stå i tabellen: en etta om påståendet $x+y\leq 7$ är sant och en nolla om påståendet $x+y\leq 7$ är falskt.

Albiki skrev:
Hej,
Tabellens storlek bestäms av antalet element i universalmängden. Om universalmängden består av $n$ stycken element kommer tabellen storlek att vara $(n+1)\cdot (n+1)$
Talet 7 i utsagan styr vad som kommer att stå i tabellen: en etta om påståendet $x+y\leq 7$ är sant och en nolla om påståendet $x+y\leq 7$ är falskt.

Okej, för att klargöra om universalmängden var 1-7 så skulle tabellen ha 1-8?
Såg precis att du hade redigerat tack så mycket för ditt svar.

Svara