Pozorno proučite sljedeći zaključak.
Ako su slijepi gen, gen odgovoran za razvoj očiju vinskih mušica Drosophilla, i malo oko, gen odgovoran za razvoj očiju miševa, gotovo identični, onda miševi i Drosophille imaju zajedničkoga pretka.
Verzija gena odgovornoga za oblikovanje očiju uzeta od miševa može potaknuti oblikovanje očiju kod vinskih mušica ako je malo oko unijeto u ličinku Drosophille u njezinoj kasnijoj fazi razvoja oblikovalo oči karakteristične za vinsku mušicu.
Slijepi gen, gen odgovoran za razvoj očiju vinskih mušica Drosophilla, i malo oko, gen odgovoran za razvoj očiju miševa, su gotovo identični ako i samo ako verzija gena odgovornoga za oblikovanje očiju uzeta od miševa može potaknuti oblikovanje očiju kod vinskih mušica.
Dakle, ako je malo oko unijeto u ličinku Drosophille u njezinoj kasnijoj fazi razvoja oblikovalo oči karakteristične za vinsku mušicu, onda miševi i Drosophille imaju zajedničkoga pretka.
Cijeli zaključak iskažite kao jedan iskaz u jeziku propozicijske (iskazne) logike rabeći slova S,M,P,V (prema dolje zadanome ključu prevođenja), zagrade te samo sljedeće simbole za logičke (po)veznike:
¬ za negaciju (nijek)
∨ za disjunkciju
∧ za konjunkciju
→ za pogodbu (materijalnu implikaciju).
Ključ prevođenja:
S za 'Slijepi gen, gen odgovoran za razvoj očiju vinskih mušica Drosophilla, i malo oko, gen odgovoran za razvoj očiju miševa, gotovo su identični.'
M za 'Malo oko unijeto u ličinku Drosophille u njezinoj je kasnijoj fazi razvoja oblikovalo oči karakteristične za vinsku mušicu.'
P za 'Miševi i Drosophille imaju zajedničkoga pretka.'
V za 'Verzija gena odgovornoga za oblikovanje očiju uzeta od miševa može potaknuti oblikovanje očiju kod vinskih mušica.'