In Symbolic logic we use sign language instead of natural language sentences