Zajęcia TBSP z Logiki dla Prawników 2013

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

Kraków