Obalenie
Z Wikipedii
Obalenie - 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.