Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

Stránky: 1

 

#1 18. 03. 2008 20:24 — Editoval merryboy (19. 03. 2008 14:44)

merryboy
Příspěvky: 41
Reputace:   0 
 

semantické vyplývání

Dobrý den,mohl by mi prosím Vás někdo vysvětlit jak se děla příklad typu:
Která z formulí nějaká sémanticky plyne z formulí z nějakých
Děkuji mnohokrát

Offline

 

#2 05. 04. 2008 17:33

Kondr
Veterán
Místo: Linz, Österreich
Příspěvky: 4246
Škola: FI MU 2013
Pozice: Vývojář, JKU
Reputace:   38 
 

Re: semantické vyplývání

Zkus se podívat třeba sem:
http://matematika.havrlant.net/forum/vi … hp?id=2177
a pak napsat, v čem konkrétně je problém. Jde o to, že se prostě používají určitá odvozovací pravidla, která jsou v případě standardní logiky dost intuitivní.

BRKOS - matematický korespondenční seminář pro střední školy

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson