Matematyka.pl

Jak zapisać podany niżej ciąg przesłanek, używając sylogizmów. Chodzi mi konkretnie o to, w jaki sposób poradzić sobie z łącznikami "o ile", "które" itp.

• (1) Wszyscy moi synowie są szczupli.
  (2) Żadne z moich dzieci nie jest zdrowe, o ile nie gimnastykuje się.
  (3) Wszystkie żarłoki, które są moimi dziećmi są tłuste.
  (4) Żadna moja córka nie gimnastykuje się.

Jak sobie poradzić? Poprzez zrozumienie. Np. "o ile", to spójnik zdaniowy. Rozważ zdanie - obietnicę złożoną Jasiowi przez ojca: Pójdziemy jutro na grzyby, o ile jutro będzie ładna pogoda. Zanalizuj, w których przypadkach (zależnych od wartości logicznej zdań składowych: "pójdziemy jutro na grzyby", "jutro będzie ładna pogoda") uznasz, że ojciec dotrzymał słowa, a w których, że złamał obietnicę. Na tej podstawie zidentyfikuj spójnik "o ile" jako określony spójnik logiczny.
"który": Spróbuj zapisać dane zdanie przy pomocy kwantyfikatorów i odpowiednich spójników logicznych, a następnie rozważ, czy tak sformalizowane zdanie ma ten sam sens, co zdanie początkowe.