ZWIAZKI LOGICZNE MIEDZY ZDANIAMI

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

i

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


Wyszukiwarka

Podobne podstrony:
L 2005 TERMIN II, 1) Jaka relacja zachodzi między zdaniami: „Żaden student w SGH nie oblał egz
Bliskie zwiazki w ujeciu miedzykulturowym
historia logiki, język, jego funkcje, nazwy, wyrażenia, funktory, związki logiczne
Bliskie zwiazki w ujeciu miedzykulturowym
Związki i porozumienia międzygminne oraz stowarzyszenia gmin referat
SOCJOLGOIA wykł 8 cz 2! 01 2011 WIĘZI SPOŁĘCZNE to wspólności i związki między ludźmi
Zadania ze statystyki cz5 związki między zmiennymi
Związki miedzy kultura a osobowoscia (1)
Jakie są związki między występowaniem łuszczycy a uprawianiem sportu
stosunki Polski z Niemcami, Czechosłowacją, Związkiem Radzieckim, Litwą, Łotwą w okresie międzywojen
Związki między dysmorfofobią i zaburzeniami odżywiania się
Ściągi mikro, Ściąga wykład 9, Teoria produkcji- zajmuje się rzeczową stroną procesów wytwórczych, a
Uwagi dotyczące projektów legalizacji prawnej związków między osobami homoseksualnymi, INNE - RÓŻNOŚ

więcej podobnych podstron