- 1 (5.43 KiB) Viewed 29 times
(1) 1. (x)(AxBx) 2. (x)(BxCx) (2) 1. (x)(x(x) 2. (3x)(Ax-Bx) (3) 1. (x)(AxRx) 2. Bm ★(4) 1. (x)(AxƆ Rx) /(x)(Ax Cx) / (3x)(Ax-Cx) / (3x) Ax 2. (v) (Ayva By) /(x) (Ax=Bx) (5) 1. (x)[AxƆ (Bxy Cx)] 2. Ag Bg | 08
(1) 1. (x)(AxBx) 2. (x)(BxCx) (2) 1. (x)(x(x) 2. (3x)(Ax-Bx) (3) 1. (x)(AxRx) 2. Bm ★(4) 1. (x)(AxƆ Rx) /(x)(Ax Cx) / (3
-
answerhappygod
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
(1) 1. (x)(AxBx) 2. (x)(BxCx) (2) 1. (x)(x(x) 2. (3x)(Ax-Bx) (3) 1. (x)(AxRx) 2. Bm ★(4) 1. (x)(AxƆ Rx) /(x)(Ax Cx) / (3
Prove the arguments using direct proof.
(1) 1. (x)(AxBx) 2. (x)(BxCx) (2) 1. (x)(x(x) 2. (3x)(Ax-Bx) (3) 1. (x)(AxRx) 2. Bm ★(4) 1. (x)(AxƆ Rx) /(x)(Ax Cx) / (3x)(Ax-Cx) / (3x) Ax 2. (v) (Ayva By) /(x) (Ax=Bx) (5) 1. (x)[AxƆ (Bxy Cx)] 2. Ag Bg | 08
(1) 1. (x)(AxBx) 2. (x)(BxCx) (2) 1. (x)(x(x) 2. (3x)(Ax-Bx) (3) 1. (x)(AxRx) 2. Bm ★(4) 1. (x)(AxƆ Rx) /(x)(Ax Cx) / (3x)(Ax-Cx) / (3x) Ax 2. (v) (Ayva By) /(x) (Ax=Bx) (5) 1. (x)[AxƆ (Bxy Cx)] 2. Ag Bg | 08