Answer Happy • (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

Page 1 of 1

(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

Posted: Mon Jul 11, 2022 12:54 pm

by answerhappygod

: 1 (5.43 KiB) Viewed 31 times

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