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

#1 27. 02. 2013 21:36

mart.n
Zelenáč
Příspěvky: 23
Reputace:   
 

úplný systém logických spojek

ahoj,
potřeboval bych pomoct ukázat, že negace a ekvivalence netvoří usls.
díky za pomoc

Offline

 

#2 27. 02. 2013 21:45

Arabela
Příspěvky: 1927
Reputace:   181 
Web
 

Re: úplný systém logických spojek

Ahoj ↑ mart.n:,
čo takto ukázať, že napr. konjunkciu $A\wedge B$ nedokážeme nahradiť žiadnou logickou formulou, v ktorej by vystupovali iba spojky ekvivalencia a negácia? Ako môžu vyzerať tabuľky pravdivostných hodnôt s dvomi premennými, ak používame iba ekvivalenciu a negáciu?


server.gphmi.sk/~domanyov

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson