Галерея 2694082
![](/file/02050ab87549b8d717c55.gif)
Галерея 2694082
Sign up or log in to customize your list.
more stack exchange communities
company blog
The best answers are voted up and rise to the top
Stack Overflow for Teams
– Start collaborating and sharing organizational knowledge.
Create a free Team
Why Teams?
Asked
4 years, 11 months ago
Modified
4 years, 11 months ago
35 1 1 silver badge 7 7 bronze badges
Sorted by:
Reset to default
Highest score (default)
Date modified (newest first)
Date created (oldest first)
94.9k 5 5 gold badges 62 62 silver badges 109 109 bronze badges
Not the answer you're looking for? Browse other questions tagged logic propositional-calculus .
Mathematics
Tour
Help
Chat
Contact
Feedback
Company
Stack Overflow
Teams
Advertising
Collectives
Talent
About
Press
Legal
Privacy Policy
Terms of Service
Cookie Settings
Cookie Policy
Stack Exchange Network
Technology
Culture & recreation
Life & arts
Science
Professional
Business
API
Data
Accept all cookies
Necessary cookies only
Stack Exchange network consists of 181 Q&A communities including Stack Overflow , the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Connect and share knowledge within a single location that is structured and easy to search.
This is what I did first (Given) A ∧ (B ∨ C)
I have no idea how to make both sub proof same
I got it but I don't understand the logic behind it.
First and foremost, there is no need to start any subproofs with A and B ∨ C , since you can just infer those from the premise using ∧ Elim
Second, make sure that you get the same line at the end of each subproof before applying ∨ Elim, so it'll look like this:
I'll let you figure out what that 'mystery' statement Q should be ... but here's a hint: what statement would like like to have when all is said and done?
Finally, make sure you get A ∧ C , rather than C ∧ A like you have on line 8. ... and of course get the disjuncts of the desired disjunction in the right order as well
To subscribe to this RSS feed, copy and paste this URL into your RSS reader.
Site design / logo © 2023 Stack Exchange Inc; user contributions licensed under CC BY-SA . rev 2023.3.9.43293
By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy .
655 Sydney Ave #1, Windsor, ON N8X 5C4, Kanada
Vor 7 Wochen durch dieses Unternehmen aktualisiert
Basierend auf Besuchen an diesem Ort.
(Übersetzt von Google) Kann ich mir während dieser Viruskrise einen Geschenkgutschein zufaxen lassen?
(Original)
can I get a gift card faxed to me during this virus crisis.
Diese Frage beantworten vor 2 Jahren
Rezensionen werden automatisch auf unangemessene Inhalte wie Fälschungen und Spam untersucht. Wir können Rezensionen löschen, die als unangemessen gemeldet werden, um die Richtlinien von Google oder rechtliche Bestimmungen einzuhalten. Lies die Zusammenfassungen von TrustYou.
A laughable experience at best. Walked in with my 4 year old son. Maybe 1 other customer in the whole store. No one would help us unless we came over and Interrupted the intense conversation they were having by the cash register. Just felt … Mehr
Bought a new pair of skates and the fine people at pro hockey life took the time to size my feet and find the best skate for my needs.
Skates baked and sharpened to perfection.
Absolute professionals. Mehr
I went in to buy a new pair of skates & helmet. Mike was very helpful & listened to what I needed. He baked and sharpened my skates perfectly, The first time I wore them they felt like I had them for years. … Mehr
Perani's Hockey World NOW Victory Sports ltd
Webergebnisse können nicht abgerufen werden
Reference: 18.7d85655f.1678399347.bab48c4
Галерея 2405546
Джейн как всегда в чулках
Никки – шикарная брюнетка с роскошной фигурой которую она совсем не стесняется демонстрировать