Помогитееее........

[Катеринка]

Средствами таблично построенной логики высказываний нужно установить, является ли правильным следующее рассуждение.
«Если философ является последовательным материалистом,то он признает познаваемость мира. Если философ признает познаваемость мира, то он не является агностиком. Следовательно, если философ является последовательным материалистом, то он не является агностиком».

[Les]

...хех...

[Um_nik]

философ является последовательным материалистом - A
философ признает познаваемость мира - B
философ не является агностиком - С

А     В     С     А->B     B->C     A->C     (A->B)*(B->C)      (A->B)*(B->C)->(A->C)
И     И     И      И           И          И                  И                                И
И    И      Л      И           Л          Л                  Л                                И
И    Л      И      Л           И          И                  Л                                И
И     Л     Л      Л           И          Л                  Л                                И
Л    И      И      И          И           И                  И                                И
Л    И      Л      И          Л           И                  Л                                И
Л    Л      И      И          И           И                  И                                И
Л    Л      Л      И          И           И                  И                                И

[seamew]

ух ты... Умник, ты такой умник... я даже вопроса-то не поняла, пока твое решение не увидела 

[Um_nik]