background image

ZWIĄZKI LOGICZNE 

MIEDZY ZDANIAMI

 

background image

WYNIKANIE

• Ze  zdania    WYNIKA  LOGICZNIE 

zdanie    zawsze  i  tylko  wtedy,  gdy 

zdanie 

•    jest prawem logiki.
• PRZYKŁAD 9
• Ze  zdania  (p    q)  wynika  logicznie 

zdanie  q,  bo  zdanie  (p    q)    q  jest 

prawem logiki.

background image

UWAGA

• Należy  odróżnić  wynikanie  logiczne  od 

ANALITYCZNEGO,FIZYCZNEGO, 
BIOLOGICZNEGO,  PSYCHOLOGICZNEGO 
itp.

• Definicje  różnych  typów  wynikania 

mają następujący schemat:

• Ze  zdania    WYNIKA  X-OWO  zdanie   

zawsze i tylko wtedy, gdy zdanie 

•    jest prawdą nauki X.

background image

 

• W szczególności:
• Ze  zdania    WYNIKA  ANALITYCZNIE 

zdanie    zawsze  i  tylko  wtedy,  gdy 

zdanie    jest prawdą ANALITYCZNĄ.

• PRZYKŁAD 10
• Ze zdania „Jan jest mężem Marii” wynika 

analitycznie  zdanie  „Maria  jest  żoną 

Jana”,  bo  prawdą  analityczną  języka 

polskiego jest to, że relacja bycia mężem 

jest  odwrotnością  (konwersem)  relacji 

bycia żoną. 

background image

 

• Ze  zdania    WYNIKA  FIZYCZNIE  zdanie   

zawsze i tylko wtedy, gdy zdanie 

•    jest prawdą fizyki.
• PRZYKŁAD 11
• Ze  zdania  „Na  ciało  nie  działają  żadne 

siły”  wynika  zdanie  „Ciało  porusza  się 
ruchem  jednostajnym  lub  spoczywa”,  bo 
zdanie  „Jeśli  na  ciało  nie  działają  żadne 
siły,  to  ciało  porusza  się  ruchem 
jednostajnym 

lub 

spoczywa”, 

jest 

prawem Newtona.

background image

 

• Ze  zdania    WYNIKA  BIOLOGICZNIE 

zdanie    zawsze  i  tylko  wtedy,  gdy 

zdanie    jest prawdą biologii.

• PRZYKŁAD 12
• Ze zdania „Kręgowiec X posiada nerki” 

wynika  biologicznie  zdanie  „Kręgowiec 

X  posiada  serce”,  bo  prawem  biologii 

jest  to,  że  wszystkie  kręgowce 

posiadające serce posiadają też nerki.

 

background image

UWAGA

• Im  prawa  danej  nauki  są  mniej 

pewne,  tym  związek  wynikania  (na 
gruncie tej nauki) jest słabszy. 

• PRZYKŁAD 13
• Czy ze zdania „Jan wychował się w 

patologicznej rodzinie” wynika 
psychologicznie zdanie „Jan założy 
patologiczną rodzinę”?

background image

WYKLUCZANIE (LOGICZNE)

• Zdanie    wyklucza  się  ze  zdaniem   

zawsze  i  tylko  wtedy,  gdy  ze  zdania   

wynika zdanie  (albo: zdania  i  nie 

mogą  być  jednocześnie  prawdziwe  – 

tzn. zdanie (  ) jest kontrtautologią).

• Uwaga
• Zdania  wykluczające  się  nie  mogą  być 

jednocześnie  prawdziwe  ale  mogą  być 

jednocześnie fałszywe.

 

background image

PRZYKŁAD 13 

• Zdanie p wyklucza się ze zdaniem p  

q, bo:

• p  (p  q) jest prawem logiki 

(tautologią);

• p  (p  q) jest kontrtautologią.
• Uwaga
• Zdania p i p  q mogą być jednocześnie 

fałszywe – gdy p =0 i q = 0.

background image

DOPEŁNIANIE (LOGICZNE)

• Zdanie  dopełnia się ze zdaniem  zawsze i 

tylko  wtedy,  gdy  ze  zdania    wynika 

zdanie    (albo:  zdania    i    nie  mogą  być 

jednocześnie  fałszywe  –  tzn.  zdanie  (   

) jest kontrtautologią).

• Uwaga
• Zdania  dopełniające  się  nie  mogą  być 

jednocześnie  fałszywe  ale  mogą  być 
jednocześnie prawdziwe.

 

background image

PRZYKŁAD 14

• Zdanie p dopełnia się ze zdaniem p  q, 

bo:

• p    (p    q)  jest  prawem  logiki 

(tautologią);

• p  (p  q) jest kontrtautologią.
• Uwaga
• Zdania p i p  q mogą być jednocześnie 

prawdziwe, gdy  p =1 i q = 1.

background image

