Combinando la logica predicata e bigo

cs.stackexchange https://cs.stackexchange.com/questions/116735

Domanda

Sono un principiante per predicare la logica e bigo e sto avendo tempo per capire la definizione di bigo in termini di logica predicata nell'immagine allegata. In particolare, non riesco a capire cosa si intende per N0 in questo contesto. Qualsiasi aiuto è molto apprezzato.

Nessuna soluzione corretta

Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange
scroll top