1. viz Pickova prednaska z analyzy a stejnomerna spojitost

mejme na kazdeho psa nejakou hul, ale ne jednu hul na vsechny psy. Pak:

( (∀psa)(∃hul) bit(hul, pes) ) -> ( (∃hul)(∀psa) bit(hul, pes) )

neplati

2. Formalnejsi priklad

A ... x < y Množina individuí je {N} (prirozena cisla) relaci < definuji jako relaci menzi nez na ohodnoceni nezalezi (uzavrena formule)

( (∀x)(∃y) y > x ) -> ( (∃y)(∀x) y > x )

neplati. Viz analyza:

( (∀x)(∃y) y > x ) ... ke kazdemu prirozenemu cislu existuje vetsi cislo => 1
( (∃y)(∀x) y > x ) ... neni nejvetsi prirozene cislo => 0
 
axeya-_eyaxa.txt · Last modified: 2006/05/14 18:25 by 195.113.65.3
 
Recent changes RSS feed Creative Commons License Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki