Lause 1: Jape on konfiguroitavissa oleva, graafinen todistusaineiston apulainen, jonka alun perin kehittivät Richard Bornat Queen Mary - yliopistossa Lontoossa ja Bernard Sufrin Oxfordin yliopistossa. Lause 2: Jape on konfiguroitavissa oleva graafinen todistusaineisto, jonka alun perin kehittivät Richard Bornat Queen Mary - yliopistosta Lontoossa ja Bernard Sufrin Oxfordin yliopistosta. Kysymys: Ilmaisevatko lause 1 ja lause 2 samaa merkitystä? - Kyllä vai ei?
- Kyllä.