Tag: How many proposition symbols are there in artificial intelligence