Page 1 of 1

(x)(Sx > Tx), (Ex)Tx (2x)(Rx Sx) /: (x)(Rx ~Sx)

Posted: Thu May 12, 2022 1:51 pm
by answerhappygod
X Sx Tx Ex Tx 2x Rx Sx X Rx Sx 1
X Sx Tx Ex Tx 2x Rx Sx X Rx Sx 1 (419.67 KiB) Viewed 25 times
(x)(Sx > Tx), (Ex)Tx (2x)(Rx Sx) /: (x)(Rx ~Sx)