Přednášky        Zadání teoretických otázek a úkolů       Řešení teoretických otázek a úkolů

 

definice.gif

 

 

 

1.1 Logické operátory

 

Složené výroky, spojení výroků pomocí logických operátorů

 

Logický operátor (spojka)

Název

operace

Složený výrok

z výroků ,

Slovní vyjádření

konjunkce

 a současně

 

disjunkce

 nebo

 

implikace

jestliže , pak

 implikuje

z  plyne

 (předpoklad) je postačující podmínkou pro  (závěr)

 je nutnou podmínkou pro

 

ekvivalence

 je ekvivalentní

 právě tehdy, když

 tehdy a jen tehdy, když

 je nutnou a postačující podmínkou pro

 

negace

není pravda, že

non

 

 

Ekvivalence

 

 

1

1

1

1

1

1

0

1

0

0

1

0

0

0

0

1

0

1

1

0

1

0

0

0

0

1

1

1