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

KF:
Nahraď všechny výskyty pravdivostní hodnoty 0 zadané pravdivostní tabulky hledané formule F elementárními disjunkcemi D1,D2,…Dm proměnných p1,p2,…pn nebo jejich negací tak, aby tyto elmenetární disjunkce nabyly pravdivostní hodnoty 0. Spoj získané disjunkce pomocí funktoru konjunkce Získaný výraz je hledanou formulí F a nazývá se uplná konjunktní forma.
De morganovo pravidlo: pvq = ¬(¬p ^¬q), p^q = ¬(¬p v¬q)
--Jméno, které označuje individuum nazýváme individuální konstanta
--jednomístná výroková forma obsahuje jedinou individuální proměnnou
--individuální proměnné nejsou konstanty, jsou to písmena, nemají určitý význam, neoznačují jediný objekt
--obecné tvrzení: o každém individuu platí ; existenční tvrzení: o kaž

Stáhnout celý tento materiál

Předchozí

1 2 3

Další

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