Zajęcia TBSP z Logiki dla Prawników 2013

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 www.tbsp.pl