sciencetalk

Hallo,

ik heb de volgende connectief:

¬r -> ¬(p^q)

Hoe kan ik dit herschrijven, zodat het &-connectief het hoofdconnectief wordt?

Ik heb als tussenstap bijvoorbeeld:

¬r -> (p^¬q)

Maar hier kom ik ook niet echt verder mee.

Groeten,

DrPhill

Die tussenstap geldt volgens mij niet

mss helpt volgende uitleg:

Ik heb de algemene regel gebruikt en dan kom ik op het volgende uit:
Ik heb jouw voorbeeld geprobeerd en gecontroleerd mbv een waarheidstabel, maar die bleek niet te kloppen (je bent waarschijnlijk de negatie van bij q vergeten).

Hoe kan ik nu het toepassen van distributiviteit toepassen? Want als ik
anders probeer te schrijven komt er een OF-connectief ipv een EN-connectief.

Achteraf mss nog een kleine opmerking dat dit volgens mij eigenlijk niet thuishoort in programmeren, maar bij wiskunde of het huiswerkforum.

Mijn excuses, ik had waarschijnlijk de tussenstap overgenomen, en daar iets te enthousiast op verdergewerkt, hier een betere oplossing
Daar er geen and in voorkomt kan je er geen bijtoveren (tenzij je gewoon gebruikt natuurlijk of een or maakt van een not-and mss maar dan is de hoofdbewerking je niet-bewerking) en Maple volgt mij op dat vlak.

dus:

Ik zal in het vervolg beter opletten waar ik in post.

Als ik het goed begrijp is het dus niet mogelijk om uit de gegeven formule de EN-connectief als hoofdconnectief te gebruiken?

De oorspronkelijke opgave was de contrapositie van de formule
op te stellen. Hierdoor kwam ik aan de formule
Zijn er anders nog andere manieren om de contrapositie te schrijven?

er moet nog een negatief staan voor je p en q. dus Maar volgens mij is het niet mogelijk nee, al ga ik daar mijn hand niet voor in het vuur steken, maar volgens mij dus niet mogelijk

Ik kom ook alleen maar uit op formules die altijd negatie als hoofdconnectief hebben.

Bedankt voor de hulp!