Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Những quy tắc này được sinh ra từ luật ∧. Chú ý với luật (∀xi): trong luật này, hộp bắt đầu với một biến “fresh” x0 , biến này không xuất hiện ở bất cứ đâu ngoài hộp. Nếu công thức Φ đúng cho phần từ sinh ra đó, thì nó đúng cho tất cả các terms. | Slide 4.24 Tính chát của dâu bằng Dấu bằng có Tính phản xạ -t t Tính đối xứng ti t2 r t2 ti 1. ti t2 2. ti ti 3.t2 ti Tính bắc cầu ti t2 t2 t3 tl t3 2. ti-t2 3. ti t3 Tiền đề e do 1 2 với D là zzx ti Tiền đề Tiền đề e do 1 2 với D là ti x 92 Slide 4.25 Mở rông các quy tắc cho logic vi từ Quy tắc chứng minh với lượng từ toàn thể Vx Vxe Vx fit x V xi Những quy tắc này được sinh ra từ luật A. Chú ý với luật Vxi trong luật này hộp bắt đầu với một biến fresh x0 biến này không xuất hiện ở b ất cứ đâu ngoài hộp. Nếu công thức o đúng cho phần từ sinh ra đó thì nó đúng cho tất cả các terms. 93 Slide 4.26 Lượng từ toàn thể- Những ví dụ 1 Ví dụ 1 P t Vx P x Q x H Q t 1 P t Tiền đề 2 VxP x 3 P tH .Q t 4 . Q t Tiền đề Vxe do 2 e do 3 1 .
