سلام دوباره
این سوال هم از منطق و استنتاج که نمی دونم چه باید بکنم...
ممنون.
(۰۸ آبان ۱۳۹۴ ۰۲:۵۴ ق.ظ)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]
(۰۹ آبان ۱۳۹۴ ۰۸:۲۳ ب.ظ)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]
یک دنیا ممنون
