mail@pastecode.io avatar
2 months ago
2.3 kB
Please extract information from this legal context and give me predicates and premises in first-order logic formula format.
The grammar of the first-order logic formular is defined as follows:
1) logical conjunction of expr1 and expr2: expr1 ∧ expr2
2) logical disjunction of expr1 and expr2: expr1 ∨ expr2
3) logical exclusive disjunction of expr1 and expr2: expr1 ⊕ expr2
4) logical negation of expr1: ¬expr1
5) expr1 implies expr2: expr1 → expr2
6) expr1 if and only if expr2: expr1 ↔ expr2
7) logical universal quantification: ∀x
8) logical existential quantification: ∃x
1. Article 3 of Decision No. 130/2003/QD-TTg provides for the following prohibited acts : Counterfeit money making, transporting, storing, circulating, buying and selling counterfeit money. 2. Destroying Vietnamese currency in any form. 3. The photocopying of Vietnamese currency for any purpose without prior written approval of the State Bank is prohibited. 4. To refuse to receive and circulate the money issued by the State Bank in the territory of Vietnam. 
Counterfeit(x): x is counterfeit money.
Making(x): x is involved in making counterfeit money.
Transporting(x): x is involved in transporting counterfeit money.
Storing(x): x is involved in storing counterfeit money.
Circulating(x): x is involved in circulating counterfeit money.
Buying(x): x is involved in buying counterfeit money.
Selling(x): x is involved in selling counterfeit money.
Destroying(x): x is involved in destroying Vietnamese currency.
Photocopying(x): x is involved in photocopying Vietnamese currency.
Approval(x): x has prior written approval of the State Bank.
Refuse(x): x refuses to receive and circulate money issued by the State Bank.
Money(x): x is money.
IssuedBy(x, y): x is issued by y.
StateBank(x): x is the State Bank.
Vietnam(x): x is in the territory of Vietnam.

∀x (Counterfeit(x) → (Making(x) ∨ Transporting(x) ∨ Storing(x) ∨ Circulating(x) ∨ Buying(x) ∨ Selling(x)))
∀x (Destroying(x) → Vietnam(x))
∀x ((Photocopying(x) ∧ Money(x)) → Approval(x))
∀x (Refuse(x) → (∀y (Money(y) → IssuedBy(y, StateBank)) ∧ Vietnam(x)))
Leave a Comment