Logik

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

Ä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.

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

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.

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

$\neg C$ är sann, alltså är $C$ falsk.

Eftersom $\neg A\lor C$ är sann och $C$ är falsk så måste $\neg A$ vara sann, dvs $A$ är falsk.

Eftersom $A\lor B$ är sann och $A$ är falsk så måste $B$ vara sann.

Hej! skulle vilja lägga till en till lösnings ide: vi kan använda oss av att ekvivalenta uttryck kan bytas, eftersom $Q\vee P\equiv P\vee Q$ och att $\neg Q\vee P\equiv Q\to P där "\to " betyder implikation$ 

så blir argumentet

$$\begin{gathered} \neg A\to B \\ \neg C\to \neg A \\ \neg C \\ därför B \end{gathered}$$