Zajęcia TBSP z Logiki dla Prawników 2012

Agnieszka Guzik, Filip Leszczyński

Spójniki w zadaniach KRZ

→ implikacja: jeśli…, to…;

gdy…, to… ;

o ile…, to…

Implikacja intensywna, czyli: p, jeśli q; Tylko jeśli p, to q;

Jeśli p, to q – jako implikację intensywną zapisujemy tylko, jeżeli q jest warunkiem koniecznym dla p

Wtedy implikację zapisujemy jako q → p

∧ koniunkcja: i;

oraz;

ale;

lecz;

choć;

a;

jednak;

chociaż;

mimo to

⊥ alternatywa rozłączna: lub…, lub…;

albo…, albo…

∨ alternatywa zwykła: ...lub…;

…albo…

≡ równoważność: zawsze i tylko jeśli…, to…; wtedy i tylko wtedy, gdy…, to…;

/

dysjunkcja: ...bądź…;

bądź…, bądź…

↓ binegacja: ani nie…, ani nie…;

ani…. nie…, ani… nie…

∼ negacja: nie;

nieprawda, że

ale: wszyscy studenci są pilni => p Nieprawda, że wszyscy studenci są pilni; nie wszyscy studenci są pilni => ∼p Wszyscy studenci nie są pilni => q

Kropka wyznacza miejsce zamknięcia nawiasu.

TOWARZYSTWO BIBLIOTEKI SŁUCHACZÓW PRAWA UJ

ul. Bracka 12 /302, 31-005 Kraków