az118 (az118) wrote,

отрицания в АФИ

всякое  A есть B:  A <  B:  ~ всякое A не-есть не-B: -A > -B:  ~ всякое не-B есть не-A
всякое  A есть не-B:  A < -B:  ~ всякое A не-есть B: -A >  B:  ~ всякое B есть не-A
всякое не-A есть  B: -A <  B:  ~ всякое не-A не-есть не-B:  A > -B:  ~ всякое не-B есть A
всякое не-A есть не-B: -A < -B:  ~ всякое не-A не-есть B:  A >  B:  ~ всякое B есть A

не-всякое A есть B:  A и -B > 0:  ~ есть A, которое есть не-B:  ~ не-всякое A не-есть не-B
не-всякое A есть не-B:  A и  B > 0:  ~ есть A, которое есть B:  ~ не-всякое A не-есть B
не-всякое не-A есть B: -A и -B > 0:  ~ есть не-A, которое есть не-B:  ~ не-всякое не-A не-есть не-B
не-всякое не-A есть не-B: -A и  B > 0:  ~ есть не-A, которое есть B:  ~ не-всякое не-A не-есть B


  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded