Studijní materiály

Zpět

Hromadně přidat materiály

Tahák

SZ7BP_DTLO - Logika

Hodnocení materiálu:

Zjednodušená ukázka:

Stáhnout celý tento materiál

1. Je uvedený výraz: Výrok nebo výroková formule?
(x(y(P´(x,y,a)(Q´(x)( Je to výrok. Obsahuje-li výraz
pouze vázané proměné, pak není výrokovou formou,ale výrokem
2. Napište funkci F pomocí úplné disjunktní nebo úplné konjukcí f
UDF: K1= (p^¬q^¬r) K2=(¬p^¬q^¬r)
F=(p^¬q^¬r) v (¬p^¬q^¬r)
3. de Mongeova zákona pomocí
¬(x¬P´(x) (xP1(x)
¬(x P´(x) (x¬P1(x)
4. Graficky vyřešte (asi výrok…)
Žádný žák této třídy není hudebník
Všichni hudebníci jsou umělci
Žádný žák této třídy není umělec
(x(P1(x)→ ¬Q1(x)) P(x)…---je žák
(x(Q1 (x)→ R1(x)) Q (x)…---je hudebník
(x(P1(x)→ ¬R1(x)) R(x)…---je umělec
Všechny velryby jsou savci
Někteří vodní živočichové jsou velryby.
Někteří vodní živočichové jsou savci.
(x(P1(x)→ Q1(x)) P(x)…---je velryba
(x(R1(x) ^ P1(x)) Q (x)…---je savec
(x(R1(x) ^ Q1(x)) R(x)…---je vodní živočich
Lenoši jsou osoby společensky škodlivé
Někteří studující jsou lenoši
Někteří studující jsou osoby společensky škodlivé
(x(P1(x)→ Q1(x)) P(x)…---je lenoch
(x(R1(x) ^ P1

Stáhnout celý tento materiál

1 2 3

Další

Vloženo: 24.04.2009

Velikost: 32,00 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