Wikibækur

Mynd:Predicate logic; 2 variables; example matrix e2a1.svg

Upphafleg skrá ‎(SVG-skrá, að nafni til 230 × 230 mynddílar, skráarstærð: 12 KB)

Skrá þessi er af Wikimedia Commons, og deilt meðal annarra verkefna og nýtist því þar. Hér fyrir neðan er afrit af skráarsíðunni þar.

Lýsing

There are 10 sentences with 8 different meanings, using the loving-relation Lxy and the quantifiers ∀ and ∃:

No column/row is empty:
1. :
Everyone is loved by someone.
2. :
Everyone loves someone.
The diagonal is
nonempty/full:
5. :
Someone loves himself.
6. :
Everyone loves himself.
The matrix is
nonempty/full:
7. :
Someone loves someone.

8. :
Someone is loved by someone.
9. :
Everyone loves everyone.

10. :
Everyone is loved by everyone.
Hasse diagram of the implications
One row/column is full:
3. :
Someone loves everyone.
4. :
Someone is loved by everyone.


Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
This work is ineligible for copyright and therefore in the public domain because it consists entirely of information that is common property and contains no original authorship.
 
The SVG code is valid.
 
This predicate was created with Inkscape.
 
This SVG predicate was uploaded with Commonist.

Breytingaskrá skjals

Smelltu á dagsetningu eða tímasetningu til að sjá hvernig hún leit þá út.

Dagsetning/TímiSmámyndVíddirNotandiAthugasemd
núverandi6. desember 2010 kl. 18:40Smámynd útgáfunnar frá 6. desember 2010, kl. 18:40230 × 230 (12 KB)Watchduck

Eftirfarandi síða notar þessa skrá:

Altæk notkun skráar

Eftirfarandi wikar nota einnig þessa skrá:

Lýsigögn

Þessi skrá inniheldur viðbótarupplýsingar, líklega bætt við úr stafrænu myndavélinni eða skannanum sem notaður var til að búa til eða stafræna hana.

Ef skránni hefur verið breytt frá upprunalegu ástandi gæti verið að sumar upplýsingar endurspegli ekki að fullu breyttu skrána.

Sótt frá „https://is.wikibooks.org/wiki/Mynd:Predicate_logic;_2_variables;_example_matrix_e2a1.svg“