Doplňte závěr k následujícím předpokladům tak, aby byl úsudek neplatný:
Všichni studenti jsou chytří.
Karel je student.
Vytvořte dvě různé kontradiktorické formule výrokové logiky, ve kterých se bude vyskytovat alespoň jednou každý z výroků p, q, r.
Doplňte model následující formule:
∃x ∀y (P(x) ⊃ Q(f(x), y))
univerzum = Z (celá čísla)
Sématickou metodou sporem zjistěte platnost následujícího úsudku:
¬r, (¬q ⊃ r), (q ∨ p) |= q
Pomocí Vennových diagramů zjistěte platnost následujícího úsudku:
Všechno hranaté je žluté.
Vše hranaté je nebezpečné.
Něco je žluté a nebezpečné.
— A proto něco je hranaté.