Zapisywanie przesłanek w sylogistyce

[ASVPsheep]

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

[krl]

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.