SPRZECZNOŚĆ LOGICZNA

• Zdanie    jest  sprzeczne  ze  zdaniem   

zawsze  i  tylko  wtedy,  gdy  ze  zdania   

wynika  zdanie    (zdania    i    się 

wykluczają) i ze zdania   wynika zdanie  

(zdania    i    się  dopełniają).  Zdania 

sprzeczne  nie  mogą  być  ani  jednocześnie 

fałszywe ani jednocześnie prawdziwe –    

jest tautologia, a    jest kontrtautologią.

• Uwaga
• Zdaniem sprzecznym do danego jest po 

prostu jego negacja.

 

background image

PRZYKŁAD 15

• Zdaniem sprzecznym do zdania 
• p  q 
• jest zdanie  p  q, 
• bo:
• (p  q)  (p  q)
 

background image

RÓWNOWAŻNOŚĆ

• Zdanie    jest  równoważne  zdaniu   

zawsze  i  tylko  wtedy,  gdy  ze  zdania   

wynika  zdanie    i  ze  zdania  B  wynika 

zdanie  – tzn. kiedy zdanie     jest 

tautologią.

• Uwaga
• Zdania równoważne mają taką samą 

wartość logiczną

background image

PRZYKŁAD 16

• Zdanie p  q jest równoważne ze 

zdaniem

•  q  p, 
• bo:
• (p  q)  (q  p) jest tautologią 

(prawo transpozycji). 

background image

PODSUMOWANIE

• Jeśli dane są dwa zdania  i  to mogą między 

nimi zachodzić następujące związki:

ZWIĄZEK

CO 

JEST 

TAUTOLOG

JAKIE 

WARTOŚCI 

LOGICZNE

ZWIĄZEK  Z  INNYMI 
ZALEŻNOŚCIAMI

WYNIKANIE 

(Z 

 

WYNIKA )

    

nie może być tak, że  
= 1 i  = 0.

WYNIKANIE 

(Z 

 

WYNIKA )

    

nie może być tak, że   
= 1 i  = 0.

RÓWNOWAŻNOŚĆ

   

  i  mają takie same 
wartości logiczne.

zachodzi  tylko  wtedy, 
gdy  zachodzą  wynikania 
w obie strony.

WYKLUCZANIE

   
 (  )

nie może być tak, że  
= 1 i  = 1.

DOPEŁNIANIE 

   
   

nie może być tak, że  
= 0 i  = 0.

SPRZECZNOŚĆ

   
   

  i    mają  różne 
wartości logiczne

zachodzi  tylko  wtedy, 
gdy 

zachodzi 

wykluczanie 

dopełnianie.

background image

WARUNEK KONIECZNY 

• Stwierdzamy,  że  zajście  pewnego 

faktu  (wykonanie  pewnej  czynności) 
jest  WARUNKIEM  KONIECZNYM 
(łac. condition sine qua non). 

• Co to znaczy?

background image

PRZYKŁAD 1

• a)  Warunkiem  koniecznym  fałszywości  zdania  (p    q)  jest 

fałszywość obu zdań składowych, bo jest prawdą logiczną, że:

• jeśli  fałszywe  jest  zdanie  (p    q),  to  fałszywe  jest  zdanie  p  i 

fałszywe jest zdanie q.

• b) Warunkiem koniecznym tego, ze pada deszcz jest to, że są 

chmury, bo jest prawdą fizyczną (meteorologiczną?), że:

• jeśli pada deszcz to są chmury.
• c) Warunkiem koniecznym bycia matką jest bycie kobietą, bo 

prawdą biologiczną jest, że:

• jeśli ktoś jest matką to jest kobietą.
• d)  Warunkiem  koniecznym  podzielności  przez  4  jest 

podzielność przez 2, bo prawdą matematyczną jest:

• jeśli dana liczba jest podzielna przez 4, to jest podzielna przez 

2.

• e)  Warunkiem  koniecznym  pełnej  zdolności  do  czynności 

prawnych jest pełnoletniość, bo z KC wynika, że

• jeśli  dana  osoba  nie  jest  pełnoletnia,  to  nie  ma  pełnej 

zdolności do czynności prawnych

background image

UWAGA

• Podobnie  jak  pojęcie  wynikania

pojęcie  warunku  koniecznego  jest 
wieloznaczne – są warunki logicznie 
konieczne

analitycznie 

konieczne,  fizycznie  konieczne 
itd.  Zależy  to  od  tego,  do  praw 
jakiej  nauki
  odwołujemy  się,  aby 
stwierdzić,  że  prawdziwa  jest  pewna 
implikacja.

background image

 

• DEFINICJA 

BYCIA 

WARUNKIEM 

LOGICZNIE KONIECZNYM

• Zdanie    jest  warunkiem  (logicznie) 

koniecznym  zdania   zawsze i tylko wtedy, 

gdy implikacja     jest prawem logiki.

