Question

zbadaj wartość logiczną wyrażenia (zdania)

(p^q)=>(p=>q)

Answer 1

Rozwiązanie w załączniku.

Answer 2

p     q     p^q     p=>q      (p^q)=>(p=>q)

1     1       1         1                   1

1     0       0         0                   1

0     1       0         1                   1

0     0       0         1                   1

 

w ostatniej tabelce korzystasz wcześniej wyliczonych wartości p^q i p=>q i określasz dla nich implikację

 

 

wystarczy skorzystać z tabelek:

KONIUNKCJA:

p     q     p^q  

1     1       1   

1     0       0     

0     1       0     

0     0       0  

 

IMPLIKACJA (WYNIKANIE)

p     q     p=>q 

1     1       1   

1     0       0   

0     1       1    

0     0       1