一天，營長在全營會上講話說：“不想到將軍的士兵不是好士兵”，那么營長講這句話的意思是：
A：想當將軍的士兵一定是好士兵 B： 除非想當將軍，否則不是個好士兵
C：壞士兵是不想當將軍的 D：壞士兵也是想當將軍的
E：不想當將軍的士兵，也可以是一個好士兵
對於原話，我們可以將這一命題轉化為一個復合命題，使得能夠通過兩個子命題與整命題的關系來判定下面5個命題哪個是與原命題是完全相符的——“如果一個士兵不想當將軍，那么他就不是好士兵”。注意原命題是一個陳述句，只是提到了不想當將軍的情況，而沒有提到想當將軍的情況，因此不能將原命題轉為：“一個士兵不是一個好士兵，當且僅當他不想當將軍”，或“一個士兵只有想當將軍，才是一個好士兵”。因此，原命題只能轉為一個包含一個表示蘊含關系的聯結詞的復合命題。
這樣，就有了兩個原子命題——“一個士兵不想當將軍”和“一個士兵不是一個好士兵”。我們后面為了描述方便，采用數理邏輯中的表達方式，將命題“一個士兵不想當將軍”作為命題A，而將命題“一個士兵不是一個好士兵”作為命題B，那么原命題就是——
A -> B
符號->表示“蘊含”聯結詞，字面上的語義就是“如果……那么……”。我們通過A、B兩個原子命題的真假值可以獲得原命題的真假值。倘若，下面的5個命題的與A、B兩個原子命題所等價的原子命題的所有的值能夠得到與原命題相同的結果，那么我們稱它們為等價的。
對於蘊含關系，原子命題與整命題的關系為：
A -> B，表示A蘊含B，其在數理邏輯的真值表為：
0 -> 0 = 1，表示命題A為假，且命題B為假，那么整個命題為真
0 -> 1 = 1，表示命題A為假，且命題B為真，那么整個命題為真
1 -> 0 = 0，表示命題A為真，且命題B為假，那么整個命題為假
1 -> 1 = 1，表示命題A為真，且命題B為真，那么整個命題為真
下面我們來看A選項——“想當將軍的士兵一定是好士兵”。在命題邏輯里面，像“一定”這種副詞沒任何作用，完全可以拿掉，那么這句話的意思就是——“如果一個士兵想當將軍，那么這個士兵就是個好士兵”。同樣，我們用原子命題X表示“一個士兵想當將軍”，用原子命題Y表示“這個士兵是個好士兵”。我們這里可以看到，命題X的關系與命題A完全相反；命題Y的關系與命題B也完全相反，我們可以表示為：命題A = ~命題X；命題B = ~命題Y。那么我們可以這么描述這個命題：
~A -> ~B，表示~A蘊含~B，其在數理邏輯中的真值表為：
0 -> 0 = 1
0 -> 1 = 0
1 -> 0 = 1
1 -> 1 = 1
顯然，這個選項的命題與原命題不符。
我們再看看選項B——“除非想當將軍，否則就不是個好士兵”。由“除非”所引出的條件是必要條件，表示對由“否則”所引出的命題做出斷言——“不想當將軍的士兵不是好士兵”。因此，這句在漢語的語義上與原命題是相兼容的。
C選項——“壞士兵是不想當將軍的”。這個命題的結構與原命題一樣，可以轉義為——“如果一個士兵不是一個好士兵，那么這個士兵不想當將軍”。其實這個命題就表示成了B -> A。
這個很容易判斷，真值表中的第2、3項與原真值表的值恰好相反，所以與原命題不符。
選項D——“壞士兵也是想當將軍的”，這個命題顯然與原命題顯然不符。
選項E——“不想當將軍的士兵，也可以是一個好士兵”。這其實是一個帶有表示存在量詞的謂詞邏輯。但是我們從一般語義上分析可以得出，這個命題其實是“掏江湖”的。由於不管原子命題是否為真，整個命題都一定為真。因此與原命題不符～