Observe the dependences of these rules: in the first rule of (1.1), the conclusion φ has to match the first conjunct of the premise, whereas the exact nature of the second conjunct ψ is irrelevant
Quan sát dependences những quy tắc này: trong các quy tắc chính (1,1), φ kết luận có để phù hợp với conjunct chính của tiền đề này, trong khi bản chất chính xác của ψ conjunct thứ hai là không thích hợp
Quan sát sự phụ thuộc của các quy tắc: trong quy tắc fi đầu tiên của (1.1), các kết luận φ có để phù hợp với các liên kết fi đầu tiên của các tiền đề, trong khi bản chất chính xác của ψ liên kết thứ hai là không thích hợp