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 03. 01. 2014 13:06

kajbl
Příspěvky: 95
Reputace:   
 

Predikátová logika

Ahoj, potřeboval bych pomoc s důkazem následující ekvivalence pomocí predikátové logiky
Dokažte ekvivalenci následujících vět:
1) Vše se vyvíjí a mění.
2) Vše se vyvíjí a vše se mění.

Přičemž:
Vx ... x se vyvíjí
Mx ... x se mění

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson