Matematička logika
Formula ¬ ( ∃xR ( x, x, y ) →∃xR ( x, x, y )) nije ispunjiva. Uoˇcite da to slijedi joˇs iz ”sudovnog nivoa”, tj. dana formula je ”sliˇcna”...
Matematika
Prirodoslovno-matematički fakultet
254 stranica
Matematika, Skripte
Objavio gajaliman
·
