Matematické Fórum


1. 8. 2026 (L) Fórum bude brzy uzavřeno 😿

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