Studijní materiály

Zpět

Hromadně přidat materiály

Logika tahak

SZ7BP_DTLO - Logika

Hodnocení materiálu:

Zjednodušená ukázka:

Stáhnout celý tento materiál

dém člověku platí…,existuje člověk…
--obecný kvantifikátor: (
existenční kvantifikátor: (
Nahraditelnost kvantifikátoru dle de Morg:
¬(x¬P´(x) …(xP1(x)
¬(x P´(x)… (x¬P1(x)
(x P´(x)… ¬(x¬P1(x)
(x ¬P´(x)… ¬(xP1(x)
Jednotková třída: obsahuje právě jeden prvek
Univerální třída: definována vztahem x=x a osahuje jako své prvky všechna individua dané oblasti zkoumání
Prázdná třída: definována vztahem x≠x přičemž≠ označuje negaci logické konstanty identity, neobsahuje žádný prvek. (být kulatým čtvercem, být manželkou papeže)
Inkluze: ⊂ …∊
Inkluze tříd: X⊂Y (x(x∊X -> x∊Y)
Rovnost tříd: X=Y (x(x∊X x∊Y)
Nerovnost tříd: X≠Y (x(x∊X x⊄Y)
Sjednocení dvou tříd: x∊(X∪Y) (x(x∊X) ^( x∊Y))
Průnik dvou tříd: x∊(X∩Y) (x(x∊X) v( x∊Y))

Stáhnout celý tento materiál

Předchozí

1 2 3

Vloženo: 24.04.2009

Velikost: 36,50 kB

Stáhnout celý tento materiál

Komentáře

Tento materiál neobsahuje žádné komentáře.

Mohlo by tě zajímat:

Skupina předmětu SZ7BP_DTLO - Logika
Reference vyučujících předmětu SZ7BP_DTLO - Logika

Podobné materiály