Apa yang dimaksud dengan proposisi dalam konteks logika komputasi

Apa yang dimaksud dengan proposisi dalam konteks logika komputasi pictures 5