약식 진리표 좀 봐주실 수 있나요

[익명(116.47)]

A→(B&C)/ (BvC) → ~D /Dv~A // A↔~D

t T  t t t      t F t  T   f   t T  f   1 t F f   X

f T   fvt       fvt   T   t   f T t   2 f F t   O

타당하지 않은 논증인데 쟤가 자꾸 뭘 실수하는지 약식 진리표로는 나타내기가 어렵네요...봐주시면 감사하겠습니다...

[ㅁㄴㅇㄹ(122.38)]

약식 증명법이나 진리표는 봤어도 약식진리표는 처음보네요 혹시 전제가 모두 참인 모든 경우의 수만 진리표로 확인해서 결론이 거짓인 경우가 없는가 봐서 타당성을 확인하는건가요? - dc App - dc App

[익명(116.47)]

네, 전제가 모두 참으로, 결론은 거짓으로 놓고 규칙에 맞는 경우의 수가 있으면 비타당, 없으면 타당인데, ↔은 양쪽에서 확인해봐야 하는데 둘이 다르게 나오는 것 같아서 뭐를 잘못하고 있는건지...도움을 주시면 감사하겠습니다 ㅠㅠ

[ㅁㄴㅇㄹ(122.38)]

논리적 동치인 쌍조건문의 정의를 참고하시면 바로 답나올거 같은데요? - dc App