-
Výrok je pravdivý, platí např. pro
.
Negace: Pro každé
je
.
-
Výrok je nepravdivý, neplatí např. pro
.
Negace: Existuje aspoň jedno
, pro něž je
.
-
Výrok je pravdivý, platí např. pro
.
Negace: Pro všechna
je
.
-
Výrok je pravdivý, platí pro
.
Negace: Pro všechna
je
.
-
Výrok je nepravdivý, neplatí pro
.
Negace: Existuje aspoň jedno
, pro něž výraz
.
-
Výrok je nepravdivý, jednička má jen jednoho dělitele.
Negace: Existuje aspoň jedno přirozené číslo, které má nejvýše jednoho dělitele.
-
Výrok je nepravdivý, neplatí např. pro
Negace: Existuje aspoň jedno reálné číslo
, pro něž je
.
-
Výrok je nepravdivý, úhlopříčky jsou kolmé jen ve čtverci a kosočtverci.
Negace: Existuje aspoň jeden čtyřúhelník, jehož úhlopříčky nejsou navzájem kolmé.
-
Výrok je pravdivý, platí např. pro číslo
.
Negace: Pro každé reálné číslo
je
.
-
Výrok je pravdivý, jedná se o Pythagorovu větu.
Negace:
Existuje aspoň jeden pravoúhlý trojúhelník s přeponou
a odvěsnami
tak, že platí: