>>809
真理表で証明になること自体を証明しろってことだよ