•  
• DEFINICJA 

BYCIA 

WARUNKIEM 

KONIECZNYM NA GRUNCIE NAUKI X

• Zdanie    jest  warunkiem  koniecznym  na 

gruncie  nauki  X  zdania    zawsze  i  tylko 

wtedy,  gdy  implikacja        jest  prawem 

nauki X.

 

background image

 

• W PRZYKŁADZIE 1 (a) mówi o warunku 

logicznie  koniecznym,  (b)  –  fizycznie 
koniecznym, 

(c) 

– 

biologicznie 

koniecznym, 

(d) 

– 

matematycznie 

koniecznym,  a  w  przykładzie  (e)  –  o 
warunku prawnie koniecznym. 

• PROBLEM
• Czy 

warunkiem 

koniecznym 

szczęśliwego  związku  jest  to,  że 
partnerzy 

mają 

podobne 

zainteresowania?

background image

WARUNEK DOSTATECZNY

• Co  to  znaczy,  że  zajście  pewnego 

faktu  (wykonanie  pewnej  czynności) 
jest 

warunkiem 

dostatecznym 

(warunkiem  wystarczającym)  zajścia 
innego faktu?

 

background image

PRZYKŁAD 2

• a) Warunkiem logicznie dostatecznym prawdziwości implikacji (p  

q) jest fałszywość jej poprzednika, bo jest prawem logiki jest, że:

• jeśli zdanie p jest fałszywe, to zdanie (p  q) jest prawdziwe.
• b)  Warunkiem  fizycznie  dostatecznym  stwierdzenia,  że  w  nocy 

temperatura  spadła  poniżej  zera  jest  to,  że  wszystkie  kałuże  są 
zamarznięte, bo jest prawem fizyki, że:

• jeśli woda zamarza, to temperatura jest ujemna.
• c)  Warunkiem  biologicznie  dostatecznym  stwierdzenia,  że  dane 

zwierze  jest  kręgowcem  jest  to,  że  jest  ono  ssakiem,  bo  jest 
prawem biologii, że:

• każde zwierze, które jest ssakiem jest kręgowcem.
• d) Warunkiem matematycznie dostatecznym podzielności przez 3 

jest podzielność przez 6, bo jest prawem matematyki, że:

• jeśli dana liczba jest podzielna przez 6, to jest podzielna przez 3.
• e)  Warunkiem  prawnie  dostatecznym  pełnoletniości  jest  zawarcie 

związku małżeńskiego, bo z KC wynika, że:

• jeśli dana osoba zawarła związek małżeński, to jest pełnoletnia.

background image

 

• W  PRZYKŁADZIE  2 

(a)  mówi  o  warunku 

logicznie  dostatecznym,  (b)  –  fizycznie 
dostatecznym, (c) – biologicznie dostatecznym, 
(d)  –  matematycznie  dostatecznym,  a  w 
przykładzie  (e)  –  o  warunku  prawnie 
dostatecznym.

• Podobnie jak w wypadku warunku koniecznego, 

pojęcie 

warunku 

dostatecznego 

jest 

wieloznaczne  –  trzeba  sobie  zdawać  sprawę  z 
jego relatywizacji do praw określonej nauki.

• PROBLEM
• Czy warunkiem dostatecznym szczęścia jest 

posiadanie dużej ilości pieniędzy? 

background image

 

• DEFINICJA 

BYCIA 

WARUNKIEM 

LOGICZNIE DOSTATECZNYM

• Zdanie    jest  warunkiem  (logicznie) 

dostatecznym  zdania    zawsze  i  tylko 

wtedy, gdy implikacja       jest prawem 

logiki.

•  
• DEFINICJA 

BYCIA 

WARUNKIEM 

DOSTATECZNYM NA GRUNCIE NAUKI X

• Zdanie    jest  warunkiem  dostatecznym  na 

gruncie  nauki  X  zdania    zawsze  i  tylko 

wtedy,  gdy  implikacja          jest  prawem 

nauki X.

background image

ZADANIE

• Zapisz strukturę zdania i określ jego wartość logiczną.
• a)  Warunkiem  koniecznym  podzielności  przez  5  jest 

podzielność przez 10.

• b)  Warunkiem  dostateczny  podzielności  przez  5  jest 

podzielność przez 10.

• c) Nieprawda, że warunkiem wystarczającym deszczu 

są chmury.

• d)  Brak  wolność  woli  nie  jest  warunkiem  koniecznym 

nie istnienia moralności

• e)  Nieprawda,  że  bycie  dziadkiem  jest  warunkiem 

wystarczającym nie bycia ojcem.

• f)  Warunkiem  koniecznym  nie  bycia  ojcem  jest  nie 

bycie dziadkiem.

• g) Nieprawda, że warunkiem wystarczającym zawarcia 

związku małżeńskiego jest bycie pełnoletnim.


Document Outline