(۰۹ آبان ۱۳۹۴ ۰۸:۲۳ ب.ظ)Farzamm نوشته شده توسط:  

(08 آبان ۱۳۹۴ ۰۲:۵۴ ق.ظ)teraktor2003 نوشته شده توسط:  سلام دوباره
این سوال هم از منطق و استنتاج که نمی دونم چه باید بکنم...
ممنون.

این عبارت داره هم ارز بودن دو گزاره زیر رو بیان می کنه:
[tex]w\wedge q \longrightarrow p\: \equiv\: w \longrightarrow (q \longrightarrow p)[/tex]
که به راحتی قابل اثبات هست:
[tex](w\wedge q) \longrightarrow p\: \equiv\: \sim(w\wedge q)\vee p\: \equiv\: \sim w\vee\sim q\vee p\: \equiv\: \sim w\vee(q \longrightarrow p)\: \equiv\: w \longrightarrow (q \longrightarrow p)[/tex]