總是正確的命題用T表示; 總是虛假的命題用F表示; 複合提案;由邏輯連接和其他命題構造 ... p implies q; p only if q; q when p; p is sufficient(充分) for q ...
確定! 回上一頁