Matematička logika
b) F ⊢ ( P →♦P ) ako i samo ako F je refleksivan okvir. Zatim, dokaˇzite da postoji okvir F koji nije refleksivan, relacija forsiranja ⊢ na F i...
Matematika
Prirodoslovno-matematički fakultet
254 stranica
Matematika, Skripte
Objavio gajaliman
·
