# Příklady na logicky deduktivně platné a neplatné argumenty

## Příklad 1

Jestli Petr jezdí autem, tak jezdí dopravním prostředkem.
Petr jezdí autem.
---
Takže, Petr jezdí dopravním prostředkem.

p -> q
p
---
q

## Příklad 2

Jestli Petr jezdí autem, tak jezdí dopravním prostředkem.
Petr jezdí dopravním prostředkem.
---
Takže, Petr jezdí autem.

p -> q
q
---
p

## Příklad 3

Jestli je Petr z Brna, tak má rád pivo.
Petr není z Brna.
---
Petr nemá rád pivo.

p -> q
~p
---
~q


## Příklad 4

Jestl je Petr z Brna, tak má rád pivo.
Petr nemá rád pivo.
---
Petr není z Brna.

p -> q
~q
---
~p