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
🔒 23. 3. 2019 Přešli jsme na HTTPS. Prosíme o kontrolu funkčnosti fóra.
!! 17.06.2018 (Jel.) Khanova škola zve nadšence ke spolupráci na překladech návodů pro učitele a rodiče.
! 04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
17.01.2016 (Jel.) Rok 2016 s novými a novějšími krystaly od kolegy Pavla!
17.01.2016 (Jel.) Nabídka knih z oborů matematiky, fyziky, chemie
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

#1 20. 11. 2008 21:01 — Editoval gladiator01 (20. 11. 2008 21:49)

gladiator01
Místo: Jindřichův Hradec
Příspěvky: 1587
Škola: ZČU FAV - SWI
Pozice: absolvent
Reputace:   53 
Web
 

výroková logika - shefferova a piercova spojka

Mohl by mi někdo poradit jak se převádí výrazy s shefferovou a piercovou spojkou na ostatní spojky $\wedge, \vee, \rightarrow,\leftrightarrow$ a naopak?

1) Najděte logicky ekvivalentní VF obsahující pouze Shefferovou spojku
a) $a \rightarrow b$
b) $a \leftrightarrow b$
c) $a \vee (a \wedge b)$

2) To samé, ale s piercovou spojkou

3) Vyjádřete následují VF pouze pomocí negace a implikace
a) a (piercova spojka) b
b) a (schefferova spojka) b
c) (a (schefferova spojka) b) (piercova spojka) (a (schefferova spojka) b)
d) (a (piercova spojka) b) (schefferova spojka) (a (piercova spojka) b)
   u tý trojky je to doufám, alespoň trochu čitelný já nevěděla jak to mam jinač zapsat

Kdyby to někdo ukázal třeba na těch příkladech, tak by to bylo skvělý, já zítra píšu písemku a toto jsem nějak nepobrala. Předem dík za odpověď.


Naděje jako svíce jas, potěší srdce štvané, čím temnější je noční čas, tím zářivěji plane.
VIVERE - MILITARE EST (Seneca)
Vím, že nic nevím. - Sokrates

Offline

 

#2 16. 11. 2009 23:27

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

Re: výroková logika - shefferova a piercova spojka

1)http://en.wikipedia.org/wiki/Sheffer_stroke#Properties
2)http://en.wikipedia.org/wiki/Logical_NOR#Properties
Ekvivalenci získáme jako dvě implikce složené konjunkcí, což umíme.

3)
a)$\neg (\neg a\Rightarrow b)$
b)$a\Rightarrow \neg b$
c) $\neg(a\Rightarrow \neg b)$ (prostřední piercova spojka znamená, že negujeme (a sheffer b))
d)$\neg a\Rightarrow b$ (prostřední piercova spojka znamená, že negujeme (a sheffer b))


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

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson