6 svar
229 visningar
1PLUS2 289
Postad: 2 okt 2018 08:35

Logik

AB¬AC¬C________________B

Är det logiska argumentet riktigt?

Jag har börjat, men vet inte hur jag ska fortsätta.

Vad, mer specifikt, är frågan? Ska du visa/undersöka huruvida påståendena blir B? 

1PLUS2 289
Postad: 2 okt 2018 09:11

Är det logiska argumentet riktigt? - är frågan 

 

Svaret är att det är riktigt, men har aldrig sätt denna formulering tidigare så står lite som ett frågetecken just nu.

Bubo 7416
Postad: 2 okt 2018 09:40

Jag förstår inte frågan riktigt, men jag ser att din tabell enbart innehåller de fall där A=C. 

Yngve 40561 – Livehjälpare
Postad: 2 okt 2018 10:25 Redigerad: 2 okt 2018 10:29

Frågan gäller om de 3 premisserna leder till att B är sann. Svaret är ja. Men i resonemanget kring varför det är så saknar jag 4 rader i din sanningstabell.

Yngve 40561 – Livehjälpare
Postad: 2 okt 2018 10:32 Redigerad: 2 okt 2018 10:38

Ett annat sätt att resonera är följande:

¬C\neg C är sann, alltså är CC falsk.

Eftersom ¬AC\neg A\lor C är sann och CC är falsk så måste ¬A\neg A vara sann, dvs AA är falsk.

Eftersom ABA\lor B är sann och AA är falsk så måste BB vara sann.

Ryszard 203
Postad: 2 okt 2018 19:59

Hej! skulle vilja lägga till en till lösnings ide: vi kan använda oss av att ekvivalenta uttryck kan bytas, eftersom QPPQ och att ¬QPQP där "" betyder implikation 

så blir argumentet

¬AB¬C¬A¬Cdärför B

Svara
Close