Jembatan ke Python — contoh Modul 6–7
Jembatan ke Python — contoh Modul 6–7
f menjalankan perpindahan loker yang sudah dihitung. p memeriksa nomor 0. all mewakili semua dan any mewakili ada pada domain berhingga ini.
D = [0, 1, 2]
def f(d):
return (d + 1) % 3
def p(d):
return d == 0
nilai = [p(f(x)) for x in D]
assert [f(x) for x in D] == [1, 2, 0]
assert nilai == [False, False, True]
assert all(nilai) is False
assert any(nilai) is True
print(nilai, all(nilai), any(nilai))
D2 = [0, 1]
setiap_punya_saksi = all(any(x == y for y in D2) for x in D2)
satu_saksi_untuk_semua = any(all(x == y for x in D2) for y in D2)
assert setiap_punya_saksi is True
assert satu_saksi_untuk_semua is False
print(setiap_punya_saksi, satu_saksi_untuk_semua)
Kode memeriksa contoh tersebut sampai tuntas. Enumerasi domain kecil tidak membuktikan validitas pada semua domain, terutama domain tak hingga.