logical transformation technique

C59025
concept

A logical transformation technique is a systematic method for converting one logical representation, expression, or structure into another while preserving its intended meaning or truth conditions.

Instances (1)

Instance Via concept surface
Skolemization