Quote from: ghost on 05.01.2011, 01:08:184.(C & D) or (-C & -D)Nema to byt nahodou C <=> D ??
4.(C & D) or (-C & -D)
uz mi z toho hrabe a to som sa moc este ani nenaucilmoze mi niekto povedat ci su moje vety 3 a 5 OK a ak nie tak preco?vdaka
Quote from: totaluser on 05.01.2011, 01:54:46 uz mi z toho hrabe a to som sa moc este ani nenaucilmoze mi niekto povedat ci su moje vety 3 a 5 OK a ak nie tak preco?vdakatvoja veta 5 je uplne scestna. Napriklad tam mas uplne ine pismenka, nechapem ako chces aby ti to potom sedelo pri rezolucnej metode. Ma tam byt D a ETakze nikto nema priklad c5?? Upravu na klauzualny tvar??
Prilad cislo 3, dufam ze spravne prepisany. d, T(T( x ) + T( y ))
Quote from: Daron on 05.01.2011, 02:21:02Prilad cislo 3, dufam ze spravne prepisany. d, T(T( x ) + T( y ))Vo formule nemozes mat predikat v predikate. lebo nie je term.
hej, vsimol som si pravecize posledna uprava3.(C & -B) or (-C & B)5.(E & -D) or (-E & D) or (E & D)takze je to OK, ci nie?
Quote from: Ragnol on 05.01.2011, 02:28:58Quote from: Daron on 05.01.2011, 02:21:02Prilad cislo 3, dufam ze spravne prepisany. d, T(T( x ) + T( y ))Vo formule nemozes mat predikat v predikate. lebo nie je term.A ako teda?
hm, to ze "jazyk s rovnostou" znamena ze mozem pouzit "=" ?