所謂邏輯證明也可稱作邏輯論證,就是用一個或一些已知為真的命題確定另一命題真實性或虛假性的思維過程,它包括證明和反駁。它是人們認識、理解、把握事物的手段, 也是人們探索真理、論證認識、檢驗認識和指導實踐不可缺少的重要工具。
邏輯證明是用一個或一些已知為真的命題確定另一命題真實性或虛假性的思維過程,它包括證明和反駁。