Obalenie

Obalenie – w logice, obalić zdanie to wskazać jego fałszywe następstwo.

Jeżeli dane zdanie jest prawdziwe, to wszystkie wynikające z niego zdania też są prawdziwe. To prawo jest podstawą rozumowań dedukcyjnych. Wynika z niego także prawomocność operacji obalenia: jeżeli znajdziemy jakieś fałszywe zdanie q, będące następstwem zdania p, to musimy stwierdzić, że zdanie p jest fałszywe.

Zobacz też

• Obalalność empiryczna