Kontrprzykład – zdanie falsyfikujące, z którego wynika negacja pewnego zdania ogólnego[1] – zawierającego kwantyfikator ogólny („dla każdego”, „dla dowolnego”). Kontrprzykład jest koniunkcją dwóch zdań elementarnych (tzn. takich, że jest to zdanie atomowe lub negacja zdania atomowego).

Jeżeli uda nam się znaleźć kontrprzykład to wyrażenie nie jest tautologią, ponieważ istnieje takie podstawienie wartości logicznych za konkretne zmienne w wyrażeniu, dla którego schemat jest fałszywy.

Przykłady edytuj

Przypisy edytuj

  1.   Przeczytaj, Zintegrowana Platforma Edukacyjna, zpe.gov.pl [dostęp 2023-10-26].

Linki zewnętrzne edytuj