Και λίγη ... Λογική!

#1

Να εξετασθεί η ισχύς της συνεπαγωγής

$[(p\Rightarrow s)\wedge (\neg(q\Rightarrow s))]\Rightarrow [(p\wedge q)\Rightarrow s]$

Γιώργος Μπαλόγλου

maiksoul · #2

Αν δεν κάνω λάθος:

η πρόταση αληθεύει αμέσως σε όλες τις περιπτώσεις ,εκτός από την περίπτωση όπου:

$\displaystyle{ q = A,\,\,\,s = \Psi ,\,\, }$

τότε :

άν $\displaystyle{ p = A }$ πάλι αληθεύει αφού η υπόθεση είναι ψευδής

αν $\displaystyle{ p = \Psi }$ πάλι αληθεύει αφού η υπόθεση και το συμπέρασμα είναι αληθές.

Δηλαδή πρόκειται για ταυτολογία!

Αντώνης Πάπαρης · #3

Αν $A = (p\Rightarrow s)$ τότε $\neg A = \neg(q\Rightarrow s)$ οπότε η δοσμένη γράφεται

$A \wedge \neg A \Rightarrow [(p\wedge q)\Rightarrow s]$

δηλαδή $\Psi \Rightarrow [(p\wedge q)\Rightarrow s]$ η οποία είναι ταυτολογία

Προφανώς λάθος.

maiksoul · #4

Αντώνη, καλημέρα!

Οι συνεπαγωγές $p\Rightarrow s$ και $q\Rightarrow s$ δεν είναι ίδιες, γιατί λοιπόν όταν η μια είναι Α η άρνηση της άλλης να είναι Ψ;

Μήπως είναι κάτι που δεν βλέπω;

Αντώνης Πάπαρης · #5

maiksoul έγραψε:Αντώνη, καλημέρα!

Οι συνεπαγωγές $p\Rightarrow s$ και $q\Rightarrow s$ δεν είναι ίδιες, γιατί λοιπόν όταν η μια είναι Α η άρνηση της άλλης να είναι Ψ;

Μήπως είναι κάτι που δεν βλέπω;

Στραβωμάρα μου.

Και λίγη ... Λογική!

Και λίγη ... Λογική!

Re: Και λίγη ... Λογική!

Re: Και λίγη ... Λογική!

Re: Και λίγη ... Λογική!

Re: Και λίγη ... Λογική!

Μέλη σε σύνδεση