ਪ੍ਰੋਪੋਜ਼ਿਸ਼ਨਲ ਤਰਕ, ਜਿਸਨੂੰ ਸੇਂਟੈਂਸ਼ੀਅਲ ਲੌਜਿਕ ਵੀ ਕਿਹਾ ਜਾਂਦਾ ਹੈ, ਗਣਿਤਿਕ ਤਰਕ ਦੀ ਇੱਕ ਸ਼ਾਖਾ ਹੈ ਜੋ ਪ੍ਰਸਤਾਵਾਂ ਜਾਂ ਕਥਨਾਂ ਦੇ ਅਧਿਐਨ ਨਾਲ ਸੰਬੰਧਿਤ ਹੈ ਜੋ ਸਹੀ ਜਾਂ ਗਲਤ ਹਨ। ਇਹ ਤਰਕ ਦੀ ਇੱਕ ਰਸਮੀ ਪ੍ਰਣਾਲੀ ਹੈ ਜੋ ਪ੍ਰਸਤਾਵਾਂ ਨੂੰ ਦਰਸਾਉਣ ਲਈ ਚਿੰਨ੍ਹਾਂ ਦੀ ਵਰਤੋਂ ਕਰਦੀ ਹੈ ਅਤੇ ਉਹਨਾਂ ਨੂੰ ਹੇਰਾਫੇਰੀ ਕਰਨ ਲਈ ਲਾਜ਼ੀਕਲ ਓਪਰੇਟਰਾਂ ਦੀ ਵਰਤੋਂ ਕਰਦੀ ਹੈ। ਪ੍ਰਸਤਾਵਿਤ ਤਰਕ ਵਿੱਚ, ਇੱਕ ਪ੍ਰਸਤਾਵ ਇੱਕ ਘੋਸ਼ਣਾਤਮਕ ਕਥਨ ਹੈ ਜੋ ਜਾਂ ਤਾਂ ਸਹੀ ਜਾਂ ਗਲਤ ਹੈ, ਪਰ ਇੱਕੋ ਸਮੇਂ ਦੋਵੇਂ ਨਹੀਂ। ਪ੍ਰਸਤਾਵਿਤ ਤਰਕ ਵਿੱਚ ਵਰਤੇ ਜਾਣ ਵਾਲੇ ਲਾਜ਼ੀਕਲ ਓਪਰੇਟਰਾਂ ਵਿੱਚ ਸ਼ਾਮਲ ਹਨ ਨਕਾਰਾਤਮਕ, ਸੰਯੋਜਨ, ਡਿਸਜੰਕਸ਼ਨ, ਇਮਲੀਕੇਸ਼ਨ, ਅਤੇ ਸਮਾਨਤਾ, ਜੋ ਇੱਕ ਨੂੰ ਸਰਲ ਤੋਂ ਵਧੇਰੇ ਗੁੰਝਲਦਾਰ ਪ੍ਰਸਤਾਵ ਬਣਾਉਣ ਦੀ ਆਗਿਆ ਦਿੰਦੇ ਹਨ। ਪ੍ਰਸਤਾਵਿਤ ਤਰਕ ਦਾ ਮੁੱਖ ਟੀਚਾ ਦਲੀਲਾਂ ਦਾ ਵਿਸ਼ਲੇਸ਼ਣ ਕਰਨ ਅਤੇ ਪ੍ਰਮਾਣਿਕ ਸਿੱਟੇ ਕੱਢਣ ਲਈ ਇੱਕ ਯੋਜਨਾਬੱਧ ਅਤੇ ਸਖ਼ਤ ਤਰੀਕੇ ਨੂੰ ਵਿਕਸਿਤ ਕਰਨਾ ਹੈ।