WARTOSC_LOGICZNA.doc

WARTOSC LOGICZNA ( PRAWDZIWOSC lub FALSZYWOSC ) zdania zlozonego, zbudowanego ze zdan prostych, wylacznie poprzez uzycie do tego celu spojnikow: , , , , ~ , zalezy od miejsca ich wystepowania w schemacie zdaniowym oraz wartosci logicznej ( 1 = prawda lub 0 = falsz ), zdan skladowych.

Zaleznosc ta jest ujeta w tabele, tzw. MATRYCE LOGICZNE - logika "wymaga" by wkuc kazda matryca logiczna na pamiec, na tej samej zasadzie, na ktorej matematyka "wymaga" wkucia na pamiec TABLICZKI MNOZENIA ...

ZAWSZE !!!
CALE ZDANIE SKLADAJACE SIE Z DWOCH ZDAN PROSTYCH , GDZIE :

p

q

p q

W KONIUNKCJI :

1

1

1

"p" jest prawdziwe, "q" jest prawdziwe daje PRAWDE

1

0

0

"p" jest prawdziwe, "q" jest falszywe daje FALSZ

0

1

0

"p" jest falszywe, "q" jest prawdziwe daje FALSZ

0

0

0

"p" jest falszywe, "q" jest falszywe daje FALSZ

p

q

p q

W ALTERNATYWIE :

1

1

1

"p" jest prawdziwe, "q" jest prawdziwe daje PRAWDE

1

0

1

"p" jest prawdziwe, "q" jest falszywe daje PRAWDE

0

1

1

"p" jest falszywe, "q" jest prawdziwe daje PRAWDE

0

0

0

"p" jest falszywe, "q" jest falszywe daje FALSZ

p

q

p q

W IMPLIKACJI :

1

1

1

"p" jest prawdziwe, "q" jest prawdziwe daje PRAWDE

1

0

0

"p" jest prawdziwe, "q" jest falszywe daje FALSZ

0

1

1

"p" jest falszywe, "q" jest prawdziwe daje PRAWDE

0

0

1

"p" jest falszywe, "q" jest falszywe daje PRAWDE

p

q

p q

W ROWNOWAZNOSCI :

1

1

1

"p" jest prawdziwe, "q" jest prawdziwe daje PRAWDE

1

0

0

"p" jest prawdziwe, "q" jest falszywe daje FALSZ

0

1

0

"p" jest falszywe, "q" jest prawdziwe daje FALSZ

0

0

1

"p" jest falszywe, "q" jest falszywe daje PRAWDE

p

~ p

W NEGACJI :

1

0

"p" jest prawdziwe, daje FALSZ