[理工] [離散]-邏輯

[chocosan (薯條)]

判斷下列formula真假:

1. (P->Q)^(P->(Q->R))->(P->R)

請問要如何判斷此題的真假
謝謝各位囉~

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 59.113.130.64
推 crazykk:最直觀的做法就是畫真值表，若輸出全為1，則為true
→ crazykk:另一個做法就是把題目拆成一個若p則q的命題
→ chocosan:找反例是否也可以呢?謝謝
→ crazykk:若可找到p是false而q是true則此敘述是false
→ crazykk:可以，不過那只適用於此敘述是false的情況
→ crazykk:因為，如果此敘述恆為true，是找不到反例
→ chocosan:謝謝