Springen naar inhoud

Logica


  • Log in om te kunnen reageren

#1

DrPhill

    DrPhill


  • 0 - 25 berichten
  • 9 berichten
  • Gebruiker

Geplaatst op 23 september 2009 - 20:10

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

Veranderd door DrPhill, 23 september 2009 - 20:15


Dit forum kan gratis blijven vanwege banners als deze. Door te registeren zal de onderstaande banner overigens verdwijnen.

#2

Vladimir Lenin

    Vladimir Lenin


  • >250 berichten
  • 829 berichten
  • Ervaren gebruiker

Geplaatst op 23 september 2009 - 21:07

Die tussenstap geldt volgens mij niet

mss helpt volgende uitleg:
LaTeX
LaTeX
LaTeX
LaTeX
"Als je niet leeft zoals je denkt, zul je snel gaan denken zoals je leeft."
--Vladimir Lenin-- (Владимир Ильич Ульянов)

#3

DrPhill

    DrPhill


  • 0 - 25 berichten
  • 9 berichten
  • Gebruiker

Geplaatst op 23 september 2009 - 21:56

Ik heb de algemene regel gebruikt en dan kom ik op het volgende uit:

LaTeX
LaTeX

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
LaTeX

anders probeer te schrijven komt er een OF-connectief ipv een EN-connectief.

#4

Vladimir Lenin

    Vladimir Lenin


  • >250 berichten
  • 829 berichten
  • Ervaren gebruiker

Geplaatst op 23 september 2009 - 21:56

Achteraf mss nog een kleine opmerking dat dit volgens mij eigenlijk niet thuishoort in programmeren, maar bij wiskunde of het huiswerkforum.
"Als je niet leeft zoals je denkt, zul je snel gaan denken zoals je leeft."
--Vladimir Lenin-- (Владимир Ильич Ульянов)

#5

Vladimir Lenin

    Vladimir Lenin


  • >250 berichten
  • 829 berichten
  • Ervaren gebruiker

Geplaatst op 23 september 2009 - 22:04

Mijn excuses, ik had waarschijnlijk de tussenstap overgenomen, en daar iets te enthousiast op verdergewerkt, hier een betere oplossing

LaTeX
LaTeX
Daar er geen and in voorkomt kan je er geen bijtoveren (tenzij je gewoon LaTeX 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:
LaTeX

Veranderd door Vladimir Lenin, 23 september 2009 - 22:08

"Als je niet leeft zoals je denkt, zul je snel gaan denken zoals je leeft."
--Vladimir Lenin-- (Владимир Ильич Ульянов)

#6

DrPhill

    DrPhill


  • 0 - 25 berichten
  • 9 berichten
  • Gebruiker

Geplaatst op 23 september 2009 - 22:13

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
LaTeX
op te stellen. Hierdoor kwam ik aan de formule
LaTeX

Zijn er anders nog andere manieren om de contrapositie te schrijven?

#7

Vladimir Lenin

    Vladimir Lenin


  • >250 berichten
  • 829 berichten
  • Ervaren gebruiker

Geplaatst op 24 september 2009 - 00:17

er moet nog een negatief staan voor je p en q. dus LaTeX
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
"Als je niet leeft zoals je denkt, zul je snel gaan denken zoals je leeft."
--Vladimir Lenin-- (Владимир Ильич Ульянов)

#8

DrPhill

    DrPhill


  • 0 - 25 berichten
  • 9 berichten
  • Gebruiker

Geplaatst op 24 september 2009 - 14:47

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

Bedankt voor de hulp!





0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures