Noem twee bekendste varianten binnen logica