Zajęcia TBSP z Logiki dla Prawników 2012

Agnieszka Guzik, Filip Leszczyński alternatywa

alternatywa

nazwa

koniunkcja dysjunkcja binegacja

równoważnia

implikacja

zwykła

rozłączna

„zawsze i

język

„bądź…

„ani nie…

„albo…

„jeżeli p

„i”

„lub”

tylko wtedy

naturalny

bądź…”

ani nie…”

albo…”

to q”

gdy p to q”

p ≡ q

p

q

p ⋀ q

p / q

p ⋁ q

p ↓ q

p ⊻ q

p → q

p⊥q

p ↔ q

1

1

1

0

1

0

0

1

1

0

1

0

1

1

0

1

0

1

1

0

0

1

1

0

1

0

0

0

0

0

1

0

1

0

1

1

TOWARZYSTWO BIBLIOTEKI SŁUCHACZÓW

PRAWA UJ

ul. Bracka 12 /302, 31-005