命題変数を経由しない立場としては、PやQはある形式的言語にアプリオリに含まれる命題記号および述語記号となりますね